./Ultimate.py --spec /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/properties/unreach-call.prp --file /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--isdn--hardware--mISDN--w6692.ko-entry_point.cil.out.i --full-output --architecture 64bit -------------------------------------------------------------------------------- Checking for ERROR reachability Using default analysis Version 61a67961 Calling Ultimate with: /root/.sdkman/candidates/java/current/bin/java -Dosgi.configuration.area=/storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/config -Xmx15G -Xms4m -jar /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data -tc /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/config/AutomizerReach.xml -i /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--isdn--hardware--mISDN--w6692.ko-entry_point.cil.out.i -s /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/config/svcomp-Reach-64bit-Automizer_Default.epf --cacsl2boogietranslator.entry.function main --witnessprinter.witness.directory /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux --witnessprinter.witness.filename witness --witnessprinter.write.witness.besides.input.file false --witnessprinter.graph.data.specification CHECK( init(main()), LTL(G ! call(reach_error())) ) --witnessprinter.graph.data.producer Automizer --witnessprinter.graph.data.architecture 64bit --witnessprinter.graph.data.programhash 739f3451e6066963c0b7569760000f821b0e10d41a2bb279dc204ee3e2cd1a3e --- Real Ultimate output --- This is Ultimate 0.2.5-wip.fs.cvc5-61a6796-m [2024-10-14 15:39:38,960 INFO L188 SettingsManager]: Resetting all preferences to default values... [2024-10-14 15:39:39,025 INFO L114 SettingsManager]: Loading settings from /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/config/svcomp-Reach-64bit-Automizer_Default.epf [2024-10-14 15:39:39,029 WARN L101 SettingsManager]: Preference file contains the following unknown settings: [2024-10-14 15:39:39,029 WARN L103 SettingsManager]: * de.uni_freiburg.informatik.ultimate.core.Log level for class [2024-10-14 15:39:39,045 INFO L130 SettingsManager]: Preferences different from defaults after loading the file: [2024-10-14 15:39:39,046 INFO L151 SettingsManager]: Preferences of UltimateCore differ from their defaults: [2024-10-14 15:39:39,046 INFO L153 SettingsManager]: * Log level for class=de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=ERROR; [2024-10-14 15:39:39,046 INFO L151 SettingsManager]: Preferences of Boogie Preprocessor differ from their defaults: [2024-10-14 15:39:39,047 INFO L153 SettingsManager]: * Use memory slicer=true [2024-10-14 15:39:39,047 INFO L151 SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults: [2024-10-14 15:39:39,047 INFO L153 SettingsManager]: * Ignore calls to procedures called more than once=ONLY_FOR_SEQUENTIAL_PROGRAMS [2024-10-14 15:39:39,048 INFO L151 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2024-10-14 15:39:39,048 INFO L153 SettingsManager]: * Create parallel compositions if possible=false [2024-10-14 15:39:39,048 INFO L153 SettingsManager]: * Use SBE=true [2024-10-14 15:39:39,049 INFO L151 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2024-10-14 15:39:39,049 INFO L153 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2024-10-14 15:39:39,049 INFO L153 SettingsManager]: * Overapproximate operations on floating types=true [2024-10-14 15:39:39,050 INFO L153 SettingsManager]: * Check division by zero=IGNORE [2024-10-14 15:39:39,050 INFO L153 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2024-10-14 15:39:39,050 INFO L153 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2024-10-14 15:39:39,051 INFO L153 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2024-10-14 15:39:39,051 INFO L153 SettingsManager]: * Allow undefined functions=false [2024-10-14 15:39:39,052 INFO L153 SettingsManager]: * Check if freed pointer was valid=false [2024-10-14 15:39:39,052 INFO L153 SettingsManager]: * Use constant arrays=true [2024-10-14 15:39:39,052 INFO L151 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2024-10-14 15:39:39,053 INFO L153 SettingsManager]: * Size of a code block=SequenceOfStatements [2024-10-14 15:39:39,053 INFO L153 SettingsManager]: * Only consider context switches at boundaries of atomic blocks=true [2024-10-14 15:39:39,053 INFO L153 SettingsManager]: * SMT solver=External_DefaultMode [2024-10-14 15:39:39,054 INFO L153 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:4000 [2024-10-14 15:39:39,054 INFO L151 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2024-10-14 15:39:39,054 INFO L153 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2024-10-14 15:39:39,054 INFO L153 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopHeads [2024-10-14 15:39:39,055 INFO L153 SettingsManager]: * Trace refinement strategy=CAMEL [2024-10-14 15:39:39,055 INFO L153 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2024-10-14 15:39:39,055 INFO L153 SettingsManager]: * Apply one-shot large block encoding in concurrent analysis=false [2024-10-14 15:39:39,056 INFO L153 SettingsManager]: * Automaton type used in concurrency analysis=PETRI_NET [2024-10-14 15:39:39,056 INFO L153 SettingsManager]: * Order on configurations for Petri net unfoldings=DBO [2024-10-14 15:39:39,056 INFO L153 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2024-10-14 15:39:39,056 INFO L153 SettingsManager]: * Looper check in Petri net analysis=SEMANTIC WARNING: An illegal reflective access operation has occurred WARNING: Illegal reflective access by com.sun.xml.bind.v2.runtime.reflect.opt.Injector$1 (file:/storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/plugins/com.sun.xml.bind_2.2.0.v201505121915.jar) to method java.lang.ClassLoader.defineClass(java.lang.String,byte[],int,int) WARNING: Please consider reporting this to the maintainers of com.sun.xml.bind.v2.runtime.reflect.opt.Injector$1 WARNING: Use --illegal-access=warn to enable warnings of further illegal reflective access operations WARNING: All illegal access operations will be denied in a future release Applying setting for plugin de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: Entry function -> main Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Witness directory -> /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Witness filename -> witness Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Write witness besides input file -> false Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data specification -> CHECK( init(main()), LTL(G ! call(reach_error())) ) Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data producer -> Automizer Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data architecture -> 64bit Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data programhash -> 739f3451e6066963c0b7569760000f821b0e10d41a2bb279dc204ee3e2cd1a3e [2024-10-14 15:39:39,229 INFO L75 nceAwareModelManager]: Repository-Root is: /tmp [2024-10-14 15:39:39,254 INFO L261 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2024-10-14 15:39:39,256 INFO L217 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2024-10-14 15:39:39,257 INFO L270 PluginConnector]: Initializing CDTParser... [2024-10-14 15:39:39,258 INFO L274 PluginConnector]: CDTParser initialized [2024-10-14 15:39:39,259 INFO L431 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--isdn--hardware--mISDN--w6692.ko-entry_point.cil.out.i [2024-10-14 15:39:40,640 INFO L533 CDTParser]: Created temporary CDT project at NULL [2024-10-14 15:39:41,057 INFO L384 CDTParser]: Found 1 translation units. [2024-10-14 15:39:41,057 INFO L180 CDTParser]: Scanning /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--isdn--hardware--mISDN--w6692.ko-entry_point.cil.out.i [2024-10-14 15:39:41,096 INFO L427 CDTParser]: About to delete temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/1b12b59ad/d379ef38ca714933a93a0422aae794e0/FLAG230cef398 [2024-10-14 15:39:41,113 INFO L435 CDTParser]: Successfully deleted /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/1b12b59ad/d379ef38ca714933a93a0422aae794e0 [2024-10-14 15:39:41,117 INFO L299 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2024-10-14 15:39:41,118 INFO L133 ToolchainWalker]: Walking toolchain with 6 elements. [2024-10-14 15:39:41,119 INFO L112 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2024-10-14 15:39:41,121 INFO L270 PluginConnector]: Initializing CACSL2BoogieTranslator... [2024-10-14 15:39:41,126 INFO L274 PluginConnector]: CACSL2BoogieTranslator initialized [2024-10-14 15:39:41,127 INFO L184 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 14.10 03:39:41" (1/1) ... [2024-10-14 15:39:41,128 INFO L204 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@71bed022 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 14.10 03:39:41, skipping insertion in model container [2024-10-14 15:39:41,128 INFO L184 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 14.10 03:39:41" (1/1) ... [2024-10-14 15:39:41,227 INFO L175 MainTranslator]: Built tables and reachable declarations [2024-10-14 15:39:42,844 WARN L248 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--isdn--hardware--mISDN--w6692.ko-entry_point.cil.out.i[284626,284639] [2024-10-14 15:39:42,910 INFO L210 PostProcessor]: Analyzing one entry point: main [2024-10-14 15:39:42,946 INFO L200 MainTranslator]: Completed pre-run [2024-10-14 15:39:43,148 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile (".pushsection .smp_locks,\"a\"\n.balign 4\n.long 671f - .\n.popsection\n671:\n\tlock; bts %2, %0; setc %1": "+m" (*addr), "=qm" (c): "Ir" (nr): "memory"); [6149-6150] [2024-10-14 15:39:43,154 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile (".pushsection .smp_locks,\"a\"\n.balign 4\n.long 671f - .\n.popsection\n671:\n\tlock; btr %2, %0; setc %1": "+m" (*addr), "=qm" (c): "Ir" (nr): "memory"); [6158-6159] [2024-10-14 15:39:43,162 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("outb %b0, %w1": : "a" (value), "Nd" (port)); [6355] [2024-10-14 15:39:43,168 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("inb %w1, %b0": "=a" (value): "Nd" (port)); [6363] [2024-10-14 15:39:43,169 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("rep; outsb": "+S" (addr), "+c" (count): "d" (port)); [6370] [2024-10-14 15:39:43,169 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("rep; insb": "+D" (addr), "+c" (count): "d" (port)); [6377] [2024-10-14 15:39:43,344 WARN L248 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--isdn--hardware--mISDN--w6692.ko-entry_point.cil.out.i[284626,284639] [2024-10-14 15:39:43,350 INFO L210 PostProcessor]: Analyzing one entry point: main [2024-10-14 15:39:43,399 INFO L204 MainTranslator]: Completed translation [2024-10-14 15:39:43,399 INFO L201 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 14.10 03:39:43 WrapperNode [2024-10-14 15:39:43,399 INFO L131 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2024-10-14 15:39:43,400 INFO L112 PluginConnector]: ------------------------Boogie Procedure Inliner---------------------------- [2024-10-14 15:39:43,400 INFO L270 PluginConnector]: Initializing Boogie Procedure Inliner... [2024-10-14 15:39:43,401 INFO L274 PluginConnector]: Boogie Procedure Inliner initialized [2024-10-14 15:39:43,463 INFO L184 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 14.10 03:39:43" (1/1) ... [2024-10-14 15:39:43,506 ERROR L1136 TypeChecker]: C: descriptor.function = "ph_command" [6757]: Variable #t~ret183 modified in procedure ph_command but not declared [2024-10-14 15:39:43,509 ERROR L1136 TypeChecker]: C: descriptor.function = "ph_command" [6757]: Undeclared identifier #t~ret183 in IdentifierExpression[#t~ret183,] [2024-10-14 15:39:43,510 ERROR L1136 TypeChecker]: C: descriptor.function = "ph_command" [6757]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret183,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~0,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,510 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [6758]: Variable #t~ret184 modified in procedure ph_command but not declared [2024-10-14 15:39:43,510 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [6758]: Undeclared identifier #t~ret184 in IdentifierExpression[#t~ret184,] [2024-10-14 15:39:43,510 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [6758]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret184,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~0,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,510 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: ph_command %x\n" [6759]: Variable #t~ret185 modified in procedure ph_command but not declared [2024-10-14 15:39:43,510 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: ph_command %x\n" [6759]: Undeclared identifier #t~ret185 in IdentifierExpression[#t~ret185,] [2024-10-14 15:39:43,511 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: ph_command %x\n" [6759]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret185,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~0,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,511 ERROR L1136 TypeChecker]: C: descriptor.function = "W6692_ph_bh" [6833]: Variable #t~ret214 modified in procedure W6692_ph_bh but not declared [2024-10-14 15:39:43,511 ERROR L1136 TypeChecker]: C: descriptor.function = "W6692_ph_bh" [6833]: Undeclared identifier #t~ret214 in IdentifierExpression[#t~ret214,] [2024-10-14 15:39:43,512 ERROR L1136 TypeChecker]: C: descriptor.function = "W6692_ph_bh" [6833]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret214,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~1,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,512 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [6834]: Variable #t~ret215 modified in procedure W6692_ph_bh but not declared [2024-10-14 15:39:43,512 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [6834]: Undeclared identifier #t~ret215 in IdentifierExpression[#t~ret215,] [2024-10-14 15:39:43,512 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [6834]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret215,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~1,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,512 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: TE unknown state %02x dch state %02x\n" [6835]: Variable #t~ret216 modified in procedure W6692_ph_bh but not declared [2024-10-14 15:39:43,512 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: TE unknown state %02x dch state %02x\n" [6835]: Undeclared identifier #t~ret216 in IdentifierExpression[#t~ret216,] [2024-10-14 15:39:43,512 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: TE unknown state %02x dch state %02x\n" [6835]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret216,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~1,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,517 ERROR L1136 TypeChecker]: C: descriptor___0.function = "W6692_ph_bh" [6848]: Variable #t~ret222 modified in procedure W6692_ph_bh but not declared [2024-10-14 15:39:43,517 ERROR L1136 TypeChecker]: C: descriptor___0.function = "W6692_ph_bh" [6848]: Undeclared identifier #t~ret222 in IdentifierExpression[#t~ret222,] [2024-10-14 15:39:43,518 ERROR L1136 TypeChecker]: C: descriptor___0.function = "W6692_ph_bh" [6848]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret222,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,518 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [6849]: Variable #t~ret223 modified in procedure W6692_ph_bh but not declared [2024-10-14 15:39:43,518 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [6849]: Undeclared identifier #t~ret223 in IdentifierExpression[#t~ret223,] [2024-10-14 15:39:43,518 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [6849]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret223,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,518 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s: TE newstate %02x\n" [6850]: Variable #t~ret224 modified in procedure W6692_ph_bh but not declared [2024-10-14 15:39:43,518 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s: TE newstate %02x\n" [6850]: Undeclared identifier #t~ret224 in IdentifierExpression[#t~ret224,] [2024-10-14 15:39:43,518 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s: TE newstate %02x\n" [6850]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret224,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,519 ERROR L1136 TypeChecker]: C: descriptor.function = "W6692_empty_Dfifo" [6876]: Variable #t~ret229 modified in procedure W6692_empty_Dfifo but not declared [2024-10-14 15:39:43,519 ERROR L1136 TypeChecker]: C: descriptor.function = "W6692_empty_Dfifo" [6876]: Undeclared identifier #t~ret229 in IdentifierExpression[#t~ret229,] [2024-10-14 15:39:43,519 ERROR L1136 TypeChecker]: C: descriptor.function = "W6692_empty_Dfifo" [6876]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret229,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~2,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,519 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [6877]: Variable #t~ret230 modified in procedure W6692_empty_Dfifo but not declared [2024-10-14 15:39:43,519 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [6877]: Undeclared identifier #t~ret230 in IdentifierExpression[#t~ret230,] [2024-10-14 15:39:43,519 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [6877]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret230,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~2,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,519 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: empty_Dfifo %d\n" [6878]: Variable #t~ret231 modified in procedure W6692_empty_Dfifo but not declared [2024-10-14 15:39:43,519 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: empty_Dfifo %d\n" [6878]: Undeclared identifier #t~ret231 in IdentifierExpression[#t~ret231,] [2024-10-14 15:39:43,519 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: empty_Dfifo %d\n" [6878]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret231,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~2,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,520 ERROR L1136 TypeChecker]: C: descriptor___0.function = "W6692_empty_Dfifo" [6899]: Variable #t~ret244 modified in procedure W6692_empty_Dfifo but not declared [2024-10-14 15:39:43,520 ERROR L1136 TypeChecker]: C: descriptor___0.function = "W6692_empty_Dfifo" [6899]: Undeclared identifier #t~ret244 in IdentifierExpression[#t~ret244,] [2024-10-14 15:39:43,520 ERROR L1136 TypeChecker]: C: descriptor___0.function = "W6692_empty_Dfifo" [6899]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret244,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,520 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [6900]: Variable #t~ret245 modified in procedure W6692_empty_Dfifo but not declared [2024-10-14 15:39:43,524 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [6900]: Undeclared identifier #t~ret245 in IdentifierExpression[#t~ret245,] [2024-10-14 15:39:43,524 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [6900]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret245,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,525 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s: empty_Dfifo overrun %d\n" [6901]: Variable #t~ret246 modified in procedure W6692_empty_Dfifo but not declared [2024-10-14 15:39:43,525 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s: empty_Dfifo overrun %d\n" [6901]: Undeclared identifier #t~ret246 in IdentifierExpression[#t~ret246,] [2024-10-14 15:39:43,525 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s: empty_Dfifo overrun %d\n" [6901]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret246,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,525 ERROR L1136 TypeChecker]: C: descriptor___1.function = "W6692_empty_Dfifo" [6922]: Variable #t~ret259 modified in procedure W6692_empty_Dfifo but not declared [2024-10-14 15:39:43,525 ERROR L1136 TypeChecker]: C: descriptor___1.function = "W6692_empty_Dfifo" [6922]: Undeclared identifier #t~ret259 in IdentifierExpression[#t~ret259,] [2024-10-14 15:39:43,525 ERROR L1136 TypeChecker]: C: descriptor___1.function = "W6692_empty_Dfifo" [6922]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret259,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___1~0,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,526 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [6923]: Variable #t~ret260 modified in procedure W6692_empty_Dfifo but not declared [2024-10-14 15:39:43,526 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [6923]: Undeclared identifier #t~ret260 in IdentifierExpression[#t~ret260,] [2024-10-14 15:39:43,526 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [6923]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret260,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___1~0,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,526 ERROR L1136 TypeChecker]: C: descriptor.function = "W6692_fill_Dfifo" [6955]: Variable #t~ret263 modified in procedure W6692_fill_Dfifo but not declared [2024-10-14 15:39:43,526 ERROR L1136 TypeChecker]: C: descriptor.function = "W6692_fill_Dfifo" [6955]: Undeclared identifier #t~ret263 in IdentifierExpression[#t~ret263,] [2024-10-14 15:39:43,526 ERROR L1136 TypeChecker]: C: descriptor.function = "W6692_fill_Dfifo" [6955]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret263,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~3,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,527 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [6956]: Variable #t~ret264 modified in procedure W6692_fill_Dfifo but not declared [2024-10-14 15:39:43,527 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [6956]: Undeclared identifier #t~ret264 in IdentifierExpression[#t~ret264,] [2024-10-14 15:39:43,527 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [6956]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret264,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~3,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,527 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: fill_Dfifo\n" [6957]: Variable #t~ret265 modified in procedure W6692_fill_Dfifo but not declared [2024-10-14 15:39:43,527 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: fill_Dfifo\n" [6957]: Undeclared identifier #t~ret265 in IdentifierExpression[#t~ret265,] [2024-10-14 15:39:43,527 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: fill_Dfifo\n" [6957]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret265,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~3,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,528 ERROR L1136 TypeChecker]: C: descriptor___0.function = "W6692_fill_Dfifo" [6986]: Variable #t~ret280 modified in procedure W6692_fill_Dfifo but not declared [2024-10-14 15:39:43,528 ERROR L1136 TypeChecker]: C: descriptor___0.function = "W6692_fill_Dfifo" [6986]: Undeclared identifier #t~ret280 in IdentifierExpression[#t~ret280,] [2024-10-14 15:39:43,528 ERROR L1136 TypeChecker]: C: descriptor___0.function = "W6692_fill_Dfifo" [6986]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret280,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,528 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [6987]: Variable #t~ret281 modified in procedure W6692_fill_Dfifo but not declared [2024-10-14 15:39:43,528 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [6987]: Undeclared identifier #t~ret281 in IdentifierExpression[#t~ret281,] [2024-10-14 15:39:43,529 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [6987]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret281,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,529 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s: fill_Dfifo dbusytimer running\n" [6988]: Variable #t~ret282 modified in procedure W6692_fill_Dfifo but not declared [2024-10-14 15:39:43,529 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s: fill_Dfifo dbusytimer running\n" [6988]: Undeclared identifier #t~ret282 in IdentifierExpression[#t~ret282,] [2024-10-14 15:39:43,529 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s: fill_Dfifo dbusytimer running\n" [6988]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret282,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,529 ERROR L1136 TypeChecker]: C: descriptor___1.function = "W6692_fill_Dfifo" [7007]: Variable #t~ret292 modified in procedure W6692_fill_Dfifo but not declared [2024-10-14 15:39:43,529 ERROR L1136 TypeChecker]: C: descriptor___1.function = "W6692_fill_Dfifo" [7007]: Undeclared identifier #t~ret292 in IdentifierExpression[#t~ret292,] [2024-10-14 15:39:43,529 ERROR L1136 TypeChecker]: C: descriptor___1.function = "W6692_fill_Dfifo" [7007]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret292,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___1~1,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,530 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7008]: Variable #t~ret293 modified in procedure W6692_fill_Dfifo but not declared [2024-10-14 15:39:43,530 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7008]: Undeclared identifier #t~ret293 in IdentifierExpression[#t~ret293,] [2024-10-14 15:39:43,530 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7008]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret293,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___1~1,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,531 ERROR L1136 TypeChecker]: C: descriptor.function = "handle_rxD" [7073]: Variable #t~ret309 modified in procedure handle_rxD but not declared [2024-10-14 15:39:43,531 ERROR L1136 TypeChecker]: C: descriptor.function = "handle_rxD" [7073]: Undeclared identifier #t~ret309 in IdentifierExpression[#t~ret309,] [2024-10-14 15:39:43,531 ERROR L1136 TypeChecker]: C: descriptor.function = "handle_rxD" [7073]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret309,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~4,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~4,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,531 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7074]: Variable #t~ret310 modified in procedure handle_rxD but not declared [2024-10-14 15:39:43,532 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7074]: Undeclared identifier #t~ret310 in IdentifierExpression[#t~ret310,] [2024-10-14 15:39:43,532 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7074]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret310,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~4,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~4,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,532 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: D-channel RDOV\n" [7075]: Variable #t~ret311 modified in procedure handle_rxD but not declared [2024-10-14 15:39:43,532 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: D-channel RDOV\n" [7075]: Undeclared identifier #t~ret311 in IdentifierExpression[#t~ret311,] [2024-10-14 15:39:43,532 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: D-channel RDOV\n" [7075]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret311,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~4,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~4,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,532 ERROR L1136 TypeChecker]: C: descriptor___0.function = "handle_rxD" [7087]: Variable #t~ret316 modified in procedure handle_rxD but not declared [2024-10-14 15:39:43,533 ERROR L1136 TypeChecker]: C: descriptor___0.function = "handle_rxD" [7087]: Undeclared identifier #t~ret316 in IdentifierExpression[#t~ret316,] [2024-10-14 15:39:43,533 ERROR L1136 TypeChecker]: C: descriptor___0.function = "handle_rxD" [7087]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret316,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___0~3,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,533 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7088]: Variable #t~ret317 modified in procedure handle_rxD but not declared [2024-10-14 15:39:43,533 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7088]: Undeclared identifier #t~ret317 in IdentifierExpression[#t~ret317,] [2024-10-14 15:39:43,533 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7088]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret317,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___0~3,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,533 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s: D-channel CRC error\n" [7089]: Variable #t~ret318 modified in procedure handle_rxD but not declared [2024-10-14 15:39:43,533 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s: D-channel CRC error\n" [7089]: Undeclared identifier #t~ret318 in IdentifierExpression[#t~ret318,] [2024-10-14 15:39:43,534 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s: D-channel CRC error\n" [7089]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret318,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___0~3,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,534 ERROR L1136 TypeChecker]: C: descriptor___1.function = "handle_rxD" [7101]: Variable #t~ret323 modified in procedure handle_rxD but not declared [2024-10-14 15:39:43,534 ERROR L1136 TypeChecker]: C: descriptor___1.function = "handle_rxD" [7101]: Undeclared identifier #t~ret323 in IdentifierExpression[#t~ret323,] [2024-10-14 15:39:43,534 ERROR L1136 TypeChecker]: C: descriptor___1.function = "handle_rxD" [7101]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret323,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___1~2,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,534 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7102]: Variable #t~ret324 modified in procedure handle_rxD but not declared [2024-10-14 15:39:43,534 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7102]: Undeclared identifier #t~ret324 in IdentifierExpression[#t~ret324,] [2024-10-14 15:39:43,534 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7102]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret324,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___1~2,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,534 ERROR L1136 TypeChecker]: C: descriptor___1.format = "%s: D-channel ABORT\n" [7103]: Variable #t~ret325 modified in procedure handle_rxD but not declared [2024-10-14 15:39:43,534 ERROR L1136 TypeChecker]: C: descriptor___1.format = "%s: D-channel ABORT\n" [7103]: Undeclared identifier #t~ret325 in IdentifierExpression[#t~ret325,] [2024-10-14 15:39:43,535 ERROR L1136 TypeChecker]: C: descriptor___1.format = "%s: D-channel ABORT\n" [7103]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret325,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___1~2,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,535 ERROR L1136 TypeChecker]: C: descriptor.function = "handle_statusD" [7188]: Variable #t~ret343 modified in procedure handle_statusD but not declared [2024-10-14 15:39:43,536 ERROR L1136 TypeChecker]: C: descriptor.function = "handle_statusD" [7188]: Undeclared identifier #t~ret343 in IdentifierExpression[#t~ret343,] [2024-10-14 15:39:43,536 ERROR L1136 TypeChecker]: C: descriptor.function = "handle_statusD" [7188]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret343,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~5,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~5,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,536 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7189]: Variable #t~ret344 modified in procedure handle_statusD but not declared [2024-10-14 15:39:43,536 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7189]: Undeclared identifier #t~ret344 in IdentifierExpression[#t~ret344,] [2024-10-14 15:39:43,536 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7189]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret344,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~5,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~5,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,536 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: D_EXIR %02x\n" [7190]: Variable #t~ret345 modified in procedure handle_statusD but not declared [2024-10-14 15:39:43,540 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: D_EXIR %02x\n" [7190]: Undeclared identifier #t~ret345 in IdentifierExpression[#t~ret345,] [2024-10-14 15:39:43,540 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: D_EXIR %02x\n" [7190]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret345,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~5,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~5,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,541 ERROR L1136 TypeChecker]: C: descriptor___0.function = "handle_statusD" [7201]: Variable #t~ret350 modified in procedure handle_statusD but not declared [2024-10-14 15:39:43,541 ERROR L1136 TypeChecker]: C: descriptor___0.function = "handle_statusD" [7201]: Undeclared identifier #t~ret350 in IdentifierExpression[#t~ret350,] [2024-10-14 15:39:43,541 ERROR L1136 TypeChecker]: C: descriptor___0.function = "handle_statusD" [7201]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret350,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~4,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___0~4,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,541 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7202]: Variable #t~ret351 modified in procedure handle_statusD but not declared [2024-10-14 15:39:43,541 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7202]: Undeclared identifier #t~ret351 in IdentifierExpression[#t~ret351,] [2024-10-14 15:39:43,541 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7202]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret351,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~4,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___0~4,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,541 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s: D-channel underrun/collision\n" [7203]: Variable #t~ret352 modified in procedure handle_statusD but not declared [2024-10-14 15:39:43,541 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s: D-channel underrun/collision\n" [7203]: Undeclared identifier #t~ret352 in IdentifierExpression[#t~ret352,] [2024-10-14 15:39:43,541 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s: D-channel underrun/collision\n" [7203]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret352,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~4,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___0~4,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,541 ERROR L1136 TypeChecker]: C: descriptor___1.function = "handle_statusD" [7216]: Variable #t~ret356 modified in procedure handle_statusD but not declared [2024-10-14 15:39:43,541 ERROR L1136 TypeChecker]: C: descriptor___1.function = "handle_statusD" [7216]: Undeclared identifier #t~ret356 in IdentifierExpression[#t~ret356,] [2024-10-14 15:39:43,542 ERROR L1136 TypeChecker]: C: descriptor___1.function = "handle_statusD" [7216]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret356,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___1~3,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,542 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7217]: Variable #t~ret357 modified in procedure handle_statusD but not declared [2024-10-14 15:39:43,542 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7217]: Undeclared identifier #t~ret357 in IdentifierExpression[#t~ret357,] [2024-10-14 15:39:43,542 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7217]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret357,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___1~3,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,542 ERROR L1136 TypeChecker]: C: descriptor___1.format = "%s: D-channel RDOV\n" [7218]: Variable #t~ret358 modified in procedure handle_statusD but not declared [2024-10-14 15:39:43,542 ERROR L1136 TypeChecker]: C: descriptor___1.format = "%s: D-channel RDOV\n" [7218]: Undeclared identifier #t~ret358 in IdentifierExpression[#t~ret358,] [2024-10-14 15:39:43,542 ERROR L1136 TypeChecker]: C: descriptor___1.format = "%s: D-channel RDOV\n" [7218]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret358,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___1~3,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,543 ERROR L1136 TypeChecker]: C: descriptor___2.function = "handle_statusD" [7231]: Variable #t~ret363 modified in procedure handle_statusD but not declared [2024-10-14 15:39:43,543 ERROR L1136 TypeChecker]: C: descriptor___2.function = "handle_statusD" [7231]: Undeclared identifier #t~ret363 in IdentifierExpression[#t~ret363,] [2024-10-14 15:39:43,543 ERROR L1136 TypeChecker]: C: descriptor___2.function = "handle_statusD" [7231]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret363,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,543 ERROR L1136 TypeChecker]: C: descriptor___2.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7232]: Variable #t~ret364 modified in procedure handle_statusD but not declared [2024-10-14 15:39:43,543 ERROR L1136 TypeChecker]: C: descriptor___2.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7232]: Undeclared identifier #t~ret364 in IdentifierExpression[#t~ret364,] [2024-10-14 15:39:43,543 ERROR L1136 TypeChecker]: C: descriptor___2.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7232]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret364,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,544 ERROR L1136 TypeChecker]: C: descriptor___2.format = "%s: spurious TIN2 interrupt\n" [7233]: Variable #t~ret365 modified in procedure handle_statusD but not declared [2024-10-14 15:39:43,544 ERROR L1136 TypeChecker]: C: descriptor___2.format = "%s: spurious TIN2 interrupt\n" [7233]: Undeclared identifier #t~ret365 in IdentifierExpression[#t~ret365,] [2024-10-14 15:39:43,544 ERROR L1136 TypeChecker]: C: descriptor___2.format = "%s: spurious TIN2 interrupt\n" [7233]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret365,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,544 ERROR L1136 TypeChecker]: C: descriptor___3.function = "handle_statusD" [7246]: Variable #t~ret371 modified in procedure handle_statusD but not declared [2024-10-14 15:39:43,544 ERROR L1136 TypeChecker]: C: descriptor___3.function = "handle_statusD" [7246]: Undeclared identifier #t~ret371 in IdentifierExpression[#t~ret371,] [2024-10-14 15:39:43,544 ERROR L1136 TypeChecker]: C: descriptor___3.function = "handle_statusD" [7246]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret371,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,544 ERROR L1136 TypeChecker]: C: descriptor___3.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7247]: Variable #t~ret372 modified in procedure handle_statusD but not declared [2024-10-14 15:39:43,545 ERROR L1136 TypeChecker]: C: descriptor___3.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7247]: Undeclared identifier #t~ret372 in IdentifierExpression[#t~ret372,] [2024-10-14 15:39:43,548 ERROR L1136 TypeChecker]: C: descriptor___3.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7247]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret372,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,548 ERROR L1136 TypeChecker]: C: descriptor___3.format = "%s: spurious MOC interrupt MOSR %02x\n" [7248]: Variable #t~ret373 modified in procedure handle_statusD but not declared [2024-10-14 15:39:43,548 ERROR L1136 TypeChecker]: C: descriptor___3.format = "%s: spurious MOC interrupt MOSR %02x\n" [7248]: Undeclared identifier #t~ret373 in IdentifierExpression[#t~ret373,] [2024-10-14 15:39:43,548 ERROR L1136 TypeChecker]: C: descriptor___3.format = "%s: spurious MOC interrupt MOSR %02x\n" [7248]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret373,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,549 ERROR L1136 TypeChecker]: C: descriptor___4.function = "handle_statusD" [7262]: Variable #t~ret379 modified in procedure handle_statusD but not declared [2024-10-14 15:39:43,549 ERROR L1136 TypeChecker]: C: descriptor___4.function = "handle_statusD" [7262]: Undeclared identifier #t~ret379 in IdentifierExpression[#t~ret379,] [2024-10-14 15:39:43,549 ERROR L1136 TypeChecker]: C: descriptor___4.function = "handle_statusD" [7262]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret379,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___4~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___4~0,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,549 ERROR L1136 TypeChecker]: C: descriptor___4.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7263]: Variable #t~ret380 modified in procedure handle_statusD but not declared [2024-10-14 15:39:43,549 ERROR L1136 TypeChecker]: C: descriptor___4.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7263]: Undeclared identifier #t~ret380 in IdentifierExpression[#t~ret380,] [2024-10-14 15:39:43,549 ERROR L1136 TypeChecker]: C: descriptor___4.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7263]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret380,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___4~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___4~0,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,549 ERROR L1136 TypeChecker]: C: descriptor___4.format = "%s: ISC CIR %02X\n" [7264]: Variable #t~ret381 modified in procedure handle_statusD but not declared [2024-10-14 15:39:43,549 ERROR L1136 TypeChecker]: C: descriptor___4.format = "%s: ISC CIR %02X\n" [7264]: Undeclared identifier #t~ret381 in IdentifierExpression[#t~ret381,] [2024-10-14 15:39:43,549 ERROR L1136 TypeChecker]: C: descriptor___4.format = "%s: ISC CIR %02X\n" [7264]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret381,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___4~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___4~0,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,550 ERROR L1136 TypeChecker]: C: descriptor___5.function = "handle_statusD" [7276]: Variable #t~ret386 modified in procedure handle_statusD but not declared [2024-10-14 15:39:43,550 ERROR L1136 TypeChecker]: C: descriptor___5.function = "handle_statusD" [7276]: Undeclared identifier #t~ret386 in IdentifierExpression[#t~ret386,] [2024-10-14 15:39:43,550 ERROR L1136 TypeChecker]: C: descriptor___5.function = "handle_statusD" [7276]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret386,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___5~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___5~0,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,550 ERROR L1136 TypeChecker]: C: descriptor___5.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7277]: Variable #t~ret387 modified in procedure handle_statusD but not declared [2024-10-14 15:39:43,550 ERROR L1136 TypeChecker]: C: descriptor___5.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7277]: Undeclared identifier #t~ret387 in IdentifierExpression[#t~ret387,] [2024-10-14 15:39:43,550 ERROR L1136 TypeChecker]: C: descriptor___5.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7277]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret387,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___5~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___5~0,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,550 ERROR L1136 TypeChecker]: C: descriptor___5.format = "%s: ph_state_change %x -> %x\n" [7278]: Variable #t~ret388 modified in procedure handle_statusD but not declared [2024-10-14 15:39:43,550 ERROR L1136 TypeChecker]: C: descriptor___5.format = "%s: ph_state_change %x -> %x\n" [7278]: Undeclared identifier #t~ret388 in IdentifierExpression[#t~ret388,] [2024-10-14 15:39:43,551 ERROR L1136 TypeChecker]: C: descriptor___5.format = "%s: ph_state_change %x -> %x\n" [7278]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret388,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___5~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___5~0,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,551 ERROR L1136 TypeChecker]: C: descriptor___6.function = "handle_statusD" [7307]: Variable #t~ret397 modified in procedure handle_statusD but not declared [2024-10-14 15:39:43,551 ERROR L1136 TypeChecker]: C: descriptor___6.function = "handle_statusD" [7307]: Undeclared identifier #t~ret397 in IdentifierExpression[#t~ret397,] [2024-10-14 15:39:43,551 ERROR L1136 TypeChecker]: C: descriptor___6.function = "handle_statusD" [7307]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret397,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___6~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___6~0,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,551 ERROR L1136 TypeChecker]: C: descriptor___6.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7308]: Variable #t~ret398 modified in procedure handle_statusD but not declared [2024-10-14 15:39:43,551 ERROR L1136 TypeChecker]: C: descriptor___6.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7308]: Undeclared identifier #t~ret398 in IdentifierExpression[#t~ret398,] [2024-10-14 15:39:43,551 ERROR L1136 TypeChecker]: C: descriptor___6.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7308]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret398,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___6~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___6~0,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,551 ERROR L1136 TypeChecker]: C: descriptor___6.format = "%s: SCC SQR %02X\n" [7309]: Variable #t~ret399 modified in procedure handle_statusD but not declared [2024-10-14 15:39:43,551 ERROR L1136 TypeChecker]: C: descriptor___6.format = "%s: SCC SQR %02X\n" [7309]: Undeclared identifier #t~ret399 in IdentifierExpression[#t~ret399,] [2024-10-14 15:39:43,552 ERROR L1136 TypeChecker]: C: descriptor___6.format = "%s: SCC SQR %02X\n" [7309]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret399,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___6~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___6~0,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,552 ERROR L1136 TypeChecker]: C: descriptor___7.function = "handle_statusD" [7324]: Variable #t~ret403 modified in procedure handle_statusD but not declared [2024-10-14 15:39:43,552 ERROR L1136 TypeChecker]: C: descriptor___7.function = "handle_statusD" [7324]: Undeclared identifier #t~ret403 in IdentifierExpression[#t~ret403,] [2024-10-14 15:39:43,552 ERROR L1136 TypeChecker]: C: descriptor___7.function = "handle_statusD" [7324]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret403,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___7~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___7~0,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,552 ERROR L1136 TypeChecker]: C: descriptor___7.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7325]: Variable #t~ret404 modified in procedure handle_statusD but not declared [2024-10-14 15:39:43,552 ERROR L1136 TypeChecker]: C: descriptor___7.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7325]: Undeclared identifier #t~ret404 in IdentifierExpression[#t~ret404,] [2024-10-14 15:39:43,552 ERROR L1136 TypeChecker]: C: descriptor___7.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7325]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret404,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___7~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___7~0,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,555 ERROR L1136 TypeChecker]: C: descriptor___7.format = "%s: spurious WEXP interrupt!\n" [7326]: Variable #t~ret405 modified in procedure handle_statusD but not declared [2024-10-14 15:39:43,555 ERROR L1136 TypeChecker]: C: descriptor___7.format = "%s: spurious WEXP interrupt!\n" [7326]: Undeclared identifier #t~ret405 in IdentifierExpression[#t~ret405,] [2024-10-14 15:39:43,555 ERROR L1136 TypeChecker]: C: descriptor___7.format = "%s: spurious WEXP interrupt!\n" [7326]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret405,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___7~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___7~0,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,556 ERROR L1136 TypeChecker]: C: descriptor___8.function = "handle_statusD" [7338]: Variable #t~ret410 modified in procedure handle_statusD but not declared [2024-10-14 15:39:43,556 ERROR L1136 TypeChecker]: C: descriptor___8.function = "handle_statusD" [7338]: Undeclared identifier #t~ret410 in IdentifierExpression[#t~ret410,] [2024-10-14 15:39:43,556 ERROR L1136 TypeChecker]: C: descriptor___8.function = "handle_statusD" [7338]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret410,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___8~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___8~0,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,556 ERROR L1136 TypeChecker]: C: descriptor___8.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7339]: Variable #t~ret411 modified in procedure handle_statusD but not declared [2024-10-14 15:39:43,556 ERROR L1136 TypeChecker]: C: descriptor___8.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7339]: Undeclared identifier #t~ret411 in IdentifierExpression[#t~ret411,] [2024-10-14 15:39:43,556 ERROR L1136 TypeChecker]: C: descriptor___8.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7339]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret411,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___8~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___8~0,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,556 ERROR L1136 TypeChecker]: C: descriptor___8.format = "%s: spurious TEXP interrupt!\n" [7340]: Variable #t~ret412 modified in procedure handle_statusD but not declared [2024-10-14 15:39:43,556 ERROR L1136 TypeChecker]: C: descriptor___8.format = "%s: spurious TEXP interrupt!\n" [7340]: Undeclared identifier #t~ret412 in IdentifierExpression[#t~ret412,] [2024-10-14 15:39:43,556 ERROR L1136 TypeChecker]: C: descriptor___8.format = "%s: spurious TEXP interrupt!\n" [7340]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret412,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___8~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___8~0,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,557 ERROR L1136 TypeChecker]: C: descriptor.function = "W6692_empty_Bfifo" [7370]: Variable #t~ret417 modified in procedure W6692_empty_Bfifo but not declared [2024-10-14 15:39:43,557 ERROR L1136 TypeChecker]: C: descriptor.function = "W6692_empty_Bfifo" [7370]: Undeclared identifier #t~ret417 in IdentifierExpression[#t~ret417,] [2024-10-14 15:39:43,557 ERROR L1136 TypeChecker]: C: descriptor.function = "W6692_empty_Bfifo" [7370]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret417,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~6,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~6,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,557 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7371]: Variable #t~ret418 modified in procedure W6692_empty_Bfifo but not declared [2024-10-14 15:39:43,557 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7371]: Undeclared identifier #t~ret418 in IdentifierExpression[#t~ret418,] [2024-10-14 15:39:43,557 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7371]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret418,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~6,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~6,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,557 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: empty_Bfifo %d\n" [7372]: Variable #t~ret419 modified in procedure W6692_empty_Bfifo but not declared [2024-10-14 15:39:43,557 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: empty_Bfifo %d\n" [7372]: Undeclared identifier #t~ret419 in IdentifierExpression[#t~ret419,] [2024-10-14 15:39:43,557 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: empty_Bfifo %d\n" [7372]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret419,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~6,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~6,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,557 ERROR L1136 TypeChecker]: C: descriptor___0.function = "W6692_empty_Bfifo" [7384]: Variable #t~ret425 modified in procedure W6692_empty_Bfifo but not declared [2024-10-14 15:39:43,562 ERROR L1136 TypeChecker]: C: descriptor___0.function = "W6692_empty_Bfifo" [7384]: Undeclared identifier #t~ret425 in IdentifierExpression[#t~ret425,] [2024-10-14 15:39:43,562 ERROR L1136 TypeChecker]: C: descriptor___0.function = "W6692_empty_Bfifo" [7384]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret425,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~5,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___0~5,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,562 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7385]: Variable #t~ret426 modified in procedure W6692_empty_Bfifo but not declared [2024-10-14 15:39:43,562 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7385]: Undeclared identifier #t~ret426 in IdentifierExpression[#t~ret426,] [2024-10-14 15:39:43,562 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7385]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret426,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~5,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___0~5,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,562 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s: empty_Bfifo ISDN_P_NONE\n" [7386]: Variable #t~ret427 modified in procedure W6692_empty_Bfifo but not declared [2024-10-14 15:39:43,562 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s: empty_Bfifo ISDN_P_NONE\n" [7386]: Undeclared identifier #t~ret427 in IdentifierExpression[#t~ret427,] [2024-10-14 15:39:43,563 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s: empty_Bfifo ISDN_P_NONE\n" [7386]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret427,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~5,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___0~5,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,563 ERROR L1136 TypeChecker]: C: descriptor___1.function = "W6692_empty_Bfifo" [7429]: Variable #t~ret449 modified in procedure W6692_empty_Bfifo but not declared [2024-10-14 15:39:43,563 ERROR L1136 TypeChecker]: C: descriptor___1.function = "W6692_empty_Bfifo" [7429]: Undeclared identifier #t~ret449 in IdentifierExpression[#t~ret449,] [2024-10-14 15:39:43,563 ERROR L1136 TypeChecker]: C: descriptor___1.function = "W6692_empty_Bfifo" [7429]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret449,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~4,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___1~4,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,563 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7430]: Variable #t~ret450 modified in procedure W6692_empty_Bfifo but not declared [2024-10-14 15:39:43,563 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7430]: Undeclared identifier #t~ret450 in IdentifierExpression[#t~ret450,] [2024-10-14 15:39:43,563 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7430]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret450,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~4,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___1~4,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,564 ERROR L1136 TypeChecker]: C: descriptor.function = "W6692_fill_Bfifo" [7465]: Variable #t~ret454 modified in procedure W6692_fill_Bfifo but not declared [2024-10-14 15:39:43,564 ERROR L1136 TypeChecker]: C: descriptor.function = "W6692_fill_Bfifo" [7465]: Undeclared identifier #t~ret454 in IdentifierExpression[#t~ret454,] [2024-10-14 15:39:43,564 ERROR L1136 TypeChecker]: C: descriptor.function = "W6692_fill_Bfifo" [7465]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret454,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~7,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~7,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,564 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7466]: Variable #t~ret455 modified in procedure W6692_fill_Bfifo but not declared [2024-10-14 15:39:43,564 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7466]: Undeclared identifier #t~ret455 in IdentifierExpression[#t~ret455,] [2024-10-14 15:39:43,564 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7466]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret455,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~7,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~7,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,564 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: fill Bfifo\n" [7467]: Variable #t~ret456 modified in procedure W6692_fill_Bfifo but not declared [2024-10-14 15:39:43,564 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: fill Bfifo\n" [7467]: Undeclared identifier #t~ret456 in IdentifierExpression[#t~ret456,] [2024-10-14 15:39:43,564 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: fill Bfifo\n" [7467]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret456,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~7,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~7,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,565 ERROR L1136 TypeChecker]: C: descriptor___0.function = "W6692_fill_Bfifo" [7502]: Variable #t~ret470 modified in procedure W6692_fill_Bfifo but not declared [2024-10-14 15:39:43,565 ERROR L1136 TypeChecker]: C: descriptor___0.function = "W6692_fill_Bfifo" [7502]: Undeclared identifier #t~ret470 in IdentifierExpression[#t~ret470,] [2024-10-14 15:39:43,565 ERROR L1136 TypeChecker]: C: descriptor___0.function = "W6692_fill_Bfifo" [7502]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret470,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~6,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___0~6,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,565 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7503]: Variable #t~ret471 modified in procedure W6692_fill_Bfifo but not declared [2024-10-14 15:39:43,566 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7503]: Undeclared identifier #t~ret471 in IdentifierExpression[#t~ret471,] [2024-10-14 15:39:43,566 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7503]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret471,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~6,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___0~6,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,566 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s: fill Bfifo%d/%d\n" [7504]: Variable #t~ret472 modified in procedure W6692_fill_Bfifo but not declared [2024-10-14 15:39:43,566 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s: fill Bfifo%d/%d\n" [7504]: Undeclared identifier #t~ret472 in IdentifierExpression[#t~ret472,] [2024-10-14 15:39:43,566 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s: fill Bfifo%d/%d\n" [7504]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret472,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~6,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___0~6,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,568 ERROR L1136 TypeChecker]: C: descriptor___1.function = "W6692_fill_Bfifo" [7532]: Variable #t~ret485 modified in procedure W6692_fill_Bfifo but not declared [2024-10-14 15:39:43,568 ERROR L1136 TypeChecker]: C: descriptor___1.function = "W6692_fill_Bfifo" [7532]: Undeclared identifier #t~ret485 in IdentifierExpression[#t~ret485,] [2024-10-14 15:39:43,568 ERROR L1136 TypeChecker]: C: descriptor___1.function = "W6692_fill_Bfifo" [7532]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret485,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~5,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___1~5,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,568 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7533]: Variable #t~ret486 modified in procedure W6692_fill_Bfifo but not declared [2024-10-14 15:39:43,568 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7533]: Undeclared identifier #t~ret486 in IdentifierExpression[#t~ret486,] [2024-10-14 15:39:43,568 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7533]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret486,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~5,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___1~5,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,569 ERROR L1136 TypeChecker]: C: descriptor.function = "w6692_mode" [7571]: Variable #t~ret496 modified in procedure w6692_mode but not declared [2024-10-14 15:39:43,569 ERROR L1136 TypeChecker]: C: descriptor.function = "w6692_mode" [7571]: Undeclared identifier #t~ret496 in IdentifierExpression[#t~ret496,] [2024-10-14 15:39:43,569 ERROR L1136 TypeChecker]: C: descriptor.function = "w6692_mode" [7571]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret496,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~8,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~8,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,569 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7572]: Variable #t~ret497 modified in procedure w6692_mode but not declared [2024-10-14 15:39:43,570 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7572]: Undeclared identifier #t~ret497 in IdentifierExpression[#t~ret497,] [2024-10-14 15:39:43,570 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7572]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret497,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~8,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~8,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,570 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: B%d protocol %x-->%x\n" [7573]: Variable #t~ret498 modified in procedure w6692_mode but not declared [2024-10-14 15:39:43,570 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: B%d protocol %x-->%x\n" [7573]: Undeclared identifier #t~ret498 in IdentifierExpression[#t~ret498,] [2024-10-14 15:39:43,570 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: B%d protocol %x-->%x\n" [7573]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret498,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~8,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~8,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,571 ERROR L1136 TypeChecker]: C: descriptor.function = "W6692B_interrupt" [7679]: Variable #t~ret531 modified in procedure W6692B_interrupt but not declared [2024-10-14 15:39:43,572 ERROR L1136 TypeChecker]: C: descriptor.function = "W6692B_interrupt" [7679]: Undeclared identifier #t~ret531 in IdentifierExpression[#t~ret531,] [2024-10-14 15:39:43,572 ERROR L1136 TypeChecker]: C: descriptor.function = "W6692B_interrupt" [7679]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret531,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~9,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~9,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,572 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7680]: Variable #t~ret532 modified in procedure W6692B_interrupt but not declared [2024-10-14 15:39:43,573 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7680]: Undeclared identifier #t~ret532 in IdentifierExpression[#t~ret532,] [2024-10-14 15:39:43,573 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7680]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret532,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~9,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~9,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,573 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: B%d EXIR %02x\n" [7681]: Variable #t~ret533 modified in procedure W6692B_interrupt but not declared [2024-10-14 15:39:43,573 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: B%d EXIR %02x\n" [7681]: Undeclared identifier #t~ret533 in IdentifierExpression[#t~ret533,] [2024-10-14 15:39:43,573 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: B%d EXIR %02x\n" [7681]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret533,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~9,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~9,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,573 ERROR L1136 TypeChecker]: C: descriptor___0.function = "W6692B_interrupt" [7697]: Variable #t~ret543 modified in procedure W6692B_interrupt but not declared [2024-10-14 15:39:43,574 ERROR L1136 TypeChecker]: C: descriptor___0.function = "W6692B_interrupt" [7697]: Undeclared identifier #t~ret543 in IdentifierExpression[#t~ret543,] [2024-10-14 15:39:43,574 ERROR L1136 TypeChecker]: C: descriptor___0.function = "W6692B_interrupt" [7697]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret543,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~7,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___0~7,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,574 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7698]: Variable #t~ret544 modified in procedure W6692B_interrupt but not declared [2024-10-14 15:39:43,574 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7698]: Undeclared identifier #t~ret544 in IdentifierExpression[#t~ret544,] [2024-10-14 15:39:43,575 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7698]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret544,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~7,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___0~7,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,575 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s: B%d RDOV proto=%x\n" [7699]: Variable #t~ret545 modified in procedure W6692B_interrupt but not declared [2024-10-14 15:39:43,575 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s: B%d RDOV proto=%x\n" [7699]: Undeclared identifier #t~ret545 in IdentifierExpression[#t~ret545,] [2024-10-14 15:39:43,575 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s: B%d RDOV proto=%x\n" [7699]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret545,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~7,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___0~7,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,575 ERROR L1136 TypeChecker]: C: descriptor___1.function = "W6692B_interrupt" [7716]: Variable #t~ret553 modified in procedure W6692B_interrupt but not declared [2024-10-14 15:39:43,576 ERROR L1136 TypeChecker]: C: descriptor___1.function = "W6692B_interrupt" [7716]: Undeclared identifier #t~ret553 in IdentifierExpression[#t~ret553,] [2024-10-14 15:39:43,576 ERROR L1136 TypeChecker]: C: descriptor___1.function = "W6692B_interrupt" [7716]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret553,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~6,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___1~6,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,576 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7717]: Variable #t~ret554 modified in procedure W6692B_interrupt but not declared [2024-10-14 15:39:43,576 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7717]: Undeclared identifier #t~ret554 in IdentifierExpression[#t~ret554,] [2024-10-14 15:39:43,578 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7717]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret554,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~6,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___1~6,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,578 ERROR L1136 TypeChecker]: C: descriptor___1.format = "%s: B%d CRC error\n" [7718]: Variable #t~ret555 modified in procedure W6692B_interrupt but not declared [2024-10-14 15:39:43,578 ERROR L1136 TypeChecker]: C: descriptor___1.format = "%s: B%d CRC error\n" [7718]: Undeclared identifier #t~ret555 in IdentifierExpression[#t~ret555,] [2024-10-14 15:39:43,578 ERROR L1136 TypeChecker]: C: descriptor___1.format = "%s: B%d CRC error\n" [7718]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret555,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~6,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___1~6,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,578 ERROR L1136 TypeChecker]: C: descriptor___2.function = "W6692B_interrupt" [7731]: Variable #t~ret561 modified in procedure W6692B_interrupt but not declared [2024-10-14 15:39:43,578 ERROR L1136 TypeChecker]: C: descriptor___2.function = "W6692B_interrupt" [7731]: Undeclared identifier #t~ret561 in IdentifierExpression[#t~ret561,] [2024-10-14 15:39:43,578 ERROR L1136 TypeChecker]: C: descriptor___2.function = "W6692B_interrupt" [7731]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret561,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,579 ERROR L1136 TypeChecker]: C: descriptor___2.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7732]: Variable #t~ret562 modified in procedure W6692B_interrupt but not declared [2024-10-14 15:39:43,579 ERROR L1136 TypeChecker]: C: descriptor___2.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7732]: Undeclared identifier #t~ret562 in IdentifierExpression[#t~ret562,] [2024-10-14 15:39:43,579 ERROR L1136 TypeChecker]: C: descriptor___2.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7732]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret562,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,579 ERROR L1136 TypeChecker]: C: descriptor___2.format = "%s: B%d message abort\n" [7733]: Variable #t~ret563 modified in procedure W6692B_interrupt but not declared [2024-10-14 15:39:43,579 ERROR L1136 TypeChecker]: C: descriptor___2.format = "%s: B%d message abort\n" [7733]: Undeclared identifier #t~ret563 in IdentifierExpression[#t~ret563,] [2024-10-14 15:39:43,579 ERROR L1136 TypeChecker]: C: descriptor___2.format = "%s: B%d message abort\n" [7733]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret563,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,579 ERROR L1136 TypeChecker]: C: descriptor___3.function = "W6692B_interrupt" [7770]: Variable #t~ret575 modified in procedure W6692B_interrupt but not declared [2024-10-14 15:39:43,580 ERROR L1136 TypeChecker]: C: descriptor___3.function = "W6692B_interrupt" [7770]: Undeclared identifier #t~ret575 in IdentifierExpression[#t~ret575,] [2024-10-14 15:39:43,580 ERROR L1136 TypeChecker]: C: descriptor___3.function = "W6692B_interrupt" [7770]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret575,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___3~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___3~1,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,580 ERROR L1136 TypeChecker]: C: descriptor___3.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7771]: Variable #t~ret576 modified in procedure W6692B_interrupt but not declared [2024-10-14 15:39:43,580 ERROR L1136 TypeChecker]: C: descriptor___3.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7771]: Undeclared identifier #t~ret576 in IdentifierExpression[#t~ret576,] [2024-10-14 15:39:43,580 ERROR L1136 TypeChecker]: C: descriptor___3.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7771]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret576,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___3~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___3~1,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,580 ERROR L1136 TypeChecker]: C: descriptor___3.format = "%s: B%d RDOV proto=%x\n" [7772]: Variable #t~ret577 modified in procedure W6692B_interrupt but not declared [2024-10-14 15:39:43,580 ERROR L1136 TypeChecker]: C: descriptor___3.format = "%s: B%d RDOV proto=%x\n" [7772]: Undeclared identifier #t~ret577 in IdentifierExpression[#t~ret577,] [2024-10-14 15:39:43,580 ERROR L1136 TypeChecker]: C: descriptor___3.format = "%s: B%d RDOV proto=%x\n" [7772]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret577,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___3~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___3~1,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,580 ERROR L1136 TypeChecker]: C: descriptor___4.function = "W6692B_interrupt" [7795]: Variable #t~ret586 modified in procedure W6692B_interrupt but not declared [2024-10-14 15:39:43,580 ERROR L1136 TypeChecker]: C: descriptor___4.function = "W6692B_interrupt" [7795]: Undeclared identifier #t~ret586 in IdentifierExpression[#t~ret586,] [2024-10-14 15:39:43,580 ERROR L1136 TypeChecker]: C: descriptor___4.function = "W6692B_interrupt" [7795]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret586,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___4~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___4~1,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,581 ERROR L1136 TypeChecker]: C: descriptor___4.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7796]: Variable #t~ret587 modified in procedure W6692B_interrupt but not declared [2024-10-14 15:39:43,581 ERROR L1136 TypeChecker]: C: descriptor___4.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7796]: Undeclared identifier #t~ret587 in IdentifierExpression[#t~ret587,] [2024-10-14 15:39:43,581 ERROR L1136 TypeChecker]: C: descriptor___4.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7796]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret587,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___4~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___4~1,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,581 ERROR L1136 TypeChecker]: C: descriptor___4.format = "%s: B%d RDOV IRQ proto=%x\n" [7797]: Variable #t~ret588 modified in procedure W6692B_interrupt but not declared [2024-10-14 15:39:43,581 ERROR L1136 TypeChecker]: C: descriptor___4.format = "%s: B%d RDOV IRQ proto=%x\n" [7797]: Undeclared identifier #t~ret588 in IdentifierExpression[#t~ret588,] [2024-10-14 15:39:43,581 ERROR L1136 TypeChecker]: C: descriptor___4.format = "%s: B%d RDOV IRQ proto=%x\n" [7797]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret588,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___4~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___4~1,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,581 ERROR L1136 TypeChecker]: C: descriptor___5.function = "W6692B_interrupt" [7815]: Variable #t~ret597 modified in procedure W6692B_interrupt but not declared [2024-10-14 15:39:43,581 ERROR L1136 TypeChecker]: C: descriptor___5.function = "W6692B_interrupt" [7815]: Undeclared identifier #t~ret597 in IdentifierExpression[#t~ret597,] [2024-10-14 15:39:43,581 ERROR L1136 TypeChecker]: C: descriptor___5.function = "W6692B_interrupt" [7815]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret597,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___5~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___5~1,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,581 ERROR L1136 TypeChecker]: C: descriptor___5.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7816]: Variable #t~ret598 modified in procedure W6692B_interrupt but not declared [2024-10-14 15:39:43,584 ERROR L1136 TypeChecker]: C: descriptor___5.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7816]: Undeclared identifier #t~ret598 in IdentifierExpression[#t~ret598,] [2024-10-14 15:39:43,584 ERROR L1136 TypeChecker]: C: descriptor___5.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7816]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret598,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___5~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___5~1,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,584 ERROR L1136 TypeChecker]: C: descriptor___5.format = "%s: B%d star %02x\n" [7817]: Variable #t~ret599 modified in procedure W6692B_interrupt but not declared [2024-10-14 15:39:43,584 ERROR L1136 TypeChecker]: C: descriptor___5.format = "%s: B%d star %02x\n" [7817]: Undeclared identifier #t~ret599 in IdentifierExpression[#t~ret599,] [2024-10-14 15:39:43,584 ERROR L1136 TypeChecker]: C: descriptor___5.format = "%s: B%d star %02x\n" [7817]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret599,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___5~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___5~1,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,585 ERROR L1136 TypeChecker]: C: descriptor.function = "w6692_irq" [7888]: Variable #t~ret625 modified in procedure w6692_irq but not declared [2024-10-14 15:39:43,585 ERROR L1136 TypeChecker]: C: descriptor.function = "w6692_irq" [7888]: Undeclared identifier #t~ret625 in IdentifierExpression[#t~ret625,] [2024-10-14 15:39:43,585 ERROR L1136 TypeChecker]: C: descriptor.function = "w6692_irq" [7888]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret625,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~10,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~10,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,585 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7889]: Variable #t~ret626 modified in procedure w6692_irq but not declared [2024-10-14 15:39:43,585 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7889]: Undeclared identifier #t~ret626 in IdentifierExpression[#t~ret626,] [2024-10-14 15:39:43,586 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7889]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret626,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~10,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~10,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,586 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: ista %02x\n" [7890]: Variable #t~ret627 modified in procedure w6692_irq but not declared [2024-10-14 15:39:43,586 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: ista %02x\n" [7890]: Undeclared identifier #t~ret627 in IdentifierExpression[#t~ret627,] [2024-10-14 15:39:43,586 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: ista %02x\n" [7890]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret627,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~10,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~10,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,586 ERROR L1136 TypeChecker]: C: descriptor___0.function = "w6692_irq" [7925]: Variable #t~ret638 modified in procedure w6692_irq but not declared [2024-10-14 15:39:43,586 ERROR L1136 TypeChecker]: C: descriptor___0.function = "w6692_irq" [7925]: Undeclared identifier #t~ret638 in IdentifierExpression[#t~ret638,] [2024-10-14 15:39:43,587 ERROR L1136 TypeChecker]: C: descriptor___0.function = "w6692_irq" [7925]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret638,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~8,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___0~8,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,587 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7926]: Variable #t~ret639 modified in procedure w6692_irq but not declared [2024-10-14 15:39:43,590 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7926]: Undeclared identifier #t~ret639 in IdentifierExpression[#t~ret639,] [2024-10-14 15:39:43,591 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7926]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret639,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~8,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___0~8,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,591 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s: W6692 spurious XINT!\n" [7927]: Variable #t~ret640 modified in procedure w6692_irq but not declared [2024-10-14 15:39:43,591 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s: W6692 spurious XINT!\n" [7927]: Undeclared identifier #t~ret640 in IdentifierExpression[#t~ret640,] [2024-10-14 15:39:43,591 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s: W6692 spurious XINT!\n" [7927]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret640,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~8,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___0~8,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,592 ERROR L1136 TypeChecker]: C: descriptor.function = "dbusy_timer_handler" [7962]: Variable #t~ret648 modified in procedure dbusy_timer_handler but not declared [2024-10-14 15:39:43,592 ERROR L1136 TypeChecker]: C: descriptor.function = "dbusy_timer_handler" [7962]: Undeclared identifier #t~ret648 in IdentifierExpression[#t~ret648,] [2024-10-14 15:39:43,592 ERROR L1136 TypeChecker]: C: descriptor.function = "dbusy_timer_handler" [7962]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret648,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~11,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~11,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,592 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7963]: Variable #t~ret649 modified in procedure dbusy_timer_handler but not declared [2024-10-14 15:39:43,592 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7963]: Undeclared identifier #t~ret649 in IdentifierExpression[#t~ret649,] [2024-10-14 15:39:43,592 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [7963]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret649,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~11,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~11,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,593 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: D-Channel Busy RBCH %02x STAR %02x\n" [7964]: Variable #t~ret650 modified in procedure dbusy_timer_handler but not declared [2024-10-14 15:39:43,593 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: D-Channel Busy RBCH %02x STAR %02x\n" [7964]: Undeclared identifier #t~ret650 in IdentifierExpression[#t~ret650,] [2024-10-14 15:39:43,593 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: D-Channel Busy RBCH %02x STAR %02x\n" [7964]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret650,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~11,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~11,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,595 ERROR L1136 TypeChecker]: C: descriptor.function = "w6692_bctrl" [8250]: Variable #t~ret730 modified in procedure w6692_bctrl but not declared [2024-10-14 15:39:43,596 ERROR L1136 TypeChecker]: C: descriptor.function = "w6692_bctrl" [8250]: Undeclared identifier #t~ret730 in IdentifierExpression[#t~ret730,] [2024-10-14 15:39:43,596 ERROR L1136 TypeChecker]: C: descriptor.function = "w6692_bctrl" [8250]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret730,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~12,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~12,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,596 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [8251]: Variable #t~ret731 modified in procedure w6692_bctrl but not declared [2024-10-14 15:39:43,596 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [8251]: Undeclared identifier #t~ret731 in IdentifierExpression[#t~ret731,] [2024-10-14 15:39:43,596 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [8251]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret731,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~12,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~12,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,596 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: %s cmd:%x %p\n" [8252]: Variable #t~ret732 modified in procedure w6692_bctrl but not declared [2024-10-14 15:39:43,597 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: %s cmd:%x %p\n" [8252]: Undeclared identifier #t~ret732 in IdentifierExpression[#t~ret732,] [2024-10-14 15:39:43,597 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: %s cmd:%x %p\n" [8252]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret732,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~12,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~12,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,598 ERROR L1136 TypeChecker]: C: descriptor.function = "w6692_l1callback" [8349]: Variable #t~ret754 modified in procedure w6692_l1callback but not declared [2024-10-14 15:39:43,598 ERROR L1136 TypeChecker]: C: descriptor.function = "w6692_l1callback" [8349]: Undeclared identifier #t~ret754 in IdentifierExpression[#t~ret754,] [2024-10-14 15:39:43,598 ERROR L1136 TypeChecker]: C: descriptor.function = "w6692_l1callback" [8349]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret754,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~13,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~13,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,598 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [8350]: Variable #t~ret755 modified in procedure w6692_l1callback but not declared [2024-10-14 15:39:43,598 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [8350]: Undeclared identifier #t~ret755 in IdentifierExpression[#t~ret755,] [2024-10-14 15:39:43,598 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [8350]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret755,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~13,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~13,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,598 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: cmd(%x) state(%02x)\n" [8351]: Variable #t~ret756 modified in procedure w6692_l1callback but not declared [2024-10-14 15:39:43,599 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: cmd(%x) state(%02x)\n" [8351]: Undeclared identifier #t~ret756 in IdentifierExpression[#t~ret756,] [2024-10-14 15:39:43,599 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: cmd(%x) state(%02x)\n" [8351]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret756,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~13,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~13,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,600 ERROR L1136 TypeChecker]: C: descriptor___0.function = "w6692_l1callback" [8415]: Variable #t~ret772 modified in procedure w6692_l1callback but not declared [2024-10-14 15:39:43,600 ERROR L1136 TypeChecker]: C: descriptor___0.function = "w6692_l1callback" [8415]: Undeclared identifier #t~ret772 in IdentifierExpression[#t~ret772,] [2024-10-14 15:39:43,600 ERROR L1136 TypeChecker]: C: descriptor___0.function = "w6692_l1callback" [8415]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret772,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~9,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___0~9,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,600 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [8416]: Variable #t~ret773 modified in procedure w6692_l1callback but not declared [2024-10-14 15:39:43,600 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [8416]: Undeclared identifier #t~ret773 in IdentifierExpression[#t~ret773,] [2024-10-14 15:39:43,600 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [8416]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret773,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~9,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___0~9,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,601 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s: %s unknown command %x\n" [8417]: Variable #t~ret774 modified in procedure w6692_l1callback but not declared [2024-10-14 15:39:43,601 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s: %s unknown command %x\n" [8417]: Undeclared identifier #t~ret774 in IdentifierExpression[#t~ret774,] [2024-10-14 15:39:43,601 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s: %s unknown command %x\n" [8417]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret774,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~9,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___0~9,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,601 ERROR L1136 TypeChecker]: C: descriptor.function = "open_dchannel" [8438]: Variable #t~ret778 modified in procedure open_dchannel but not declared [2024-10-14 15:39:43,601 ERROR L1136 TypeChecker]: C: descriptor.function = "open_dchannel" [8438]: Undeclared identifier #t~ret778 in IdentifierExpression[#t~ret778,] [2024-10-14 15:39:43,601 ERROR L1136 TypeChecker]: C: descriptor.function = "open_dchannel" [8438]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret778,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~14,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~14,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,601 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [8439]: Variable #t~ret779 modified in procedure open_dchannel but not declared [2024-10-14 15:39:43,601 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [8439]: Undeclared identifier #t~ret779 in IdentifierExpression[#t~ret779,] [2024-10-14 15:39:43,602 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [8439]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret779,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~14,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~14,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,602 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: %s dev(%d) open from %p\n" [8440]: Variable #t~ret780 modified in procedure open_dchannel but not declared [2024-10-14 15:39:43,602 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: %s dev(%d) open from %p\n" [8440]: Undeclared identifier #t~ret780 in IdentifierExpression[#t~ret780,] [2024-10-14 15:39:43,602 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: %s dev(%d) open from %p\n" [8440]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret780,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~14,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~14,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,602 ERROR L1136 TypeChecker]: C: descriptor.function = "w6692_dctrl" [8495]: Variable #t~ret791 modified in procedure w6692_dctrl but not declared [2024-10-14 15:39:43,602 ERROR L1136 TypeChecker]: C: descriptor.function = "w6692_dctrl" [8495]: Undeclared identifier #t~ret791 in IdentifierExpression[#t~ret791,] [2024-10-14 15:39:43,602 ERROR L1136 TypeChecker]: C: descriptor.function = "w6692_dctrl" [8495]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret791,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~15,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~15,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,602 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [8496]: Variable #t~ret792 modified in procedure w6692_dctrl but not declared [2024-10-14 15:39:43,602 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [8496]: Undeclared identifier #t~ret792 in IdentifierExpression[#t~ret792,] [2024-10-14 15:39:43,602 ERROR L1136 TypeChecker]: C: descriptor.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [8496]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret792,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~15,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~15,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,602 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: DCTRL: %x %p\n" [8497]: Variable #t~ret793 modified in procedure w6692_dctrl but not declared [2024-10-14 15:39:43,603 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: DCTRL: %x %p\n" [8497]: Undeclared identifier #t~ret793 in IdentifierExpression[#t~ret793,] [2024-10-14 15:39:43,603 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: DCTRL: %x %p\n" [8497]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret793,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~15,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~15,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,603 ERROR L1136 TypeChecker]: C: descriptor___0.function = "w6692_dctrl" [8532]: Variable #t~ret805 modified in procedure w6692_dctrl but not declared [2024-10-14 15:39:43,603 ERROR L1136 TypeChecker]: C: descriptor___0.function = "w6692_dctrl" [8532]: Undeclared identifier #t~ret805 in IdentifierExpression[#t~ret805,] [2024-10-14 15:39:43,603 ERROR L1136 TypeChecker]: C: descriptor___0.function = "w6692_dctrl" [8532]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret805,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~10,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___0~10,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,603 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [8533]: Variable #t~ret806 modified in procedure w6692_dctrl but not declared [2024-10-14 15:39:43,603 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [8533]: Undeclared identifier #t~ret806 in IdentifierExpression[#t~ret806,] [2024-10-14 15:39:43,603 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [8533]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret806,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~10,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___0~10,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,605 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s: dev(%d) close from %p\n" [8534]: Variable #t~ret807 modified in procedure w6692_dctrl but not declared [2024-10-14 15:39:43,606 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s: dev(%d) close from %p\n" [8534]: Undeclared identifier #t~ret807 in IdentifierExpression[#t~ret807,] [2024-10-14 15:39:43,606 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s: dev(%d) close from %p\n" [8534]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret807,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~10,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___0~10,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,606 ERROR L1136 TypeChecker]: C: descriptor___1.function = "w6692_dctrl" [8551]: Variable #t~ret814 modified in procedure w6692_dctrl but not declared [2024-10-14 15:39:43,606 ERROR L1136 TypeChecker]: C: descriptor___1.function = "w6692_dctrl" [8551]: Undeclared identifier #t~ret814 in IdentifierExpression[#t~ret814,] [2024-10-14 15:39:43,606 ERROR L1136 TypeChecker]: C: descriptor___1.function = "w6692_dctrl" [8551]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret814,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~7,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___1~7,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,606 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [8552]: Variable #t~ret815 modified in procedure w6692_dctrl but not declared [2024-10-14 15:39:43,606 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [8552]: Undeclared identifier #t~ret815 in IdentifierExpression[#t~ret815,] [2024-10-14 15:39:43,606 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "/home/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--43_2a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/8824/dscv_tempdir/dscv/ri/43_2a/drivers/isdn/hardware/mISDN/w6692.c" [8552]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret815,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~7,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___1~7,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,607 ERROR L1136 TypeChecker]: C: descriptor___1.format = "%s: unknown DCTRL command %x\n" [8553]: Variable #t~ret816 modified in procedure w6692_dctrl but not declared [2024-10-14 15:39:43,607 ERROR L1136 TypeChecker]: C: descriptor___1.format = "%s: unknown DCTRL command %x\n" [8553]: Undeclared identifier #t~ret816 in IdentifierExpression[#t~ret816,] [2024-10-14 15:39:43,607 ERROR L1136 TypeChecker]: C: descriptor___1.format = "%s: unknown DCTRL command %x\n" [8553]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret816,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~7,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___1~7,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:39:43,612 INFO L184 PluginConnector]: Executing the observer Inliner from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 14.10 03:39:43" (1/1) ... [2024-10-14 15:39:43,616 INFO L131 PluginConnector]: ------------------------ END Boogie Procedure Inliner---------------------------- [2024-10-14 15:39:43,616 INFO L186 ToolchainWalker]: Toolchain execution was canceled (user or tool) before executing de.uni_freiburg.informatik.ultimate.boogie.preprocessor [2024-10-14 15:39:43,618 INFO L158 Benchmark]: Toolchain (without parser) took 2499.29ms. Allocated memory is still 186.6MB. Free memory was 102.9MB in the beginning and 94.5MB in the end (delta: 8.5MB). Peak memory consumption was 54.3MB. Max. memory is 16.1GB. [2024-10-14 15:39:43,618 INFO L158 Benchmark]: CDTParser took 0.14ms. Allocated memory is still 130.0MB. Free memory is still 93.7MB. There was no memory consumed. Max. memory is 16.1GB. [2024-10-14 15:39:43,619 INFO L158 Benchmark]: CACSL2BoogieTranslator took 2280.29ms. Allocated memory is still 186.6MB. Free memory was 102.4MB in the beginning and 67.0MB in the end (delta: 35.4MB). Peak memory consumption was 82.9MB. Max. memory is 16.1GB. [2024-10-14 15:39:43,623 INFO L158 Benchmark]: Boogie Procedure Inliner took 216.09ms. Allocated memory is still 186.6MB. Free memory was 67.0MB in the beginning and 94.5MB in the end (delta: -27.5MB). Peak memory consumption was 17.4MB. Max. memory is 16.1GB. [2024-10-14 15:39:43,624 INFO L338 ainManager$Toolchain]: ####################### End [Toolchain 1] ####################### --- Results --- * Results from de.uni_freiburg.informatik.ultimate.core: - StatisticsResult: Toolchain Benchmarks Benchmark results are: * CDTParser took 0.14ms. Allocated memory is still 130.0MB. Free memory is still 93.7MB. There was no memory consumed. Max. memory is 16.1GB. * CACSL2BoogieTranslator took 2280.29ms. Allocated memory is still 186.6MB. Free memory was 102.4MB in the beginning and 67.0MB in the end (delta: 35.4MB). Peak memory consumption was 82.9MB. Max. memory is 16.1GB. * Boogie Procedure Inliner took 216.09ms. Allocated memory is still 186.6MB. Free memory was 67.0MB in the beginning and 94.5MB in the end (delta: -27.5MB). Peak memory consumption was 17.4MB. Max. memory is 16.1GB. * Results from de.uni_freiburg.informatik.ultimate.boogie.preprocessor: - TypeErrorResult [Line: 6757]: Type Error Variable #t~ret183 modified in procedure ph_command but not declared - TypeErrorResult [Line: 6757]: Type Error Undeclared identifier #t~ret183 in IdentifierExpression[#t~ret183,] - TypeErrorResult [Line: 6757]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret183,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6758]: Type Error Variable #t~ret184 modified in procedure ph_command but not declared - TypeErrorResult [Line: 6758]: Type Error Undeclared identifier #t~ret184 in IdentifierExpression[#t~ret184,] - TypeErrorResult [Line: 6758]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret184,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6759]: Type Error Variable #t~ret185 modified in procedure ph_command but not declared - TypeErrorResult [Line: 6759]: Type Error Undeclared identifier #t~ret185 in IdentifierExpression[#t~ret185,] - TypeErrorResult [Line: 6759]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret185,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6833]: Type Error Variable #t~ret214 modified in procedure W6692_ph_bh but not declared - TypeErrorResult [Line: 6833]: Type Error Undeclared identifier #t~ret214 in IdentifierExpression[#t~ret214,] - TypeErrorResult [Line: 6833]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret214,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6834]: Type Error Variable #t~ret215 modified in procedure W6692_ph_bh but not declared - TypeErrorResult [Line: 6834]: Type Error Undeclared identifier #t~ret215 in IdentifierExpression[#t~ret215,] - TypeErrorResult [Line: 6834]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret215,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6835]: Type Error Variable #t~ret216 modified in procedure W6692_ph_bh but not declared - TypeErrorResult [Line: 6835]: Type Error Undeclared identifier #t~ret216 in IdentifierExpression[#t~ret216,] - TypeErrorResult [Line: 6835]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret216,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6848]: Type Error Variable #t~ret222 modified in procedure W6692_ph_bh but not declared - TypeErrorResult [Line: 6848]: Type Error Undeclared identifier #t~ret222 in IdentifierExpression[#t~ret222,] - TypeErrorResult [Line: 6848]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret222,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6849]: Type Error Variable #t~ret223 modified in procedure W6692_ph_bh but not declared - TypeErrorResult [Line: 6849]: Type Error Undeclared identifier #t~ret223 in IdentifierExpression[#t~ret223,] - TypeErrorResult [Line: 6849]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret223,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6850]: Type Error Variable #t~ret224 modified in procedure W6692_ph_bh but not declared - TypeErrorResult [Line: 6850]: Type Error Undeclared identifier #t~ret224 in IdentifierExpression[#t~ret224,] - TypeErrorResult [Line: 6850]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret224,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6876]: Type Error Variable #t~ret229 modified in procedure W6692_empty_Dfifo but not declared - TypeErrorResult [Line: 6876]: Type Error Undeclared identifier #t~ret229 in IdentifierExpression[#t~ret229,] - TypeErrorResult [Line: 6876]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret229,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~2,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6877]: Type Error Variable #t~ret230 modified in procedure W6692_empty_Dfifo but not declared - TypeErrorResult [Line: 6877]: Type Error Undeclared identifier #t~ret230 in IdentifierExpression[#t~ret230,] - TypeErrorResult [Line: 6877]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret230,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~2,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6878]: Type Error Variable #t~ret231 modified in procedure W6692_empty_Dfifo but not declared - TypeErrorResult [Line: 6878]: Type Error Undeclared identifier #t~ret231 in IdentifierExpression[#t~ret231,] - TypeErrorResult [Line: 6878]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret231,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~2,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6899]: Type Error Variable #t~ret244 modified in procedure W6692_empty_Dfifo but not declared - TypeErrorResult [Line: 6899]: Type Error Undeclared identifier #t~ret244 in IdentifierExpression[#t~ret244,] - TypeErrorResult [Line: 6899]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret244,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6900]: Type Error Variable #t~ret245 modified in procedure W6692_empty_Dfifo but not declared - TypeErrorResult [Line: 6900]: Type Error Undeclared identifier #t~ret245 in IdentifierExpression[#t~ret245,] - TypeErrorResult [Line: 6900]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret245,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6901]: Type Error Variable #t~ret246 modified in procedure W6692_empty_Dfifo but not declared - TypeErrorResult [Line: 6901]: Type Error Undeclared identifier #t~ret246 in IdentifierExpression[#t~ret246,] - TypeErrorResult [Line: 6901]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret246,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6922]: Type Error Variable #t~ret259 modified in procedure W6692_empty_Dfifo but not declared - TypeErrorResult [Line: 6922]: Type Error Undeclared identifier #t~ret259 in IdentifierExpression[#t~ret259,] - TypeErrorResult [Line: 6922]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret259,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___1~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6923]: Type Error Variable #t~ret260 modified in procedure W6692_empty_Dfifo but not declared - TypeErrorResult [Line: 6923]: Type Error Undeclared identifier #t~ret260 in IdentifierExpression[#t~ret260,] - TypeErrorResult [Line: 6923]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret260,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___1~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6955]: Type Error Variable #t~ret263 modified in procedure W6692_fill_Dfifo but not declared - TypeErrorResult [Line: 6955]: Type Error Undeclared identifier #t~ret263 in IdentifierExpression[#t~ret263,] - TypeErrorResult [Line: 6955]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret263,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~3,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6956]: Type Error Variable #t~ret264 modified in procedure W6692_fill_Dfifo but not declared - TypeErrorResult [Line: 6956]: Type Error Undeclared identifier #t~ret264 in IdentifierExpression[#t~ret264,] - TypeErrorResult [Line: 6956]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret264,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~3,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6957]: Type Error Variable #t~ret265 modified in procedure W6692_fill_Dfifo but not declared - TypeErrorResult [Line: 6957]: Type Error Undeclared identifier #t~ret265 in IdentifierExpression[#t~ret265,] - TypeErrorResult [Line: 6957]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret265,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~3,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6986]: Type Error Variable #t~ret280 modified in procedure W6692_fill_Dfifo but not declared - TypeErrorResult [Line: 6986]: Type Error Undeclared identifier #t~ret280 in IdentifierExpression[#t~ret280,] - TypeErrorResult [Line: 6986]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret280,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6987]: Type Error Variable #t~ret281 modified in procedure W6692_fill_Dfifo but not declared - TypeErrorResult [Line: 6987]: Type Error Undeclared identifier #t~ret281 in IdentifierExpression[#t~ret281,] - TypeErrorResult [Line: 6987]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret281,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6988]: Type Error Variable #t~ret282 modified in procedure W6692_fill_Dfifo but not declared - TypeErrorResult [Line: 6988]: Type Error Undeclared identifier #t~ret282 in IdentifierExpression[#t~ret282,] - TypeErrorResult [Line: 6988]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret282,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7007]: Type Error Variable #t~ret292 modified in procedure W6692_fill_Dfifo but not declared - TypeErrorResult [Line: 7007]: Type Error Undeclared identifier #t~ret292 in IdentifierExpression[#t~ret292,] - TypeErrorResult [Line: 7007]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret292,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___1~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7008]: Type Error Variable #t~ret293 modified in procedure W6692_fill_Dfifo but not declared - TypeErrorResult [Line: 7008]: Type Error Undeclared identifier #t~ret293 in IdentifierExpression[#t~ret293,] - TypeErrorResult [Line: 7008]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret293,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___1~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7073]: Type Error Variable #t~ret309 modified in procedure handle_rxD but not declared - TypeErrorResult [Line: 7073]: Type Error Undeclared identifier #t~ret309 in IdentifierExpression[#t~ret309,] - TypeErrorResult [Line: 7073]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret309,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~4,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~4,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7074]: Type Error Variable #t~ret310 modified in procedure handle_rxD but not declared - TypeErrorResult [Line: 7074]: Type Error Undeclared identifier #t~ret310 in IdentifierExpression[#t~ret310,] - TypeErrorResult [Line: 7074]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret310,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~4,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~4,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7075]: Type Error Variable #t~ret311 modified in procedure handle_rxD but not declared - TypeErrorResult [Line: 7075]: Type Error Undeclared identifier #t~ret311 in IdentifierExpression[#t~ret311,] - TypeErrorResult [Line: 7075]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret311,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~4,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~4,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7087]: Type Error Variable #t~ret316 modified in procedure handle_rxD but not declared - TypeErrorResult [Line: 7087]: Type Error Undeclared identifier #t~ret316 in IdentifierExpression[#t~ret316,] - TypeErrorResult [Line: 7087]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret316,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___0~3,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7088]: Type Error Variable #t~ret317 modified in procedure handle_rxD but not declared - TypeErrorResult [Line: 7088]: Type Error Undeclared identifier #t~ret317 in IdentifierExpression[#t~ret317,] - TypeErrorResult [Line: 7088]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret317,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___0~3,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7089]: Type Error Variable #t~ret318 modified in procedure handle_rxD but not declared - TypeErrorResult [Line: 7089]: Type Error Undeclared identifier #t~ret318 in IdentifierExpression[#t~ret318,] - TypeErrorResult [Line: 7089]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret318,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___0~3,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7101]: Type Error Variable #t~ret323 modified in procedure handle_rxD but not declared - TypeErrorResult [Line: 7101]: Type Error Undeclared identifier #t~ret323 in IdentifierExpression[#t~ret323,] - TypeErrorResult [Line: 7101]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret323,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___1~2,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7102]: Type Error Variable #t~ret324 modified in procedure handle_rxD but not declared - TypeErrorResult [Line: 7102]: Type Error Undeclared identifier #t~ret324 in IdentifierExpression[#t~ret324,] - TypeErrorResult [Line: 7102]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret324,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___1~2,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7103]: Type Error Variable #t~ret325 modified in procedure handle_rxD but not declared - TypeErrorResult [Line: 7103]: Type Error Undeclared identifier #t~ret325 in IdentifierExpression[#t~ret325,] - TypeErrorResult [Line: 7103]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret325,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___1~2,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7188]: Type Error Variable #t~ret343 modified in procedure handle_statusD but not declared - TypeErrorResult [Line: 7188]: Type Error Undeclared identifier #t~ret343 in IdentifierExpression[#t~ret343,] - TypeErrorResult [Line: 7188]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret343,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~5,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~5,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7189]: Type Error Variable #t~ret344 modified in procedure handle_statusD but not declared - TypeErrorResult [Line: 7189]: Type Error Undeclared identifier #t~ret344 in IdentifierExpression[#t~ret344,] - TypeErrorResult [Line: 7189]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret344,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~5,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~5,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7190]: Type Error Variable #t~ret345 modified in procedure handle_statusD but not declared - TypeErrorResult [Line: 7190]: Type Error Undeclared identifier #t~ret345 in IdentifierExpression[#t~ret345,] - TypeErrorResult [Line: 7190]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret345,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~5,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~5,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7201]: Type Error Variable #t~ret350 modified in procedure handle_statusD but not declared - TypeErrorResult [Line: 7201]: Type Error Undeclared identifier #t~ret350 in IdentifierExpression[#t~ret350,] - TypeErrorResult [Line: 7201]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret350,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~4,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___0~4,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7202]: Type Error Variable #t~ret351 modified in procedure handle_statusD but not declared - TypeErrorResult [Line: 7202]: Type Error Undeclared identifier #t~ret351 in IdentifierExpression[#t~ret351,] - TypeErrorResult [Line: 7202]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret351,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~4,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___0~4,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7203]: Type Error Variable #t~ret352 modified in procedure handle_statusD but not declared - TypeErrorResult [Line: 7203]: Type Error Undeclared identifier #t~ret352 in IdentifierExpression[#t~ret352,] - TypeErrorResult [Line: 7203]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret352,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~4,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___0~4,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7216]: Type Error Variable #t~ret356 modified in procedure handle_statusD but not declared - TypeErrorResult [Line: 7216]: Type Error Undeclared identifier #t~ret356 in IdentifierExpression[#t~ret356,] - TypeErrorResult [Line: 7216]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret356,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___1~3,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7217]: Type Error Variable #t~ret357 modified in procedure handle_statusD but not declared - TypeErrorResult [Line: 7217]: Type Error Undeclared identifier #t~ret357 in IdentifierExpression[#t~ret357,] - TypeErrorResult [Line: 7217]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret357,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___1~3,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7218]: Type Error Variable #t~ret358 modified in procedure handle_statusD but not declared - TypeErrorResult [Line: 7218]: Type Error Undeclared identifier #t~ret358 in IdentifierExpression[#t~ret358,] - TypeErrorResult [Line: 7218]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret358,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___1~3,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7231]: Type Error Variable #t~ret363 modified in procedure handle_statusD but not declared - TypeErrorResult [Line: 7231]: Type Error Undeclared identifier #t~ret363 in IdentifierExpression[#t~ret363,] - TypeErrorResult [Line: 7231]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret363,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7232]: Type Error Variable #t~ret364 modified in procedure handle_statusD but not declared - TypeErrorResult [Line: 7232]: Type Error Undeclared identifier #t~ret364 in IdentifierExpression[#t~ret364,] - TypeErrorResult [Line: 7232]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret364,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7233]: Type Error Variable #t~ret365 modified in procedure handle_statusD but not declared - TypeErrorResult [Line: 7233]: Type Error Undeclared identifier #t~ret365 in IdentifierExpression[#t~ret365,] - TypeErrorResult [Line: 7233]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret365,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7246]: Type Error Variable #t~ret371 modified in procedure handle_statusD but not declared - TypeErrorResult [Line: 7246]: Type Error Undeclared identifier #t~ret371 in IdentifierExpression[#t~ret371,] - TypeErrorResult [Line: 7246]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret371,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7247]: Type Error Variable #t~ret372 modified in procedure handle_statusD but not declared - TypeErrorResult [Line: 7247]: Type Error Undeclared identifier #t~ret372 in IdentifierExpression[#t~ret372,] - TypeErrorResult [Line: 7247]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret372,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7248]: Type Error Variable #t~ret373 modified in procedure handle_statusD but not declared - TypeErrorResult [Line: 7248]: Type Error Undeclared identifier #t~ret373 in IdentifierExpression[#t~ret373,] - TypeErrorResult [Line: 7248]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret373,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7262]: Type Error Variable #t~ret379 modified in procedure handle_statusD but not declared - TypeErrorResult [Line: 7262]: Type Error Undeclared identifier #t~ret379 in IdentifierExpression[#t~ret379,] - TypeErrorResult [Line: 7262]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret379,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___4~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___4~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7263]: Type Error Variable #t~ret380 modified in procedure handle_statusD but not declared - TypeErrorResult [Line: 7263]: Type Error Undeclared identifier #t~ret380 in IdentifierExpression[#t~ret380,] - TypeErrorResult [Line: 7263]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret380,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___4~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___4~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7264]: Type Error Variable #t~ret381 modified in procedure handle_statusD but not declared - TypeErrorResult [Line: 7264]: Type Error Undeclared identifier #t~ret381 in IdentifierExpression[#t~ret381,] - TypeErrorResult [Line: 7264]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret381,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___4~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___4~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7276]: Type Error Variable #t~ret386 modified in procedure handle_statusD but not declared - TypeErrorResult [Line: 7276]: Type Error Undeclared identifier #t~ret386 in IdentifierExpression[#t~ret386,] - TypeErrorResult [Line: 7276]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret386,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___5~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___5~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7277]: Type Error Variable #t~ret387 modified in procedure handle_statusD but not declared - TypeErrorResult [Line: 7277]: Type Error Undeclared identifier #t~ret387 in IdentifierExpression[#t~ret387,] - TypeErrorResult [Line: 7277]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret387,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___5~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___5~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7278]: Type Error Variable #t~ret388 modified in procedure handle_statusD but not declared - TypeErrorResult [Line: 7278]: Type Error Undeclared identifier #t~ret388 in IdentifierExpression[#t~ret388,] - TypeErrorResult [Line: 7278]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret388,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___5~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___5~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7307]: Type Error Variable #t~ret397 modified in procedure handle_statusD but not declared - TypeErrorResult [Line: 7307]: Type Error Undeclared identifier #t~ret397 in IdentifierExpression[#t~ret397,] - TypeErrorResult [Line: 7307]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret397,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___6~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___6~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7308]: Type Error Variable #t~ret398 modified in procedure handle_statusD but not declared - TypeErrorResult [Line: 7308]: Type Error Undeclared identifier #t~ret398 in IdentifierExpression[#t~ret398,] - TypeErrorResult [Line: 7308]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret398,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___6~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___6~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7309]: Type Error Variable #t~ret399 modified in procedure handle_statusD but not declared - TypeErrorResult [Line: 7309]: Type Error Undeclared identifier #t~ret399 in IdentifierExpression[#t~ret399,] - TypeErrorResult [Line: 7309]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret399,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___6~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___6~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7324]: Type Error Variable #t~ret403 modified in procedure handle_statusD but not declared - TypeErrorResult [Line: 7324]: Type Error Undeclared identifier #t~ret403 in IdentifierExpression[#t~ret403,] - TypeErrorResult [Line: 7324]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret403,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___7~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___7~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7325]: Type Error Variable #t~ret404 modified in procedure handle_statusD but not declared - TypeErrorResult [Line: 7325]: Type Error Undeclared identifier #t~ret404 in IdentifierExpression[#t~ret404,] - TypeErrorResult [Line: 7325]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret404,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___7~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___7~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7326]: Type Error Variable #t~ret405 modified in procedure handle_statusD but not declared - TypeErrorResult [Line: 7326]: Type Error Undeclared identifier #t~ret405 in IdentifierExpression[#t~ret405,] - TypeErrorResult [Line: 7326]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret405,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___7~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___7~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7338]: Type Error Variable #t~ret410 modified in procedure handle_statusD but not declared - TypeErrorResult [Line: 7338]: Type Error Undeclared identifier #t~ret410 in IdentifierExpression[#t~ret410,] - TypeErrorResult [Line: 7338]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret410,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___8~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___8~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7339]: Type Error Variable #t~ret411 modified in procedure handle_statusD but not declared - TypeErrorResult [Line: 7339]: Type Error Undeclared identifier #t~ret411 in IdentifierExpression[#t~ret411,] - TypeErrorResult [Line: 7339]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret411,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___8~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___8~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7340]: Type Error Variable #t~ret412 modified in procedure handle_statusD but not declared - TypeErrorResult [Line: 7340]: Type Error Undeclared identifier #t~ret412 in IdentifierExpression[#t~ret412,] - TypeErrorResult [Line: 7340]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret412,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___8~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___8~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7370]: Type Error Variable #t~ret417 modified in procedure W6692_empty_Bfifo but not declared - TypeErrorResult [Line: 7370]: Type Error Undeclared identifier #t~ret417 in IdentifierExpression[#t~ret417,] - TypeErrorResult [Line: 7370]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret417,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~6,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~6,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7371]: Type Error Variable #t~ret418 modified in procedure W6692_empty_Bfifo but not declared - TypeErrorResult [Line: 7371]: Type Error Undeclared identifier #t~ret418 in IdentifierExpression[#t~ret418,] - TypeErrorResult [Line: 7371]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret418,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~6,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~6,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7372]: Type Error Variable #t~ret419 modified in procedure W6692_empty_Bfifo but not declared - TypeErrorResult [Line: 7372]: Type Error Undeclared identifier #t~ret419 in IdentifierExpression[#t~ret419,] - TypeErrorResult [Line: 7372]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret419,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~6,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~6,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7384]: Type Error Variable #t~ret425 modified in procedure W6692_empty_Bfifo but not declared - TypeErrorResult [Line: 7384]: Type Error Undeclared identifier #t~ret425 in IdentifierExpression[#t~ret425,] - TypeErrorResult [Line: 7384]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret425,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~5,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___0~5,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7385]: Type Error Variable #t~ret426 modified in procedure W6692_empty_Bfifo but not declared - TypeErrorResult [Line: 7385]: Type Error Undeclared identifier #t~ret426 in IdentifierExpression[#t~ret426,] - TypeErrorResult [Line: 7385]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret426,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~5,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___0~5,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7386]: Type Error Variable #t~ret427 modified in procedure W6692_empty_Bfifo but not declared - TypeErrorResult [Line: 7386]: Type Error Undeclared identifier #t~ret427 in IdentifierExpression[#t~ret427,] - TypeErrorResult [Line: 7386]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret427,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~5,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___0~5,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7429]: Type Error Variable #t~ret449 modified in procedure W6692_empty_Bfifo but not declared - TypeErrorResult [Line: 7429]: Type Error Undeclared identifier #t~ret449 in IdentifierExpression[#t~ret449,] - TypeErrorResult [Line: 7429]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret449,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~4,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___1~4,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7430]: Type Error Variable #t~ret450 modified in procedure W6692_empty_Bfifo but not declared - TypeErrorResult [Line: 7430]: Type Error Undeclared identifier #t~ret450 in IdentifierExpression[#t~ret450,] - TypeErrorResult [Line: 7430]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret450,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~4,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___1~4,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7465]: Type Error Variable #t~ret454 modified in procedure W6692_fill_Bfifo but not declared - TypeErrorResult [Line: 7465]: Type Error Undeclared identifier #t~ret454 in IdentifierExpression[#t~ret454,] - TypeErrorResult [Line: 7465]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret454,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~7,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~7,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7466]: Type Error Variable #t~ret455 modified in procedure W6692_fill_Bfifo but not declared - TypeErrorResult [Line: 7466]: Type Error Undeclared identifier #t~ret455 in IdentifierExpression[#t~ret455,] - TypeErrorResult [Line: 7466]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret455,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~7,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~7,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7467]: Type Error Variable #t~ret456 modified in procedure W6692_fill_Bfifo but not declared - TypeErrorResult [Line: 7467]: Type Error Undeclared identifier #t~ret456 in IdentifierExpression[#t~ret456,] - TypeErrorResult [Line: 7467]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret456,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~7,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~7,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7502]: Type Error Variable #t~ret470 modified in procedure W6692_fill_Bfifo but not declared - TypeErrorResult [Line: 7502]: Type Error Undeclared identifier #t~ret470 in IdentifierExpression[#t~ret470,] - TypeErrorResult [Line: 7502]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret470,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~6,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___0~6,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7503]: Type Error Variable #t~ret471 modified in procedure W6692_fill_Bfifo but not declared - TypeErrorResult [Line: 7503]: Type Error Undeclared identifier #t~ret471 in IdentifierExpression[#t~ret471,] - TypeErrorResult [Line: 7503]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret471,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~6,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___0~6,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7504]: Type Error Variable #t~ret472 modified in procedure W6692_fill_Bfifo but not declared - TypeErrorResult [Line: 7504]: Type Error Undeclared identifier #t~ret472 in IdentifierExpression[#t~ret472,] - TypeErrorResult [Line: 7504]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret472,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~6,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___0~6,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7532]: Type Error Variable #t~ret485 modified in procedure W6692_fill_Bfifo but not declared - TypeErrorResult [Line: 7532]: Type Error Undeclared identifier #t~ret485 in IdentifierExpression[#t~ret485,] - TypeErrorResult [Line: 7532]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret485,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~5,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___1~5,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7533]: Type Error Variable #t~ret486 modified in procedure W6692_fill_Bfifo but not declared - TypeErrorResult [Line: 7533]: Type Error Undeclared identifier #t~ret486 in IdentifierExpression[#t~ret486,] - TypeErrorResult [Line: 7533]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret486,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~5,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___1~5,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7571]: Type Error Variable #t~ret496 modified in procedure w6692_mode but not declared - TypeErrorResult [Line: 7571]: Type Error Undeclared identifier #t~ret496 in IdentifierExpression[#t~ret496,] - TypeErrorResult [Line: 7571]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret496,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~8,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~8,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7572]: Type Error Variable #t~ret497 modified in procedure w6692_mode but not declared - TypeErrorResult [Line: 7572]: Type Error Undeclared identifier #t~ret497 in IdentifierExpression[#t~ret497,] - TypeErrorResult [Line: 7572]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret497,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~8,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~8,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7573]: Type Error Variable #t~ret498 modified in procedure w6692_mode but not declared - TypeErrorResult [Line: 7573]: Type Error Undeclared identifier #t~ret498 in IdentifierExpression[#t~ret498,] - TypeErrorResult [Line: 7573]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret498,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~8,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~8,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7679]: Type Error Variable #t~ret531 modified in procedure W6692B_interrupt but not declared - TypeErrorResult [Line: 7679]: Type Error Undeclared identifier #t~ret531 in IdentifierExpression[#t~ret531,] - TypeErrorResult [Line: 7679]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret531,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~9,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~9,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7680]: Type Error Variable #t~ret532 modified in procedure W6692B_interrupt but not declared - TypeErrorResult [Line: 7680]: Type Error Undeclared identifier #t~ret532 in IdentifierExpression[#t~ret532,] - TypeErrorResult [Line: 7680]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret532,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~9,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~9,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7681]: Type Error Variable #t~ret533 modified in procedure W6692B_interrupt but not declared - TypeErrorResult [Line: 7681]: Type Error Undeclared identifier #t~ret533 in IdentifierExpression[#t~ret533,] - TypeErrorResult [Line: 7681]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret533,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~9,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~9,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7697]: Type Error Variable #t~ret543 modified in procedure W6692B_interrupt but not declared - TypeErrorResult [Line: 7697]: Type Error Undeclared identifier #t~ret543 in IdentifierExpression[#t~ret543,] - TypeErrorResult [Line: 7697]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret543,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~7,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___0~7,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7698]: Type Error Variable #t~ret544 modified in procedure W6692B_interrupt but not declared - TypeErrorResult [Line: 7698]: Type Error Undeclared identifier #t~ret544 in IdentifierExpression[#t~ret544,] - TypeErrorResult [Line: 7698]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret544,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~7,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___0~7,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7699]: Type Error Variable #t~ret545 modified in procedure W6692B_interrupt but not declared - TypeErrorResult [Line: 7699]: Type Error Undeclared identifier #t~ret545 in IdentifierExpression[#t~ret545,] - TypeErrorResult [Line: 7699]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret545,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~7,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___0~7,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7716]: Type Error Variable #t~ret553 modified in procedure W6692B_interrupt but not declared - TypeErrorResult [Line: 7716]: Type Error Undeclared identifier #t~ret553 in IdentifierExpression[#t~ret553,] - TypeErrorResult [Line: 7716]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret553,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~6,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___1~6,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7717]: Type Error Variable #t~ret554 modified in procedure W6692B_interrupt but not declared - TypeErrorResult [Line: 7717]: Type Error Undeclared identifier #t~ret554 in IdentifierExpression[#t~ret554,] - TypeErrorResult [Line: 7717]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret554,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~6,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___1~6,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7718]: Type Error Variable #t~ret555 modified in procedure W6692B_interrupt but not declared - TypeErrorResult [Line: 7718]: Type Error Undeclared identifier #t~ret555 in IdentifierExpression[#t~ret555,] - TypeErrorResult [Line: 7718]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret555,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~6,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___1~6,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7731]: Type Error Variable #t~ret561 modified in procedure W6692B_interrupt but not declared - TypeErrorResult [Line: 7731]: Type Error Undeclared identifier #t~ret561 in IdentifierExpression[#t~ret561,] - TypeErrorResult [Line: 7731]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret561,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7732]: Type Error Variable #t~ret562 modified in procedure W6692B_interrupt but not declared - TypeErrorResult [Line: 7732]: Type Error Undeclared identifier #t~ret562 in IdentifierExpression[#t~ret562,] - TypeErrorResult [Line: 7732]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret562,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7733]: Type Error Variable #t~ret563 modified in procedure W6692B_interrupt but not declared - TypeErrorResult [Line: 7733]: Type Error Undeclared identifier #t~ret563 in IdentifierExpression[#t~ret563,] - TypeErrorResult [Line: 7733]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret563,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7770]: Type Error Variable #t~ret575 modified in procedure W6692B_interrupt but not declared - TypeErrorResult [Line: 7770]: Type Error Undeclared identifier #t~ret575 in IdentifierExpression[#t~ret575,] - TypeErrorResult [Line: 7770]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret575,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___3~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___3~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7771]: Type Error Variable #t~ret576 modified in procedure W6692B_interrupt but not declared - TypeErrorResult [Line: 7771]: Type Error Undeclared identifier #t~ret576 in IdentifierExpression[#t~ret576,] - TypeErrorResult [Line: 7771]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret576,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___3~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___3~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7772]: Type Error Variable #t~ret577 modified in procedure W6692B_interrupt but not declared - TypeErrorResult [Line: 7772]: Type Error Undeclared identifier #t~ret577 in IdentifierExpression[#t~ret577,] - TypeErrorResult [Line: 7772]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret577,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___3~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___3~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7795]: Type Error Variable #t~ret586 modified in procedure W6692B_interrupt but not declared - TypeErrorResult [Line: 7795]: Type Error Undeclared identifier #t~ret586 in IdentifierExpression[#t~ret586,] - TypeErrorResult [Line: 7795]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret586,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___4~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___4~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7796]: Type Error Variable #t~ret587 modified in procedure W6692B_interrupt but not declared - TypeErrorResult [Line: 7796]: Type Error Undeclared identifier #t~ret587 in IdentifierExpression[#t~ret587,] - TypeErrorResult [Line: 7796]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret587,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___4~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___4~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7797]: Type Error Variable #t~ret588 modified in procedure W6692B_interrupt but not declared - TypeErrorResult [Line: 7797]: Type Error Undeclared identifier #t~ret588 in IdentifierExpression[#t~ret588,] - TypeErrorResult [Line: 7797]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret588,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___4~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___4~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7815]: Type Error Variable #t~ret597 modified in procedure W6692B_interrupt but not declared - TypeErrorResult [Line: 7815]: Type Error Undeclared identifier #t~ret597 in IdentifierExpression[#t~ret597,] - TypeErrorResult [Line: 7815]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret597,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___5~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___5~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7816]: Type Error Variable #t~ret598 modified in procedure W6692B_interrupt but not declared - TypeErrorResult [Line: 7816]: Type Error Undeclared identifier #t~ret598 in IdentifierExpression[#t~ret598,] - TypeErrorResult [Line: 7816]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret598,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___5~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___5~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7817]: Type Error Variable #t~ret599 modified in procedure W6692B_interrupt but not declared - TypeErrorResult [Line: 7817]: Type Error Undeclared identifier #t~ret599 in IdentifierExpression[#t~ret599,] - TypeErrorResult [Line: 7817]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret599,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___5~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___5~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7888]: Type Error Variable #t~ret625 modified in procedure w6692_irq but not declared - TypeErrorResult [Line: 7888]: Type Error Undeclared identifier #t~ret625 in IdentifierExpression[#t~ret625,] - TypeErrorResult [Line: 7888]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret625,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~10,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~10,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7889]: Type Error Variable #t~ret626 modified in procedure w6692_irq but not declared - TypeErrorResult [Line: 7889]: Type Error Undeclared identifier #t~ret626 in IdentifierExpression[#t~ret626,] - TypeErrorResult [Line: 7889]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret626,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~10,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~10,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7890]: Type Error Variable #t~ret627 modified in procedure w6692_irq but not declared - TypeErrorResult [Line: 7890]: Type Error Undeclared identifier #t~ret627 in IdentifierExpression[#t~ret627,] - TypeErrorResult [Line: 7890]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret627,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~10,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~10,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7925]: Type Error Variable #t~ret638 modified in procedure w6692_irq but not declared - TypeErrorResult [Line: 7925]: Type Error Undeclared identifier #t~ret638 in IdentifierExpression[#t~ret638,] - TypeErrorResult [Line: 7925]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret638,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~8,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___0~8,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7926]: Type Error Variable #t~ret639 modified in procedure w6692_irq but not declared - TypeErrorResult [Line: 7926]: Type Error Undeclared identifier #t~ret639 in IdentifierExpression[#t~ret639,] - TypeErrorResult [Line: 7926]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret639,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~8,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___0~8,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7927]: Type Error Variable #t~ret640 modified in procedure w6692_irq but not declared - TypeErrorResult [Line: 7927]: Type Error Undeclared identifier #t~ret640 in IdentifierExpression[#t~ret640,] - TypeErrorResult [Line: 7927]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret640,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~8,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___0~8,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7962]: Type Error Variable #t~ret648 modified in procedure dbusy_timer_handler but not declared - TypeErrorResult [Line: 7962]: Type Error Undeclared identifier #t~ret648 in IdentifierExpression[#t~ret648,] - TypeErrorResult [Line: 7962]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret648,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~11,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~11,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7963]: Type Error Variable #t~ret649 modified in procedure dbusy_timer_handler but not declared - TypeErrorResult [Line: 7963]: Type Error Undeclared identifier #t~ret649 in IdentifierExpression[#t~ret649,] - TypeErrorResult [Line: 7963]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret649,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~11,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~11,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7964]: Type Error Variable #t~ret650 modified in procedure dbusy_timer_handler but not declared - TypeErrorResult [Line: 7964]: Type Error Undeclared identifier #t~ret650 in IdentifierExpression[#t~ret650,] - TypeErrorResult [Line: 7964]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret650,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~11,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~11,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 8250]: Type Error Variable #t~ret730 modified in procedure w6692_bctrl but not declared - TypeErrorResult [Line: 8250]: Type Error Undeclared identifier #t~ret730 in IdentifierExpression[#t~ret730,] - TypeErrorResult [Line: 8250]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret730,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~12,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~12,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 8251]: Type Error Variable #t~ret731 modified in procedure w6692_bctrl but not declared - TypeErrorResult [Line: 8251]: Type Error Undeclared identifier #t~ret731 in IdentifierExpression[#t~ret731,] - TypeErrorResult [Line: 8251]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret731,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~12,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~12,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 8252]: Type Error Variable #t~ret732 modified in procedure w6692_bctrl but not declared - TypeErrorResult [Line: 8252]: Type Error Undeclared identifier #t~ret732 in IdentifierExpression[#t~ret732,] - TypeErrorResult [Line: 8252]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret732,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~12,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~12,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 8349]: Type Error Variable #t~ret754 modified in procedure w6692_l1callback but not declared - TypeErrorResult [Line: 8349]: Type Error Undeclared identifier #t~ret754 in IdentifierExpression[#t~ret754,] - TypeErrorResult [Line: 8349]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret754,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~13,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~13,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 8350]: Type Error Variable #t~ret755 modified in procedure w6692_l1callback but not declared - TypeErrorResult [Line: 8350]: Type Error Undeclared identifier #t~ret755 in IdentifierExpression[#t~ret755,] - TypeErrorResult [Line: 8350]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret755,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~13,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~13,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 8351]: Type Error Variable #t~ret756 modified in procedure w6692_l1callback but not declared - TypeErrorResult [Line: 8351]: Type Error Undeclared identifier #t~ret756 in IdentifierExpression[#t~ret756,] - TypeErrorResult [Line: 8351]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret756,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~13,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~13,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 8415]: Type Error Variable #t~ret772 modified in procedure w6692_l1callback but not declared - TypeErrorResult [Line: 8415]: Type Error Undeclared identifier #t~ret772 in IdentifierExpression[#t~ret772,] - TypeErrorResult [Line: 8415]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret772,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~9,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___0~9,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 8416]: Type Error Variable #t~ret773 modified in procedure w6692_l1callback but not declared - TypeErrorResult [Line: 8416]: Type Error Undeclared identifier #t~ret773 in IdentifierExpression[#t~ret773,] - TypeErrorResult [Line: 8416]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret773,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~9,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___0~9,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 8417]: Type Error Variable #t~ret774 modified in procedure w6692_l1callback but not declared - TypeErrorResult [Line: 8417]: Type Error Undeclared identifier #t~ret774 in IdentifierExpression[#t~ret774,] - TypeErrorResult [Line: 8417]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret774,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~9,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___0~9,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 8438]: Type Error Variable #t~ret778 modified in procedure open_dchannel but not declared - TypeErrorResult [Line: 8438]: Type Error Undeclared identifier #t~ret778 in IdentifierExpression[#t~ret778,] - TypeErrorResult [Line: 8438]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret778,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~14,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~14,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 8439]: Type Error Variable #t~ret779 modified in procedure open_dchannel but not declared - TypeErrorResult [Line: 8439]: Type Error Undeclared identifier #t~ret779 in IdentifierExpression[#t~ret779,] - TypeErrorResult [Line: 8439]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret779,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~14,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~14,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 8440]: Type Error Variable #t~ret780 modified in procedure open_dchannel but not declared - TypeErrorResult [Line: 8440]: Type Error Undeclared identifier #t~ret780 in IdentifierExpression[#t~ret780,] - TypeErrorResult [Line: 8440]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret780,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~14,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~14,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 8495]: Type Error Variable #t~ret791 modified in procedure w6692_dctrl but not declared - TypeErrorResult [Line: 8495]: Type Error Undeclared identifier #t~ret791 in IdentifierExpression[#t~ret791,] - TypeErrorResult [Line: 8495]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret791,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~15,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~15,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 8496]: Type Error Variable #t~ret792 modified in procedure w6692_dctrl but not declared - TypeErrorResult [Line: 8496]: Type Error Undeclared identifier #t~ret792 in IdentifierExpression[#t~ret792,] - TypeErrorResult [Line: 8496]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret792,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~15,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~15,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 8497]: Type Error Variable #t~ret793 modified in procedure w6692_dctrl but not declared - TypeErrorResult [Line: 8497]: Type Error Undeclared identifier #t~ret793 in IdentifierExpression[#t~ret793,] - TypeErrorResult [Line: 8497]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret793,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~15,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~15,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 8532]: Type Error Variable #t~ret805 modified in procedure w6692_dctrl but not declared - TypeErrorResult [Line: 8532]: Type Error Undeclared identifier #t~ret805 in IdentifierExpression[#t~ret805,] - TypeErrorResult [Line: 8532]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret805,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~10,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___0~10,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 8533]: Type Error Variable #t~ret806 modified in procedure w6692_dctrl but not declared - TypeErrorResult [Line: 8533]: Type Error Undeclared identifier #t~ret806 in IdentifierExpression[#t~ret806,] - TypeErrorResult [Line: 8533]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret806,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~10,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___0~10,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 8534]: Type Error Variable #t~ret807 modified in procedure w6692_dctrl but not declared - TypeErrorResult [Line: 8534]: Type Error Undeclared identifier #t~ret807 in IdentifierExpression[#t~ret807,] - TypeErrorResult [Line: 8534]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret807,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~10,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___0~10,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 8551]: Type Error Variable #t~ret814 modified in procedure w6692_dctrl but not declared - TypeErrorResult [Line: 8551]: Type Error Undeclared identifier #t~ret814 in IdentifierExpression[#t~ret814,] - TypeErrorResult [Line: 8551]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret814,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~7,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___1~7,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 8552]: Type Error Variable #t~ret815 modified in procedure w6692_dctrl but not declared - TypeErrorResult [Line: 8552]: Type Error Undeclared identifier #t~ret815 in IdentifierExpression[#t~ret815,] - TypeErrorResult [Line: 8552]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret815,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~7,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___1~7,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 8553]: Type Error Variable #t~ret816 modified in procedure w6692_dctrl but not declared - TypeErrorResult [Line: 8553]: Type Error Undeclared identifier #t~ret816 in IdentifierExpression[#t~ret816,] - TypeErrorResult [Line: 8553]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret816,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~7,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___1~7,],offset]]]],IntegerLiteral[8]]] * Results from de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: - GenericResultAtLocation [Line: 6149]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile (".pushsection .smp_locks,\"a\"\n.balign 4\n.long 671f - .\n.popsection\n671:\n\tlock; bts %2, %0; setc %1": "+m" (*addr), "=qm" (c): "Ir" (nr): "memory"); [6149-6150] - GenericResultAtLocation [Line: 6158]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile (".pushsection .smp_locks,\"a\"\n.balign 4\n.long 671f - .\n.popsection\n671:\n\tlock; btr %2, %0; setc %1": "+m" (*addr), "=qm" (c): "Ir" (nr): "memory"); [6158-6159] - GenericResultAtLocation [Line: 6355]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("outb %b0, %w1": : "a" (value), "Nd" (port)); [6355] - GenericResultAtLocation [Line: 6363]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("inb %w1, %b0": "=a" (value): "Nd" (port)); [6363] - GenericResultAtLocation [Line: 6370]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("rep; outsb": "+S" (addr), "+c" (count): "d" (port)); [6370] - GenericResultAtLocation [Line: 6377]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("rep; insb": "+D" (addr), "+c" (count): "d" (port)); [6377] RESULT: Ultimate could not prove your program: Toolchain returned no result. Received shutdown request... --- End real Ultimate output --- Execution finished normally Using bit-precise analysis Retrying with bit-precise analysis ### Bit-precise run ### Calling Ultimate with: /root/.sdkman/candidates/java/current/bin/java -Dosgi.configuration.area=/storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/config -Xmx15G -Xms4m -jar /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data -tc /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/config/AutomizerReach.xml -i /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--isdn--hardware--mISDN--w6692.ko-entry_point.cil.out.i -s /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/config/svcomp-Reach-64bit-Automizer_Bitvector.epf --cacsl2boogietranslator.entry.function main --witnessprinter.witness.directory /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux --witnessprinter.witness.filename witness --witnessprinter.write.witness.besides.input.file false --witnessprinter.graph.data.specification CHECK( init(main()), LTL(G ! call(reach_error())) ) --witnessprinter.graph.data.producer Automizer --witnessprinter.graph.data.architecture 64bit --witnessprinter.graph.data.programhash 739f3451e6066963c0b7569760000f821b0e10d41a2bb279dc204ee3e2cd1a3e --- Real Ultimate output --- This is Ultimate 0.2.5-wip.fs.cvc5-61a6796-m [2024-10-14 15:39:45,401 INFO L188 SettingsManager]: Resetting all preferences to default values... [2024-10-14 15:39:45,460 INFO L114 SettingsManager]: Loading settings from /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/config/svcomp-Reach-64bit-Automizer_Bitvector.epf [2024-10-14 15:39:45,465 WARN L101 SettingsManager]: Preference file contains the following unknown settings: [2024-10-14 15:39:45,465 WARN L103 SettingsManager]: * de.uni_freiburg.informatik.ultimate.core.Log level for class [2024-10-14 15:39:45,500 INFO L130 SettingsManager]: Preferences different from defaults after loading the file: [2024-10-14 15:39:45,504 INFO L151 SettingsManager]: Preferences of UltimateCore differ from their defaults: [2024-10-14 15:39:45,504 INFO L153 SettingsManager]: * Log level for class=de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=ERROR; [2024-10-14 15:39:45,505 INFO L151 SettingsManager]: Preferences of Boogie Preprocessor differ from their defaults: [2024-10-14 15:39:45,505 INFO L153 SettingsManager]: * Use memory slicer=true [2024-10-14 15:39:45,505 INFO L151 SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults: [2024-10-14 15:39:45,506 INFO L153 SettingsManager]: * Ignore calls to procedures called more than once=ONLY_FOR_SEQUENTIAL_PROGRAMS [2024-10-14 15:39:45,506 INFO L151 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2024-10-14 15:39:45,506 INFO L153 SettingsManager]: * Create parallel compositions if possible=false [2024-10-14 15:39:45,506 INFO L153 SettingsManager]: * Use SBE=true [2024-10-14 15:39:45,507 INFO L151 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2024-10-14 15:39:45,507 INFO L153 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2024-10-14 15:39:45,507 INFO L153 SettingsManager]: * Check division by zero=IGNORE [2024-10-14 15:39:45,507 INFO L153 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2024-10-14 15:39:45,507 INFO L153 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2024-10-14 15:39:45,508 INFO L153 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2024-10-14 15:39:45,511 INFO L153 SettingsManager]: * Adapt memory model on pointer casts if necessary=true [2024-10-14 15:39:45,511 INFO L153 SettingsManager]: * Use bitvectors instead of ints=true [2024-10-14 15:39:45,511 INFO L153 SettingsManager]: * Allow undefined functions=false [2024-10-14 15:39:45,512 INFO L153 SettingsManager]: * Memory model=HoenickeLindenmann_4ByteResolution [2024-10-14 15:39:45,512 INFO L153 SettingsManager]: * Check if freed pointer was valid=false [2024-10-14 15:39:45,512 INFO L153 SettingsManager]: * Use constant arrays=true [2024-10-14 15:39:45,512 INFO L151 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2024-10-14 15:39:45,512 INFO L153 SettingsManager]: * Size of a code block=SequenceOfStatements [2024-10-14 15:39:45,512 INFO L153 SettingsManager]: * Only consider context switches at boundaries of atomic blocks=true [2024-10-14 15:39:45,512 INFO L153 SettingsManager]: * SMT solver=External_DefaultMode [2024-10-14 15:39:45,513 INFO L153 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:4000 [2024-10-14 15:39:45,513 INFO L151 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2024-10-14 15:39:45,513 INFO L153 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2024-10-14 15:39:45,513 INFO L153 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopHeads [2024-10-14 15:39:45,513 INFO L153 SettingsManager]: * Trace refinement strategy=WOLF [2024-10-14 15:39:45,513 INFO L153 SettingsManager]: * Command for external solver=cvc5 --incremental --print-success --lang smt [2024-10-14 15:39:45,513 INFO L153 SettingsManager]: * Apply one-shot large block encoding in concurrent analysis=false [2024-10-14 15:39:45,513 INFO L153 SettingsManager]: * Automaton type used in concurrency analysis=PETRI_NET [2024-10-14 15:39:45,514 INFO L153 SettingsManager]: * Order on configurations for Petri net unfoldings=DBO [2024-10-14 15:39:45,514 INFO L153 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2024-10-14 15:39:45,518 INFO L153 SettingsManager]: * Logic for external solver=AUFBV [2024-10-14 15:39:45,518 INFO L153 SettingsManager]: * Looper check in Petri net analysis=SEMANTIC WARNING: An illegal reflective access operation has occurred WARNING: Illegal reflective access by com.sun.xml.bind.v2.runtime.reflect.opt.Injector$1 (file:/storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/plugins/com.sun.xml.bind_2.2.0.v201505121915.jar) to method java.lang.ClassLoader.defineClass(java.lang.String,byte[],int,int) WARNING: Please consider reporting this to the maintainers of com.sun.xml.bind.v2.runtime.reflect.opt.Injector$1 WARNING: Use --illegal-access=warn to enable warnings of further illegal reflective access operations WARNING: All illegal access operations will be denied in a future release Applying setting for plugin de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: Entry function -> main Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Witness directory -> /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Witness filename -> witness Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Write witness besides input file -> false Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data specification -> CHECK( init(main()), LTL(G ! call(reach_error())) ) Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data producer -> Automizer Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data architecture -> 64bit Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data programhash -> 739f3451e6066963c0b7569760000f821b0e10d41a2bb279dc204ee3e2cd1a3e [2024-10-14 15:39:45,782 INFO L75 nceAwareModelManager]: Repository-Root is: /tmp [2024-10-14 15:39:45,809 INFO L261 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2024-10-14 15:39:45,811 INFO L217 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2024-10-14 15:39:45,812 INFO L270 PluginConnector]: Initializing CDTParser... [2024-10-14 15:39:45,813 INFO L274 PluginConnector]: CDTParser initialized [2024-10-14 15:39:45,814 INFO L431 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--isdn--hardware--mISDN--w6692.ko-entry_point.cil.out.i [2024-10-14 15:39:47,223 INFO L533 CDTParser]: Created temporary CDT project at NULL [2024-10-14 15:39:47,677 INFO L384 CDTParser]: Found 1 translation units. [2024-10-14 15:39:47,677 INFO L180 CDTParser]: Scanning /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--isdn--hardware--mISDN--w6692.ko-entry_point.cil.out.i [2024-10-14 15:39:47,721 INFO L427 CDTParser]: About to delete temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/1660204cc/c59cd4a0153a43d4ab5834b0c90833b3/FLAGb096aed70 [2024-10-14 15:39:47,785 INFO L435 CDTParser]: Successfully deleted /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/1660204cc/c59cd4a0153a43d4ab5834b0c90833b3 [2024-10-14 15:39:47,787 INFO L299 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2024-10-14 15:39:47,789 INFO L133 ToolchainWalker]: Walking toolchain with 6 elements. [2024-10-14 15:39:47,791 INFO L112 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2024-10-14 15:39:47,791 INFO L270 PluginConnector]: Initializing CACSL2BoogieTranslator... [2024-10-14 15:39:47,800 INFO L274 PluginConnector]: CACSL2BoogieTranslator initialized [2024-10-14 15:39:47,800 INFO L184 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 14.10 03:39:47" (1/1) ... [2024-10-14 15:39:47,801 INFO L204 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@205bf902 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 14.10 03:39:47, skipping insertion in model container [2024-10-14 15:39:47,802 INFO L184 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 14.10 03:39:47" (1/1) ... [2024-10-14 15:39:47,903 INFO L175 MainTranslator]: Built tables and reachable declarations [2024-10-14 15:39:48,776 FATAL L? ?]: The Plugin de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator has thrown an exception: java.lang.IllegalArgumentException: cannot determine size of incomplete type at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.constructSizeTValueAndOffsetsStructAndUnion(TypeSizeAndOffsetComputer.java:233) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:184) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.constructBytesizeExpression(TypeSizeAndOffsetComputer.java:121) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.checkIfNecessaryMemoryModelAdaption(CHandler.java:1083) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1023) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.PRDispatcher.dispatch(PRDispatcher.java:283) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.result.ExpressionResultTransformer.transformDispatchDecaySwitchRexBoolToInt(ExpressionResultTransformer.java:183) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.FunctionHandler.handleFunctionCallGivenNameAndArguments(FunctionHandler.java:661) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.FunctionHandler.handleFunctionCallExpression(FunctionHandler.java:536) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1591) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.PRDispatcher.dispatch(PRDispatcher.java:271) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1494) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.PRDispatcher.dispatch(PRDispatcher.java:224) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:2396) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.PRDispatcher.dispatch(PRDispatcher.java:200) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.handleCompoundStatement(CHandler.java:1150) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1133) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.PRDispatcher.dispatch(PRDispatcher.java:236) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.handleCompoundStatement(CHandler.java:1150) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1133) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.PRDispatcher.dispatch(PRDispatcher.java:236) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.FunctionHandler.handleFunctionDefinition(FunctionHandler.java:387) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1613) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.PRDispatcher.dispatch(PRDispatcher.java:159) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.processTUchild(CHandler.java:3471) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:2497) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:639) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.PRDispatcher.dispatch(PRDispatcher.java:135) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.MainTranslator.translate(MainTranslator.java:189) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.MainTranslator.run(MainTranslator.java:116) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.MainTranslator.(MainTranslator.java:94) at de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.CACSL2BoogieTranslatorObserver.finish(CACSL2BoogieTranslatorObserver.java:145) at de.uni_freiburg.informatik.ultimate.core.coreplugin.PluginConnector.runObserver(PluginConnector.java:167) at de.uni_freiburg.informatik.ultimate.core.coreplugin.PluginConnector.runTool(PluginConnector.java:150) at de.uni_freiburg.informatik.ultimate.core.coreplugin.PluginConnector.run(PluginConnector.java:127) at de.uni_freiburg.informatik.ultimate.core.coreplugin.ToolchainWalker.executePluginConnector(ToolchainWalker.java:233) at de.uni_freiburg.informatik.ultimate.core.coreplugin.ToolchainWalker.processPlugin(ToolchainWalker.java:227) at de.uni_freiburg.informatik.ultimate.core.coreplugin.ToolchainWalker.walkUnprotected(ToolchainWalker.java:144) at de.uni_freiburg.informatik.ultimate.core.coreplugin.ToolchainWalker.walk(ToolchainWalker.java:106) at de.uni_freiburg.informatik.ultimate.core.coreplugin.ToolchainManager$Toolchain.processToolchain(ToolchainManager.java:319) at de.uni_freiburg.informatik.ultimate.core.coreplugin.toolchain.DefaultToolchainJob.run(DefaultToolchainJob.java:145) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:63) [2024-10-14 15:39:48,782 INFO L158 Benchmark]: Toolchain (without parser) took 992.83ms. Allocated memory was 92.3MB in the beginning and 159.4MB in the end (delta: 67.1MB). Free memory was 64.2MB in the beginning and 118.2MB in the end (delta: -54.0MB). Peak memory consumption was 59.3MB. Max. memory is 16.1GB. [2024-10-14 15:39:48,782 INFO L158 Benchmark]: CDTParser took 0.26ms. Allocated memory is still 50.3MB. Free memory is still 23.5MB. There was no memory consumed. Max. memory is 16.1GB. [2024-10-14 15:39:48,783 INFO L158 Benchmark]: CACSL2BoogieTranslator took 990.00ms. Allocated memory was 92.3MB in the beginning and 159.4MB in the end (delta: 67.1MB). Free memory was 63.9MB in the beginning and 118.2MB in the end (delta: -54.3MB). Peak memory consumption was 59.3MB. Max. memory is 16.1GB. [2024-10-14 15:39:48,784 INFO L338 ainManager$Toolchain]: ####################### End [Toolchain 1] ####################### --- Results --- * Results from de.uni_freiburg.informatik.ultimate.core: - StatisticsResult: Toolchain Benchmarks Benchmark results are: * CDTParser took 0.26ms. Allocated memory is still 50.3MB. Free memory is still 23.5MB. There was no memory consumed. Max. memory is 16.1GB. * CACSL2BoogieTranslator took 990.00ms. Allocated memory was 92.3MB in the beginning and 159.4MB in the end (delta: 67.1MB). Free memory was 63.9MB in the beginning and 118.2MB in the end (delta: -54.3MB). Peak memory consumption was 59.3MB. Max. memory is 16.1GB. * Results from de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: - ExceptionOrErrorResult: IllegalArgumentException: cannot determine size of incomplete type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: IllegalArgumentException: cannot determine size of incomplete type: de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.constructSizeTValueAndOffsetsStructAndUnion(TypeSizeAndOffsetComputer.java:233) RESULT: Ultimate could not prove your program: Toolchain returned no result. Received shutdown request... --- End real Ultimate output --- Execution finished normally Writing output log to file Ultimate.log Result: ERROR: ExceptionOrErrorResult: IllegalArgumentException: cannot determine size of incomplete type