./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-challenges/linux-3.14_complex_emg_linux-alloc-spinlock_drivers-media-rc-imon.cil.i --full-output --architecture 64bit -------------------------------------------------------------------------------- Checking for ERROR reachability Using default analysis Version a046e57d 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-challenges/linux-3.14_complex_emg_linux-alloc-spinlock_drivers-media-rc-imon.cil.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 5a536358e61e0a2255e3ce0de609a7b791794491b46be2e56aac063bb1d719b1 --- Real Ultimate output --- This is Ultimate 0.2.5-tmp.dk.eval-mul-div-a046e57-m [2024-10-13 08:46:58,131 INFO L188 SettingsManager]: Resetting all preferences to default values... [2024-10-13 08:46:58,189 INFO L114 SettingsManager]: Loading settings from /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/config/svcomp-Reach-64bit-Automizer_Default.epf [2024-10-13 08:46:58,194 WARN L101 SettingsManager]: Preference file contains the following unknown settings: [2024-10-13 08:46:58,194 WARN L103 SettingsManager]: * de.uni_freiburg.informatik.ultimate.core.Log level for class [2024-10-13 08:46:58,214 INFO L130 SettingsManager]: Preferences different from defaults after loading the file: [2024-10-13 08:46:58,214 INFO L151 SettingsManager]: Preferences of UltimateCore differ from their defaults: [2024-10-13 08:46:58,215 INFO L153 SettingsManager]: * Log level for class=de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=ERROR; [2024-10-13 08:46:58,215 INFO L151 SettingsManager]: Preferences of Boogie Preprocessor differ from their defaults: [2024-10-13 08:46:58,216 INFO L153 SettingsManager]: * Use memory slicer=true [2024-10-13 08:46:58,216 INFO L151 SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults: [2024-10-13 08:46:58,216 INFO L153 SettingsManager]: * Ignore calls to procedures called more than once=ONLY_FOR_SEQUENTIAL_PROGRAMS [2024-10-13 08:46:58,217 INFO L151 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2024-10-13 08:46:58,217 INFO L153 SettingsManager]: * Create parallel compositions if possible=false [2024-10-13 08:46:58,217 INFO L153 SettingsManager]: * Use SBE=true [2024-10-13 08:46:58,218 INFO L151 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2024-10-13 08:46:58,219 INFO L153 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2024-10-13 08:46:58,219 INFO L153 SettingsManager]: * Overapproximate operations on floating types=true [2024-10-13 08:46:58,219 INFO L153 SettingsManager]: * Check division by zero=IGNORE [2024-10-13 08:46:58,219 INFO L153 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2024-10-13 08:46:58,219 INFO L153 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2024-10-13 08:46:58,222 INFO L153 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2024-10-13 08:46:58,222 INFO L153 SettingsManager]: * Allow undefined functions=false [2024-10-13 08:46:58,222 INFO L153 SettingsManager]: * Check if freed pointer was valid=false [2024-10-13 08:46:58,222 INFO L153 SettingsManager]: * Use constant arrays=true [2024-10-13 08:46:58,223 INFO L151 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2024-10-13 08:46:58,223 INFO L153 SettingsManager]: * Size of a code block=SequenceOfStatements [2024-10-13 08:46:58,223 INFO L153 SettingsManager]: * Only consider context switches at boundaries of atomic blocks=true [2024-10-13 08:46:58,223 INFO L153 SettingsManager]: * SMT solver=External_DefaultMode [2024-10-13 08:46:58,223 INFO L153 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:4000 [2024-10-13 08:46:58,223 INFO L151 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2024-10-13 08:46:58,223 INFO L153 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2024-10-13 08:46:58,224 INFO L153 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopHeads [2024-10-13 08:46:58,224 INFO L153 SettingsManager]: * Trace refinement strategy=CAMEL [2024-10-13 08:46:58,224 INFO L153 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2024-10-13 08:46:58,224 INFO L153 SettingsManager]: * Apply one-shot large block encoding in concurrent analysis=false [2024-10-13 08:46:58,224 INFO L153 SettingsManager]: * Automaton type used in concurrency analysis=PETRI_NET [2024-10-13 08:46:58,224 INFO L153 SettingsManager]: * Order on configurations for Petri net unfoldings=DBO [2024-10-13 08:46:58,224 INFO L153 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2024-10-13 08:46:58,224 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 -> 5a536358e61e0a2255e3ce0de609a7b791794491b46be2e56aac063bb1d719b1 [2024-10-13 08:46:58,408 INFO L75 nceAwareModelManager]: Repository-Root is: /tmp [2024-10-13 08:46:58,428 INFO L261 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2024-10-13 08:46:58,430 INFO L217 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2024-10-13 08:46:58,432 INFO L270 PluginConnector]: Initializing CDTParser... [2024-10-13 08:46:58,432 INFO L274 PluginConnector]: CDTParser initialized [2024-10-13 08:46:58,433 INFO L431 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/ldv-challenges/linux-3.14_complex_emg_linux-alloc-spinlock_drivers-media-rc-imon.cil.i [2024-10-13 08:46:59,692 INFO L533 CDTParser]: Created temporary CDT project at NULL [2024-10-13 08:47:00,119 INFO L384 CDTParser]: Found 1 translation units. [2024-10-13 08:47:00,120 INFO L180 CDTParser]: Scanning /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/ldv-challenges/linux-3.14_complex_emg_linux-alloc-spinlock_drivers-media-rc-imon.cil.i [2024-10-13 08:47:00,153 INFO L427 CDTParser]: About to delete temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/4c12a17f2/d0aec463333845bd840d0ee072b42627/FLAG268c96c41 [2024-10-13 08:47:00,165 INFO L435 CDTParser]: Successfully deleted /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/4c12a17f2/d0aec463333845bd840d0ee072b42627 [2024-10-13 08:47:00,167 INFO L299 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2024-10-13 08:47:00,168 INFO L133 ToolchainWalker]: Walking toolchain with 6 elements. [2024-10-13 08:47:00,169 INFO L112 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2024-10-13 08:47:00,169 INFO L270 PluginConnector]: Initializing CACSL2BoogieTranslator... [2024-10-13 08:47:00,173 INFO L274 PluginConnector]: CACSL2BoogieTranslator initialized [2024-10-13 08:47:00,174 INFO L184 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 13.10 08:47:00" (1/1) ... [2024-10-13 08:47:00,174 INFO L204 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@3066e466 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.10 08:47:00, skipping insertion in model container [2024-10-13 08:47:00,175 INFO L184 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 13.10 08:47:00" (1/1) ... [2024-10-13 08:47:00,263 INFO L175 MainTranslator]: Built tables and reachable declarations [2024-10-13 08:47:02,281 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-challenges/linux-3.14_complex_emg_linux-alloc-spinlock_drivers-media-rc-imon.cil.i[293480,293493] [2024-10-13 08:47:02,284 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-challenges/linux-3.14_complex_emg_linux-alloc-spinlock_drivers-media-rc-imon.cil.i[293625,293638] [2024-10-13 08:47:02,296 INFO L210 PostProcessor]: Analyzing one entry point: main [2024-10-13 08:47:02,332 INFO L200 MainTranslator]: Completed pre-run [2024-10-13 08:47:02,381 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("bts %1,%0": "+m" (*((long volatile *)addr)): "Ir" (nr): "memory"); [3837] [2024-10-13 08:47:02,385 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("movb %%gs:%P1,%0": "=q" (pfo_ret__): "p" (& current_task)); [3892] [2024-10-13 08:47:02,385 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("movw %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& current_task)); [3895] [2024-10-13 08:47:02,386 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("movl %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& current_task)); [3898] [2024-10-13 08:47:02,386 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("movq %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& current_task)); [3901] [2024-10-13 08:47:02,409 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("": : : "memory"); [4621] [2024-10-13 08:47:02,410 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("": : : "memory"); [4627] [2024-10-13 08:47:02,412 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("xchgb %b0, %1\n": "+q" (__ret), "+m" (tmp___5->state): : "memory", "cc"); [4742-4743] [2024-10-13 08:47:02,412 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("xchgw %w0, %1\n": "+r" (__ret), "+m" (tmp___6->state): : "memory", "cc"); [4749-4750] [2024-10-13 08:47:02,412 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("xchgl %0, %1\n": "+r" (__ret), "+m" (tmp___7->state): : "memory", "cc"); [4756-4757] [2024-10-13 08:47:02,413 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("xchgq %q0, %1\n": "+r" (__ret), "+m" (tmp___8->state): : "memory", "cc"); [4763-4764] [2024-10-13 08:47:02,477 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("": : : "memory"); [5499] [2024-10-13 08:47:02,578 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-challenges/linux-3.14_complex_emg_linux-alloc-spinlock_drivers-media-rc-imon.cil.i[293480,293493] [2024-10-13 08:47:02,579 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-challenges/linux-3.14_complex_emg_linux-alloc-spinlock_drivers-media-rc-imon.cil.i[293625,293638] [2024-10-13 08:47:02,583 INFO L210 PostProcessor]: Analyzing one entry point: main [2024-10-13 08:47:02,716 INFO L204 MainTranslator]: Completed translation [2024-10-13 08:47:02,716 INFO L201 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.10 08:47:02 WrapperNode [2024-10-13 08:47:02,716 INFO L131 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2024-10-13 08:47:02,718 INFO L112 PluginConnector]: ------------------------Boogie Procedure Inliner---------------------------- [2024-10-13 08:47:02,718 INFO L270 PluginConnector]: Initializing Boogie Procedure Inliner... [2024-10-13 08:47:02,718 INFO L274 PluginConnector]: Boogie Procedure Inliner initialized [2024-10-13 08:47:02,723 INFO L184 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.10 08:47:02" (1/1) ... [2024-10-13 08:47:02,764 ERROR L1136 TypeChecker]: C: descriptor.function = "free_imon_context" [4408]: Variable #t~ret136 modified in procedure free_imon_context but not declared [2024-10-13 08:47:02,765 ERROR L1136 TypeChecker]: C: descriptor.function = "free_imon_context" [4408]: Undeclared identifier #t~ret136 in IdentifierExpression[#t~ret136,] [2024-10-13 08:47:02,765 ERROR L1136 TypeChecker]: C: descriptor.function = "free_imon_context" [4408]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret136,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,765 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [4409]: Variable #t~ret137 modified in procedure free_imon_context but not declared [2024-10-13 08:47:02,765 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [4409]: Undeclared identifier #t~ret137 in IdentifierExpression[#t~ret137,] [2024-10-13 08:47:02,765 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [4409]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret137,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,765 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: iMON context freed\n" [4410]: Variable #t~ret138 modified in procedure free_imon_context but not declared [2024-10-13 08:47:02,766 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: iMON context freed\n" [4410]: Undeclared identifier #t~ret138 in IdentifierExpression[#t~ret138,] [2024-10-13 08:47:02,766 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: iMON context freed\n" [4410]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret138,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,771 ERROR L1136 TypeChecker]: C: descriptor.function = "display_open" [4483]: Variable #t~ret156 modified in procedure display_open but not declared [2024-10-13 08:47:02,772 ERROR L1136 TypeChecker]: C: descriptor.function = "display_open" [4483]: Undeclared identifier #t~ret156 in IdentifierExpression[#t~ret156,] [2024-10-13 08:47:02,772 ERROR L1136 TypeChecker]: C: descriptor.function = "display_open" [4483]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret156,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~1,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,772 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [4484]: Variable #t~ret157 modified in procedure display_open but not declared [2024-10-13 08:47:02,772 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [4484]: Undeclared identifier #t~ret157 in IdentifierExpression[#t~ret157,] [2024-10-13 08:47:02,772 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [4484]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret157,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~1,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,772 ERROR L1136 TypeChecker]: C: descriptor.format = "display port opened\n" [4485]: Variable #t~ret158 modified in procedure display_open but not declared [2024-10-13 08:47:02,773 ERROR L1136 TypeChecker]: C: descriptor.format = "display port opened\n" [4485]: Undeclared identifier #t~ret158 in IdentifierExpression[#t~ret158,] [2024-10-13 08:47:02,773 ERROR L1136 TypeChecker]: C: descriptor.format = "display port opened\n" [4485]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret158,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~1,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,774 ERROR L1136 TypeChecker]: C: descriptor.function = "display_close" [4542]: Variable #t~ret173 modified in procedure display_close but not declared [2024-10-13 08:47:02,774 ERROR L1136 TypeChecker]: C: descriptor.function = "display_close" [4542]: Undeclared identifier #t~ret173 in IdentifierExpression[#t~ret173,] [2024-10-13 08:47:02,774 ERROR L1136 TypeChecker]: C: descriptor.function = "display_close" [4542]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret173,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~2,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,774 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [4543]: Variable #t~ret174 modified in procedure display_close but not declared [2024-10-13 08:47:02,775 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [4543]: Undeclared identifier #t~ret174 in IdentifierExpression[#t~ret174,] [2024-10-13 08:47:02,775 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [4543]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret174,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~2,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,775 ERROR L1136 TypeChecker]: C: descriptor.format = "display port closed\n" [4544]: Variable #t~ret175 modified in procedure display_close but not declared [2024-10-13 08:47:02,775 ERROR L1136 TypeChecker]: C: descriptor.format = "display port closed\n" [4544]: Undeclared identifier #t~ret175 in IdentifierExpression[#t~ret175,] [2024-10-13 08:47:02,775 ERROR L1136 TypeChecker]: C: descriptor.format = "display port closed\n" [4544]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret175,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~2,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,776 ERROR L1136 TypeChecker]: C: _rs.lock.dep_map.name = "_rs.lock" [4635]: Variable #t~ret200 modified in procedure send_packet but not declared [2024-10-13 08:47:02,776 ERROR L1136 TypeChecker]: C: _rs.lock.dep_map.name = "_rs.lock" [4635]: Undeclared identifier #t~ret200 in IdentifierExpression[#t~ret200,] [2024-10-13 08:47:02,777 ERROR L1136 TypeChecker]: C: _rs.lock.dep_map.name = "_rs.lock" [4635]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret200,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[44],StructAccessExpression[IdentifierExpression[~#_rs~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,777 ERROR L1136 TypeChecker]: C: _rs___0.lock.dep_map.name = "_rs.lock" [4666]: Variable #t~ret207 modified in procedure send_packet but not declared [2024-10-13 08:47:02,777 ERROR L1136 TypeChecker]: C: _rs___0.lock.dep_map.name = "_rs.lock" [4666]: Undeclared identifier #t~ret207 in IdentifierExpression[#t~ret207,] [2024-10-13 08:47:02,777 ERROR L1136 TypeChecker]: C: _rs___0.lock.dep_map.name = "_rs.lock" [4666]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret207,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs___0~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[44],StructAccessExpression[IdentifierExpression[~#_rs___0~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,777 ERROR L1136 TypeChecker]: C: _rs___1.lock.dep_map.name = "_rs.lock" [4697]: Variable #t~ret213 modified in procedure send_packet but not declared [2024-10-13 08:47:02,778 ERROR L1136 TypeChecker]: C: _rs___1.lock.dep_map.name = "_rs.lock" [4697]: Undeclared identifier #t~ret213 in IdentifierExpression[#t~ret213,] [2024-10-13 08:47:02,778 ERROR L1136 TypeChecker]: C: _rs___1.lock.dep_map.name = "_rs.lock" [4697]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret213,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs___1~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[44],StructAccessExpression[IdentifierExpression[~#_rs___1~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,782 ERROR L1136 TypeChecker]: C: _rs.lock.dep_map.name = "_rs.lock" [5123]: Variable #t~ret272 modified in procedure vfd_write but not declared [2024-10-13 08:47:02,783 ERROR L1136 TypeChecker]: C: _rs.lock.dep_map.name = "_rs.lock" [5123]: Undeclared identifier #t~ret272 in IdentifierExpression[#t~ret272,] [2024-10-13 08:47:02,784 ERROR L1136 TypeChecker]: C: _rs.lock.dep_map.name = "_rs.lock" [5123]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret272,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[44],StructAccessExpression[IdentifierExpression[~#_rs~1,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,784 ERROR L1136 TypeChecker]: C: _rs___0.lock.dep_map.name = "_rs.lock" [5154]: Variable #t~ret278 modified in procedure vfd_write but not declared [2024-10-13 08:47:02,785 ERROR L1136 TypeChecker]: C: _rs___0.lock.dep_map.name = "_rs.lock" [5154]: Undeclared identifier #t~ret278 in IdentifierExpression[#t~ret278,] [2024-10-13 08:47:02,785 ERROR L1136 TypeChecker]: C: _rs___0.lock.dep_map.name = "_rs.lock" [5154]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret278,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs___0~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[44],StructAccessExpression[IdentifierExpression[~#_rs___0~1,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,785 ERROR L1136 TypeChecker]: C: _rs___1.lock.dep_map.name = "_rs.lock" [5183]: Variable #t~ret283 modified in procedure vfd_write but not declared [2024-10-13 08:47:02,787 ERROR L1136 TypeChecker]: C: _rs___1.lock.dep_map.name = "_rs.lock" [5183]: Undeclared identifier #t~ret283 in IdentifierExpression[#t~ret283,] [2024-10-13 08:47:02,787 ERROR L1136 TypeChecker]: C: _rs___1.lock.dep_map.name = "_rs.lock" [5183]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret283,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs___1~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[44],StructAccessExpression[IdentifierExpression[~#_rs___1~1,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,788 ERROR L1136 TypeChecker]: C: _rs___2.lock.dep_map.name = "_rs.lock" [5249]: Variable #t~ret291 modified in procedure vfd_write but not declared [2024-10-13 08:47:02,788 ERROR L1136 TypeChecker]: C: _rs___2.lock.dep_map.name = "_rs.lock" [5249]: Undeclared identifier #t~ret291 in IdentifierExpression[#t~ret291,] [2024-10-13 08:47:02,788 ERROR L1136 TypeChecker]: C: _rs___2.lock.dep_map.name = "_rs.lock" [5249]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret291,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs___2~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[44],StructAccessExpression[IdentifierExpression[~#_rs___2~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,788 ERROR L1136 TypeChecker]: C: _rs___3.lock.dep_map.name = "_rs.lock" [5288]: Variable #t~ret298 modified in procedure vfd_write but not declared [2024-10-13 08:47:02,788 ERROR L1136 TypeChecker]: C: _rs___3.lock.dep_map.name = "_rs.lock" [5288]: Undeclared identifier #t~ret298 in IdentifierExpression[#t~ret298,] [2024-10-13 08:47:02,788 ERROR L1136 TypeChecker]: C: _rs___3.lock.dep_map.name = "_rs.lock" [5288]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret298,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs___3~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[44],StructAccessExpression[IdentifierExpression[~#_rs___3~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,789 ERROR L1136 TypeChecker]: C: _rs.lock.dep_map.name = "_rs.lock" [5341]: Variable #t~ret304 modified in procedure lcd_write but not declared [2024-10-13 08:47:02,789 ERROR L1136 TypeChecker]: C: _rs.lock.dep_map.name = "_rs.lock" [5341]: Undeclared identifier #t~ret304 in IdentifierExpression[#t~ret304,] [2024-10-13 08:47:02,789 ERROR L1136 TypeChecker]: C: _rs.lock.dep_map.name = "_rs.lock" [5341]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret304,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[44],StructAccessExpression[IdentifierExpression[~#_rs~2,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,789 ERROR L1136 TypeChecker]: C: _rs___0.lock.dep_map.name = "_rs.lock" [5372]: Variable #t~ret310 modified in procedure lcd_write but not declared [2024-10-13 08:47:02,790 ERROR L1136 TypeChecker]: C: _rs___0.lock.dep_map.name = "_rs.lock" [5372]: Undeclared identifier #t~ret310 in IdentifierExpression[#t~ret310,] [2024-10-13 08:47:02,790 ERROR L1136 TypeChecker]: C: _rs___0.lock.dep_map.name = "_rs.lock" [5372]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret310,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs___0~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[44],StructAccessExpression[IdentifierExpression[~#_rs___0~2,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,790 ERROR L1136 TypeChecker]: C: _rs___1.lock.dep_map.name = "_rs.lock" [5401]: Variable #t~ret315 modified in procedure lcd_write but not declared [2024-10-13 08:47:02,790 ERROR L1136 TypeChecker]: C: _rs___1.lock.dep_map.name = "_rs.lock" [5401]: Undeclared identifier #t~ret315 in IdentifierExpression[#t~ret315,] [2024-10-13 08:47:02,790 ERROR L1136 TypeChecker]: C: _rs___1.lock.dep_map.name = "_rs.lock" [5401]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret315,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs___1~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[44],StructAccessExpression[IdentifierExpression[~#_rs___1~2,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,790 ERROR L1136 TypeChecker]: C: _rs___2.lock.dep_map.name = "_rs.lock" [5441]: Variable #t~ret322 modified in procedure lcd_write but not declared [2024-10-13 08:47:02,791 ERROR L1136 TypeChecker]: C: _rs___2.lock.dep_map.name = "_rs.lock" [5441]: Undeclared identifier #t~ret322 in IdentifierExpression[#t~ret322,] [2024-10-13 08:47:02,791 ERROR L1136 TypeChecker]: C: _rs___2.lock.dep_map.name = "_rs.lock" [5441]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret322,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs___2~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[44],StructAccessExpression[IdentifierExpression[~#_rs___2~1,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,791 ERROR L1136 TypeChecker]: C: descriptor.function = "lcd_write" [5461]: Variable #t~ret327 modified in procedure lcd_write but not declared [2024-10-13 08:47:02,794 ERROR L1136 TypeChecker]: C: descriptor.function = "lcd_write" [5461]: Undeclared identifier #t~ret327 in IdentifierExpression[#t~ret327,] [2024-10-13 08:47:02,794 ERROR L1136 TypeChecker]: C: descriptor.function = "lcd_write" [5461]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret327,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~3,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,796 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [5462]: Variable #t~ret328 modified in procedure lcd_write but not declared [2024-10-13 08:47:02,797 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [5462]: Undeclared identifier #t~ret328 in IdentifierExpression[#t~ret328,] [2024-10-13 08:47:02,797 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [5462]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret328,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~3,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,797 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: write %d bytes to LCD\n" [5463]: Variable #t~ret329 modified in procedure lcd_write but not declared [2024-10-13 08:47:02,797 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: write %d bytes to LCD\n" [5463]: Undeclared identifier #t~ret329 in IdentifierExpression[#t~ret329,] [2024-10-13 08:47:02,797 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: write %d bytes to LCD\n" [5463]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret329,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~3,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,798 ERROR L1136 TypeChecker]: C: descriptor.function = "imon_ir_change_protocol" [5560]: Variable #t~ret355 modified in procedure imon_ir_change_protocol but not declared [2024-10-13 08:47:02,798 ERROR L1136 TypeChecker]: C: descriptor.function = "imon_ir_change_protocol" [5560]: Undeclared identifier #t~ret355 in IdentifierExpression[#t~ret355,] [2024-10-13 08:47:02,798 ERROR L1136 TypeChecker]: C: descriptor.function = "imon_ir_change_protocol" [5560]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret355,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~4,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~4,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,799 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [5561]: Variable #t~ret356 modified in procedure imon_ir_change_protocol but not declared [2024-10-13 08:47:02,799 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [5561]: Undeclared identifier #t~ret356 in IdentifierExpression[#t~ret356,] [2024-10-13 08:47:02,799 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [5561]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret356,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~4,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~4,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,799 ERROR L1136 TypeChecker]: C: descriptor.format = "Configuring IR receiver for MCE protocol\n" [5562]: Variable #t~ret357 modified in procedure imon_ir_change_protocol but not declared [2024-10-13 08:47:02,799 ERROR L1136 TypeChecker]: C: descriptor.format = "Configuring IR receiver for MCE protocol\n" [5562]: Undeclared identifier #t~ret357 in IdentifierExpression[#t~ret357,] [2024-10-13 08:47:02,799 ERROR L1136 TypeChecker]: C: descriptor.format = "Configuring IR receiver for MCE protocol\n" [5562]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret357,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~4,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~4,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,800 ERROR L1136 TypeChecker]: C: descriptor___0.function = "imon_ir_change_protocol" [5579]: Variable #t~ret364 modified in procedure imon_ir_change_protocol but not declared [2024-10-13 08:47:02,800 ERROR L1136 TypeChecker]: C: descriptor___0.function = "imon_ir_change_protocol" [5579]: Undeclared identifier #t~ret364 in IdentifierExpression[#t~ret364,] [2024-10-13 08:47:02,800 ERROR L1136 TypeChecker]: C: descriptor___0.function = "imon_ir_change_protocol" [5579]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret364,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,802 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "drivers/media/rc/imon.c" [5580]: Variable #t~ret365 modified in procedure imon_ir_change_protocol but not declared [2024-10-13 08:47:02,802 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "drivers/media/rc/imon.c" [5580]: Undeclared identifier #t~ret365 in IdentifierExpression[#t~ret365,] [2024-10-13 08:47:02,802 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "drivers/media/rc/imon.c" [5580]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret365,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,802 ERROR L1136 TypeChecker]: C: descriptor___0.format = "Configuring IR receiver for iMON protocol\n" [5581]: Variable #t~ret366 modified in procedure imon_ir_change_protocol but not declared [2024-10-13 08:47:02,802 ERROR L1136 TypeChecker]: C: descriptor___0.format = "Configuring IR receiver for iMON protocol\n" [5581]: Undeclared identifier #t~ret366 in IdentifierExpression[#t~ret366,] [2024-10-13 08:47:02,803 ERROR L1136 TypeChecker]: C: descriptor___0.format = "Configuring IR receiver for iMON protocol\n" [5581]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret366,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,803 ERROR L1136 TypeChecker]: C: descriptor___1.function = "imon_ir_change_protocol" [5595]: Variable #t~ret371 modified in procedure imon_ir_change_protocol but not declared [2024-10-13 08:47:02,803 ERROR L1136 TypeChecker]: C: descriptor___1.function = "imon_ir_change_protocol" [5595]: Undeclared identifier #t~ret371 in IdentifierExpression[#t~ret371,] [2024-10-13 08:47:02,803 ERROR L1136 TypeChecker]: C: descriptor___1.function = "imon_ir_change_protocol" [5595]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret371,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___1~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,803 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "drivers/media/rc/imon.c" [5596]: Variable #t~ret372 modified in procedure imon_ir_change_protocol but not declared [2024-10-13 08:47:02,803 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "drivers/media/rc/imon.c" [5596]: Undeclared identifier #t~ret372 in IdentifierExpression[#t~ret372,] [2024-10-13 08:47:02,803 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "drivers/media/rc/imon.c" [5596]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret372,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___1~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,803 ERROR L1136 TypeChecker]: C: descriptor___1.format = "PAD stabilize functionality disabled\n" [5597]: Variable #t~ret373 modified in procedure imon_ir_change_protocol but not declared [2024-10-13 08:47:02,804 ERROR L1136 TypeChecker]: C: descriptor___1.format = "PAD stabilize functionality disabled\n" [5597]: Undeclared identifier #t~ret373 in IdentifierExpression[#t~ret373,] [2024-10-13 08:47:02,804 ERROR L1136 TypeChecker]: C: descriptor___1.format = "PAD stabilize functionality disabled\n" [5597]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret373,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___1~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,804 ERROR L1136 TypeChecker]: C: descriptor___2.function = "imon_ir_change_protocol" [5618]: Variable #t~ret380 modified in procedure imon_ir_change_protocol but not declared [2024-10-13 08:47:02,804 ERROR L1136 TypeChecker]: C: descriptor___2.function = "imon_ir_change_protocol" [5618]: Undeclared identifier #t~ret380 in IdentifierExpression[#t~ret380,] [2024-10-13 08:47:02,804 ERROR L1136 TypeChecker]: C: descriptor___2.function = "imon_ir_change_protocol" [5618]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret380,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,804 ERROR L1136 TypeChecker]: C: descriptor___2.filename = "drivers/media/rc/imon.c" [5619]: Variable #t~ret381 modified in procedure imon_ir_change_protocol but not declared [2024-10-13 08:47:02,804 ERROR L1136 TypeChecker]: C: descriptor___2.filename = "drivers/media/rc/imon.c" [5619]: Undeclared identifier #t~ret381 in IdentifierExpression[#t~ret381,] [2024-10-13 08:47:02,805 ERROR L1136 TypeChecker]: C: descriptor___2.filename = "drivers/media/rc/imon.c" [5619]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret381,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,805 ERROR L1136 TypeChecker]: C: descriptor___2.format = "PAD stabilize functionality disabled\n" [5620]: Variable #t~ret382 modified in procedure imon_ir_change_protocol but not declared [2024-10-13 08:47:02,805 ERROR L1136 TypeChecker]: C: descriptor___2.format = "PAD stabilize functionality disabled\n" [5620]: Undeclared identifier #t~ret382 in IdentifierExpression[#t~ret382,] [2024-10-13 08:47:02,805 ERROR L1136 TypeChecker]: C: descriptor___2.format = "PAD stabilize functionality disabled\n" [5620]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret382,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,808 ERROR L1136 TypeChecker]: C: descriptor.function = "imon_mouse_event" [5926]: Variable #t~ret463 modified in procedure imon_mouse_event but not declared [2024-10-13 08:47:02,808 ERROR L1136 TypeChecker]: C: descriptor.function = "imon_mouse_event" [5926]: Undeclared identifier #t~ret463 in IdentifierExpression[#t~ret463,] [2024-10-13 08:47:02,808 ERROR L1136 TypeChecker]: C: descriptor.function = "imon_mouse_event" [5926]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret463,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~5,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~5,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,809 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [5927]: Variable #t~ret464 modified in procedure imon_mouse_event but not declared [2024-10-13 08:47:02,809 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [5927]: Undeclared identifier #t~ret464 in IdentifierExpression[#t~ret464,] [2024-10-13 08:47:02,809 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [5927]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret464,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~5,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~5,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,809 ERROR L1136 TypeChecker]: C: descriptor.format = "sending mouse data via input subsystem\n" [5928]: Variable #t~ret465 modified in procedure imon_mouse_event but not declared [2024-10-13 08:47:02,809 ERROR L1136 TypeChecker]: C: descriptor.format = "sending mouse data via input subsystem\n" [5928]: Undeclared identifier #t~ret465 in IdentifierExpression[#t~ret465,] [2024-10-13 08:47:02,809 ERROR L1136 TypeChecker]: C: descriptor.format = "sending mouse data via input subsystem\n" [5928]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret465,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~5,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~5,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,811 ERROR L1136 TypeChecker]: C: descriptor.function = "imon_incoming_packet" [6249]: Variable #t~ret586 modified in procedure imon_incoming_packet but not declared [2024-10-13 08:47:02,811 ERROR L1136 TypeChecker]: C: descriptor.function = "imon_incoming_packet" [6249]: Undeclared identifier #t~ret586 in IdentifierExpression[#t~ret586,] [2024-10-13 08:47:02,812 ERROR L1136 TypeChecker]: C: descriptor.function = "imon_incoming_packet" [6249]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret586,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~6,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~6,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,812 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [6250]: Variable #t~ret587 modified in procedure imon_incoming_packet but not declared [2024-10-13 08:47:02,812 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [6250]: Undeclared identifier #t~ret587 in IdentifierExpression[#t~ret587,] [2024-10-13 08:47:02,812 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [6250]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret587,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~6,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~6,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,814 ERROR L1136 TypeChecker]: C: descriptor.format = "toggling to %s mode\n" [6251]: Variable #t~ret588 modified in procedure imon_incoming_packet but not declared [2024-10-13 08:47:02,815 ERROR L1136 TypeChecker]: C: descriptor.format = "toggling to %s mode\n" [6251]: Undeclared identifier #t~ret588 in IdentifierExpression[#t~ret588,] [2024-10-13 08:47:02,815 ERROR L1136 TypeChecker]: C: descriptor.format = "toggling to %s mode\n" [6251]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret588,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~6,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~6,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,815 ERROR L1136 TypeChecker]: C: descriptor___0.function = "imon_incoming_packet" [6271]: Variable #t~ret594 modified in procedure imon_incoming_packet but not declared [2024-10-13 08:47:02,815 ERROR L1136 TypeChecker]: C: descriptor___0.function = "imon_incoming_packet" [6271]: Undeclared identifier #t~ret594 in IdentifierExpression[#t~ret594,] [2024-10-13 08:47:02,815 ERROR L1136 TypeChecker]: C: descriptor___0.function = "imon_incoming_packet" [6271]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret594,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,815 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "drivers/media/rc/imon.c" [6272]: Variable #t~ret595 modified in procedure imon_incoming_packet but not declared [2024-10-13 08:47:02,815 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "drivers/media/rc/imon.c" [6272]: Undeclared identifier #t~ret595 in IdentifierExpression[#t~ret595,] [2024-10-13 08:47:02,815 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "drivers/media/rc/imon.c" [6272]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret595,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,816 ERROR L1136 TypeChecker]: C: descriptor___0.format = "mouse mode disabled, passing key value\n" [6273]: Variable #t~ret596 modified in procedure imon_incoming_packet but not declared [2024-10-13 08:47:02,816 ERROR L1136 TypeChecker]: C: descriptor___0.format = "mouse mode disabled, passing key value\n" [6273]: Undeclared identifier #t~ret596 in IdentifierExpression[#t~ret596,] [2024-10-13 08:47:02,816 ERROR L1136 TypeChecker]: C: descriptor___0.format = "mouse mode disabled, passing key value\n" [6273]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret596,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,817 ERROR L1136 TypeChecker]: C: rdev->map_name = "rc-imon-mce" [6788]: Variable #t~ret748 modified in procedure imon_init_rdev but not declared [2024-10-13 08:47:02,817 ERROR L1136 TypeChecker]: C: rdev->map_name = "rc-imon-mce" [6788]: Undeclared identifier #t~ret748 in IdentifierExpression[#t~ret748,] [2024-10-13 08:47:02,818 ERROR L1136 TypeChecker]: C: rdev->map_name = "rc-imon-mce" [6788]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret748,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~rdev~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[1396],StructAccessExpression[IdentifierExpression[~rdev~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,818 ERROR L1136 TypeChecker]: C: rdev->map_name = "rc-imon-pad" [6790]: Variable #t~ret749 modified in procedure imon_init_rdev but not declared [2024-10-13 08:47:02,818 ERROR L1136 TypeChecker]: C: rdev->map_name = "rc-imon-pad" [6790]: Undeclared identifier #t~ret749 in IdentifierExpression[#t~ret749,] [2024-10-13 08:47:02,818 ERROR L1136 TypeChecker]: C: rdev->map_name = "rc-imon-pad" [6790]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret749,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~rdev~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[1396],StructAccessExpression[IdentifierExpression[~rdev~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,820 ERROR L1136 TypeChecker]: C: descriptor.function = "imon_find_endpoints" [6955]: Variable #t~ret791 modified in procedure imon_find_endpoints but not declared [2024-10-13 08:47:02,820 ERROR L1136 TypeChecker]: C: descriptor.function = "imon_find_endpoints" [6955]: Undeclared identifier #t~ret791 in IdentifierExpression[#t~ret791,] [2024-10-13 08:47:02,820 ERROR L1136 TypeChecker]: C: descriptor.function = "imon_find_endpoints" [6955]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret791,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~7,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~7,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,820 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [6956]: Variable #t~ret792 modified in procedure imon_find_endpoints but not declared [2024-10-13 08:47:02,820 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [6956]: Undeclared identifier #t~ret792 in IdentifierExpression[#t~ret792,] [2024-10-13 08:47:02,821 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [6956]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret792,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~7,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~7,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,821 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: found IR endpoint\n" [6957]: Variable #t~ret793 modified in procedure imon_find_endpoints but not declared [2024-10-13 08:47:02,822 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: found IR endpoint\n" [6957]: Undeclared identifier #t~ret793 in IdentifierExpression[#t~ret793,] [2024-10-13 08:47:02,822 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: found IR endpoint\n" [6957]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret793,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~7,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~7,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,822 ERROR L1136 TypeChecker]: C: descriptor___0.function = "imon_find_endpoints" [6975]: Variable #t~ret799 modified in procedure imon_find_endpoints but not declared [2024-10-13 08:47:02,822 ERROR L1136 TypeChecker]: C: descriptor___0.function = "imon_find_endpoints" [6975]: Undeclared identifier #t~ret799 in IdentifierExpression[#t~ret799,] [2024-10-13 08:47:02,822 ERROR L1136 TypeChecker]: C: descriptor___0.function = "imon_find_endpoints" [6975]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret799,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,822 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "drivers/media/rc/imon.c" [6976]: Variable #t~ret800 modified in procedure imon_find_endpoints but not declared [2024-10-13 08:47:02,823 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "drivers/media/rc/imon.c" [6976]: Undeclared identifier #t~ret800 in IdentifierExpression[#t~ret800,] [2024-10-13 08:47:02,823 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "drivers/media/rc/imon.c" [6976]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret800,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,823 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s: found display endpoint\n" [6977]: Variable #t~ret801 modified in procedure imon_find_endpoints but not declared [2024-10-13 08:47:02,823 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s: found display endpoint\n" [6977]: Undeclared identifier #t~ret801 in IdentifierExpression[#t~ret801,] [2024-10-13 08:47:02,823 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s: found display endpoint\n" [6977]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret801,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,824 ERROR L1136 TypeChecker]: C: descriptor___1.function = "imon_find_endpoints" [7008]: Variable #t~ret807 modified in procedure imon_find_endpoints but not declared [2024-10-13 08:47:02,824 ERROR L1136 TypeChecker]: C: descriptor___1.function = "imon_find_endpoints" [7008]: Undeclared identifier #t~ret807 in IdentifierExpression[#t~ret807,] [2024-10-13 08:47:02,825 ERROR L1136 TypeChecker]: C: descriptor___1.function = "imon_find_endpoints" [7008]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret807,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___1~1,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,825 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "drivers/media/rc/imon.c" [7009]: Variable #t~ret808 modified in procedure imon_find_endpoints but not declared [2024-10-13 08:47:02,826 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "drivers/media/rc/imon.c" [7009]: Undeclared identifier #t~ret808 in IdentifierExpression[#t~ret808,] [2024-10-13 08:47:02,826 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "drivers/media/rc/imon.c" [7009]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret808,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___1~1,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,826 ERROR L1136 TypeChecker]: C: descriptor___1.format = "%s: device uses control endpoint, not interface OUT endpoint\n" [7010]: Variable #t~ret809 modified in procedure imon_find_endpoints but not declared [2024-10-13 08:47:02,826 ERROR L1136 TypeChecker]: C: descriptor___1.format = "%s: device uses control endpoint, not interface OUT endpoint\n" [7010]: Undeclared identifier #t~ret809 in IdentifierExpression[#t~ret809,] [2024-10-13 08:47:02,827 ERROR L1136 TypeChecker]: C: descriptor___1.format = "%s: device uses control endpoint, not interface OUT endpoint\n" [7010]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret809,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___1~1,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,827 ERROR L1136 TypeChecker]: C: descriptor___2.function = "imon_find_endpoints" [7028]: Variable #t~ret816 modified in procedure imon_find_endpoints but not declared [2024-10-13 08:47:02,827 ERROR L1136 TypeChecker]: C: descriptor___2.function = "imon_find_endpoints" [7028]: Undeclared identifier #t~ret816 in IdentifierExpression[#t~ret816,] [2024-10-13 08:47:02,827 ERROR L1136 TypeChecker]: C: descriptor___2.function = "imon_find_endpoints" [7028]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret816,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,827 ERROR L1136 TypeChecker]: C: descriptor___2.filename = "drivers/media/rc/imon.c" [7029]: Variable #t~ret817 modified in procedure imon_find_endpoints but not declared [2024-10-13 08:47:02,827 ERROR L1136 TypeChecker]: C: descriptor___2.filename = "drivers/media/rc/imon.c" [7029]: Undeclared identifier #t~ret817 in IdentifierExpression[#t~ret817,] [2024-10-13 08:47:02,828 ERROR L1136 TypeChecker]: C: descriptor___2.filename = "drivers/media/rc/imon.c" [7029]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret817,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,828 ERROR L1136 TypeChecker]: C: descriptor___2.format = "%s: device has no display\n" [7030]: Variable #t~ret818 modified in procedure imon_find_endpoints but not declared [2024-10-13 08:47:02,828 ERROR L1136 TypeChecker]: C: descriptor___2.format = "%s: device has no display\n" [7030]: Undeclared identifier #t~ret818 in IdentifierExpression[#t~ret818,] [2024-10-13 08:47:02,828 ERROR L1136 TypeChecker]: C: descriptor___2.format = "%s: device has no display\n" [7030]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret818,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,828 ERROR L1136 TypeChecker]: C: descriptor___3.function = "imon_find_endpoints" [7048]: Variable #t~ret825 modified in procedure imon_find_endpoints but not declared [2024-10-13 08:47:02,828 ERROR L1136 TypeChecker]: C: descriptor___3.function = "imon_find_endpoints" [7048]: Undeclared identifier #t~ret825 in IdentifierExpression[#t~ret825,] [2024-10-13 08:47:02,829 ERROR L1136 TypeChecker]: C: descriptor___3.function = "imon_find_endpoints" [7048]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret825,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,829 ERROR L1136 TypeChecker]: C: descriptor___3.filename = "drivers/media/rc/imon.c" [7049]: Variable #t~ret826 modified in procedure imon_find_endpoints but not declared [2024-10-13 08:47:02,830 ERROR L1136 TypeChecker]: C: descriptor___3.filename = "drivers/media/rc/imon.c" [7049]: Undeclared identifier #t~ret826 in IdentifierExpression[#t~ret826,] [2024-10-13 08:47:02,830 ERROR L1136 TypeChecker]: C: descriptor___3.filename = "drivers/media/rc/imon.c" [7049]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret826,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,830 ERROR L1136 TypeChecker]: C: descriptor___3.format = "%s: iMON Touch device found\n" [7050]: Variable #t~ret827 modified in procedure imon_find_endpoints but not declared [2024-10-13 08:47:02,831 ERROR L1136 TypeChecker]: C: descriptor___3.format = "%s: iMON Touch device found\n" [7050]: Undeclared identifier #t~ret827 in IdentifierExpression[#t~ret827,] [2024-10-13 08:47:02,831 ERROR L1136 TypeChecker]: C: descriptor___3.format = "%s: iMON Touch device found\n" [7050]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret827,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,832 ERROR L1136 TypeChecker]: C: descriptor.function = "imon_init_display" [7335]: Variable #t~ret911 modified in procedure imon_init_display but not declared [2024-10-13 08:47:02,832 ERROR L1136 TypeChecker]: C: descriptor.function = "imon_init_display" [7335]: Undeclared identifier #t~ret911 in IdentifierExpression[#t~ret911,] [2024-10-13 08:47:02,833 ERROR L1136 TypeChecker]: C: descriptor.function = "imon_init_display" [7335]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret911,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~8,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~8,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,833 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [7336]: Variable #t~ret912 modified in procedure imon_init_display but not declared [2024-10-13 08:47:02,833 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [7336]: Undeclared identifier #t~ret912 in IdentifierExpression[#t~ret912,] [2024-10-13 08:47:02,834 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [7336]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret912,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~8,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~8,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,834 ERROR L1136 TypeChecker]: C: descriptor.format = "Registering iMON display with sysfs\n" [7337]: Variable #t~ret913 modified in procedure imon_init_display but not declared [2024-10-13 08:47:02,834 ERROR L1136 TypeChecker]: C: descriptor.format = "Registering iMON display with sysfs\n" [7337]: Undeclared identifier #t~ret913 in IdentifierExpression[#t~ret913,] [2024-10-13 08:47:02,834 ERROR L1136 TypeChecker]: C: descriptor.format = "Registering iMON display with sysfs\n" [7337]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret913,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~8,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~8,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,835 ERROR L1136 TypeChecker]: C: descriptor.function = "imon_probe" [7408]: Variable #t~ret935 modified in procedure imon_probe but not declared [2024-10-13 08:47:02,835 ERROR L1136 TypeChecker]: C: descriptor.function = "imon_probe" [7408]: Undeclared identifier #t~ret935 in IdentifierExpression[#t~ret935,] [2024-10-13 08:47:02,835 ERROR L1136 TypeChecker]: C: descriptor.function = "imon_probe" [7408]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret935,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~9,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~9,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,835 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [7409]: Variable #t~ret936 modified in procedure imon_probe but not declared [2024-10-13 08:47:02,835 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [7409]: Undeclared identifier #t~ret936 in IdentifierExpression[#t~ret936,] [2024-10-13 08:47:02,835 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [7409]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret936,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~9,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~9,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,836 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: found iMON device (%04x:%04x, intf%d)\n" [7410]: Variable #t~ret937 modified in procedure imon_probe but not declared [2024-10-13 08:47:02,836 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: found iMON device (%04x:%04x, intf%d)\n" [7410]: Undeclared identifier #t~ret937 in IdentifierExpression[#t~ret937,] [2024-10-13 08:47:02,836 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: found iMON device (%04x:%04x, intf%d)\n" [7410]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret937,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~9,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~9,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,836 ERROR L1136 TypeChecker]: C: descriptor.function = "imon_disconnect" [7572]: Variable #t~ret982 modified in procedure imon_disconnect but not declared [2024-10-13 08:47:02,837 ERROR L1136 TypeChecker]: C: descriptor.function = "imon_disconnect" [7572]: Undeclared identifier #t~ret982 in IdentifierExpression[#t~ret982,] [2024-10-13 08:47:02,837 ERROR L1136 TypeChecker]: C: descriptor.function = "imon_disconnect" [7572]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret982,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~10,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~10,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,837 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [7573]: Variable #t~ret983 modified in procedure imon_disconnect but not declared [2024-10-13 08:47:02,837 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [7573]: Undeclared identifier #t~ret983 in IdentifierExpression[#t~ret983,] [2024-10-13 08:47:02,838 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [7573]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret983,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~10,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~10,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,838 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: iMON device (intf%d) disconnected\n" [7574]: Variable #t~ret984 modified in procedure imon_disconnect but not declared [2024-10-13 08:47:02,838 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: iMON device (intf%d) disconnected\n" [7574]: Undeclared identifier #t~ret984 in IdentifierExpression[#t~ret984,] [2024-10-13 08:47:02,838 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: iMON device (intf%d) disconnected\n" [7574]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret984,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~10,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~10,],offset]]]],IntegerLiteral[8]]] [2024-10-13 08:47:02,845 INFO L184 PluginConnector]: Executing the observer Inliner from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.10 08:47:02" (1/1) ... [2024-10-13 08:47:02,847 INFO L131 PluginConnector]: ------------------------ END Boogie Procedure Inliner---------------------------- [2024-10-13 08:47:02,847 INFO L186 ToolchainWalker]: Toolchain execution was canceled (user or tool) before executing de.uni_freiburg.informatik.ultimate.boogie.preprocessor [2024-10-13 08:47:02,848 INFO L158 Benchmark]: Toolchain (without parser) took 2679.27ms. Allocated memory was 178.3MB in the beginning and 285.2MB in the end (delta: 107.0MB). Free memory was 135.0MB in the beginning and 192.9MB in the end (delta: -57.9MB). Peak memory consumption was 50.1MB. Max. memory is 16.1GB. [2024-10-13 08:47:02,849 INFO L158 Benchmark]: CDTParser took 0.14ms. Allocated memory is still 121.6MB. Free memory is still 81.8MB. There was no memory consumed. Max. memory is 16.1GB. [2024-10-13 08:47:02,849 INFO L158 Benchmark]: CACSL2BoogieTranslator took 2547.30ms. Allocated memory was 178.3MB in the beginning and 285.2MB in the end (delta: 107.0MB). Free memory was 135.0MB in the beginning and 208.7MB in the end (delta: -73.6MB). Peak memory consumption was 134.0MB. Max. memory is 16.1GB. [2024-10-13 08:47:02,850 INFO L158 Benchmark]: Boogie Procedure Inliner took 129.18ms. Allocated memory is still 285.2MB. Free memory was 208.7MB in the beginning and 192.9MB in the end (delta: 15.7MB). Peak memory consumption was 16.8MB. Max. memory is 16.1GB. [2024-10-13 08:47:02,851 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 121.6MB. Free memory is still 81.8MB. There was no memory consumed. Max. memory is 16.1GB. * CACSL2BoogieTranslator took 2547.30ms. Allocated memory was 178.3MB in the beginning and 285.2MB in the end (delta: 107.0MB). Free memory was 135.0MB in the beginning and 208.7MB in the end (delta: -73.6MB). Peak memory consumption was 134.0MB. Max. memory is 16.1GB. * Boogie Procedure Inliner took 129.18ms. Allocated memory is still 285.2MB. Free memory was 208.7MB in the beginning and 192.9MB in the end (delta: 15.7MB). Peak memory consumption was 16.8MB. Max. memory is 16.1GB. * Results from de.uni_freiburg.informatik.ultimate.boogie.preprocessor: - TypeErrorResult [Line: 4408]: Type Error Variable #t~ret136 modified in procedure free_imon_context but not declared - TypeErrorResult [Line: 4408]: Type Error Undeclared identifier #t~ret136 in IdentifierExpression[#t~ret136,] - TypeErrorResult [Line: 4408]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret136,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 4409]: Type Error Variable #t~ret137 modified in procedure free_imon_context but not declared - TypeErrorResult [Line: 4409]: Type Error Undeclared identifier #t~ret137 in IdentifierExpression[#t~ret137,] - TypeErrorResult [Line: 4409]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret137,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 4410]: Type Error Variable #t~ret138 modified in procedure free_imon_context but not declared - TypeErrorResult [Line: 4410]: Type Error Undeclared identifier #t~ret138 in IdentifierExpression[#t~ret138,] - TypeErrorResult [Line: 4410]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret138,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 4483]: Type Error Variable #t~ret156 modified in procedure display_open but not declared - TypeErrorResult [Line: 4483]: Type Error Undeclared identifier #t~ret156 in IdentifierExpression[#t~ret156,] - TypeErrorResult [Line: 4483]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret156,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 4484]: Type Error Variable #t~ret157 modified in procedure display_open but not declared - TypeErrorResult [Line: 4484]: Type Error Undeclared identifier #t~ret157 in IdentifierExpression[#t~ret157,] - TypeErrorResult [Line: 4484]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret157,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 4485]: Type Error Variable #t~ret158 modified in procedure display_open but not declared - TypeErrorResult [Line: 4485]: Type Error Undeclared identifier #t~ret158 in IdentifierExpression[#t~ret158,] - TypeErrorResult [Line: 4485]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret158,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 4542]: Type Error Variable #t~ret173 modified in procedure display_close but not declared - TypeErrorResult [Line: 4542]: Type Error Undeclared identifier #t~ret173 in IdentifierExpression[#t~ret173,] - TypeErrorResult [Line: 4542]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret173,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~2,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 4543]: Type Error Variable #t~ret174 modified in procedure display_close but not declared - TypeErrorResult [Line: 4543]: Type Error Undeclared identifier #t~ret174 in IdentifierExpression[#t~ret174,] - TypeErrorResult [Line: 4543]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret174,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~2,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 4544]: Type Error Variable #t~ret175 modified in procedure display_close but not declared - TypeErrorResult [Line: 4544]: Type Error Undeclared identifier #t~ret175 in IdentifierExpression[#t~ret175,] - TypeErrorResult [Line: 4544]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret175,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~2,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 4635]: Type Error Variable #t~ret200 modified in procedure send_packet but not declared - TypeErrorResult [Line: 4635]: Type Error Undeclared identifier #t~ret200 in IdentifierExpression[#t~ret200,] - TypeErrorResult [Line: 4635]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret200,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[44],StructAccessExpression[IdentifierExpression[~#_rs~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 4666]: Type Error Variable #t~ret207 modified in procedure send_packet but not declared - TypeErrorResult [Line: 4666]: Type Error Undeclared identifier #t~ret207 in IdentifierExpression[#t~ret207,] - TypeErrorResult [Line: 4666]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret207,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs___0~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[44],StructAccessExpression[IdentifierExpression[~#_rs___0~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 4697]: Type Error Variable #t~ret213 modified in procedure send_packet but not declared - TypeErrorResult [Line: 4697]: Type Error Undeclared identifier #t~ret213 in IdentifierExpression[#t~ret213,] - TypeErrorResult [Line: 4697]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret213,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs___1~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[44],StructAccessExpression[IdentifierExpression[~#_rs___1~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5123]: Type Error Variable #t~ret272 modified in procedure vfd_write but not declared - TypeErrorResult [Line: 5123]: Type Error Undeclared identifier #t~ret272 in IdentifierExpression[#t~ret272,] - TypeErrorResult [Line: 5123]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret272,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[44],StructAccessExpression[IdentifierExpression[~#_rs~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5154]: Type Error Variable #t~ret278 modified in procedure vfd_write but not declared - TypeErrorResult [Line: 5154]: Type Error Undeclared identifier #t~ret278 in IdentifierExpression[#t~ret278,] - TypeErrorResult [Line: 5154]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret278,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs___0~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[44],StructAccessExpression[IdentifierExpression[~#_rs___0~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5183]: Type Error Variable #t~ret283 modified in procedure vfd_write but not declared - TypeErrorResult [Line: 5183]: Type Error Undeclared identifier #t~ret283 in IdentifierExpression[#t~ret283,] - TypeErrorResult [Line: 5183]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret283,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs___1~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[44],StructAccessExpression[IdentifierExpression[~#_rs___1~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5249]: Type Error Variable #t~ret291 modified in procedure vfd_write but not declared - TypeErrorResult [Line: 5249]: Type Error Undeclared identifier #t~ret291 in IdentifierExpression[#t~ret291,] - TypeErrorResult [Line: 5249]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret291,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs___2~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[44],StructAccessExpression[IdentifierExpression[~#_rs___2~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5288]: Type Error Variable #t~ret298 modified in procedure vfd_write but not declared - TypeErrorResult [Line: 5288]: Type Error Undeclared identifier #t~ret298 in IdentifierExpression[#t~ret298,] - TypeErrorResult [Line: 5288]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret298,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs___3~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[44],StructAccessExpression[IdentifierExpression[~#_rs___3~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5341]: Type Error Variable #t~ret304 modified in procedure lcd_write but not declared - TypeErrorResult [Line: 5341]: Type Error Undeclared identifier #t~ret304 in IdentifierExpression[#t~ret304,] - TypeErrorResult [Line: 5341]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret304,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[44],StructAccessExpression[IdentifierExpression[~#_rs~2,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5372]: Type Error Variable #t~ret310 modified in procedure lcd_write but not declared - TypeErrorResult [Line: 5372]: Type Error Undeclared identifier #t~ret310 in IdentifierExpression[#t~ret310,] - TypeErrorResult [Line: 5372]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret310,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs___0~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[44],StructAccessExpression[IdentifierExpression[~#_rs___0~2,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5401]: Type Error Variable #t~ret315 modified in procedure lcd_write but not declared - TypeErrorResult [Line: 5401]: Type Error Undeclared identifier #t~ret315 in IdentifierExpression[#t~ret315,] - TypeErrorResult [Line: 5401]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret315,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs___1~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[44],StructAccessExpression[IdentifierExpression[~#_rs___1~2,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5441]: Type Error Variable #t~ret322 modified in procedure lcd_write but not declared - TypeErrorResult [Line: 5441]: Type Error Undeclared identifier #t~ret322 in IdentifierExpression[#t~ret322,] - TypeErrorResult [Line: 5441]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret322,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs___2~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[44],StructAccessExpression[IdentifierExpression[~#_rs___2~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5461]: Type Error Variable #t~ret327 modified in procedure lcd_write but not declared - TypeErrorResult [Line: 5461]: Type Error Undeclared identifier #t~ret327 in IdentifierExpression[#t~ret327,] - TypeErrorResult [Line: 5461]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret327,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~3,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5462]: Type Error Variable #t~ret328 modified in procedure lcd_write but not declared - TypeErrorResult [Line: 5462]: Type Error Undeclared identifier #t~ret328 in IdentifierExpression[#t~ret328,] - TypeErrorResult [Line: 5462]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret328,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~3,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5463]: Type Error Variable #t~ret329 modified in procedure lcd_write but not declared - TypeErrorResult [Line: 5463]: Type Error Undeclared identifier #t~ret329 in IdentifierExpression[#t~ret329,] - TypeErrorResult [Line: 5463]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret329,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~3,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5560]: Type Error Variable #t~ret355 modified in procedure imon_ir_change_protocol but not declared - TypeErrorResult [Line: 5560]: Type Error Undeclared identifier #t~ret355 in IdentifierExpression[#t~ret355,] - TypeErrorResult [Line: 5560]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret355,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~4,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~4,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5561]: Type Error Variable #t~ret356 modified in procedure imon_ir_change_protocol but not declared - TypeErrorResult [Line: 5561]: Type Error Undeclared identifier #t~ret356 in IdentifierExpression[#t~ret356,] - TypeErrorResult [Line: 5561]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret356,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~4,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~4,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5562]: Type Error Variable #t~ret357 modified in procedure imon_ir_change_protocol but not declared - TypeErrorResult [Line: 5562]: Type Error Undeclared identifier #t~ret357 in IdentifierExpression[#t~ret357,] - TypeErrorResult [Line: 5562]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret357,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~4,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~4,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5579]: Type Error Variable #t~ret364 modified in procedure imon_ir_change_protocol but not declared - TypeErrorResult [Line: 5579]: Type Error Undeclared identifier #t~ret364 in IdentifierExpression[#t~ret364,] - TypeErrorResult [Line: 5579]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret364,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5580]: Type Error Variable #t~ret365 modified in procedure imon_ir_change_protocol but not declared - TypeErrorResult [Line: 5580]: Type Error Undeclared identifier #t~ret365 in IdentifierExpression[#t~ret365,] - TypeErrorResult [Line: 5580]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret365,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5581]: Type Error Variable #t~ret366 modified in procedure imon_ir_change_protocol but not declared - TypeErrorResult [Line: 5581]: Type Error Undeclared identifier #t~ret366 in IdentifierExpression[#t~ret366,] - TypeErrorResult [Line: 5581]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret366,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5595]: Type Error Variable #t~ret371 modified in procedure imon_ir_change_protocol but not declared - TypeErrorResult [Line: 5595]: Type Error Undeclared identifier #t~ret371 in IdentifierExpression[#t~ret371,] - TypeErrorResult [Line: 5595]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret371,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___1~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5596]: Type Error Variable #t~ret372 modified in procedure imon_ir_change_protocol but not declared - TypeErrorResult [Line: 5596]: Type Error Undeclared identifier #t~ret372 in IdentifierExpression[#t~ret372,] - TypeErrorResult [Line: 5596]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret372,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___1~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5597]: Type Error Variable #t~ret373 modified in procedure imon_ir_change_protocol but not declared - TypeErrorResult [Line: 5597]: Type Error Undeclared identifier #t~ret373 in IdentifierExpression[#t~ret373,] - TypeErrorResult [Line: 5597]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret373,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___1~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5618]: Type Error Variable #t~ret380 modified in procedure imon_ir_change_protocol but not declared - TypeErrorResult [Line: 5618]: Type Error Undeclared identifier #t~ret380 in IdentifierExpression[#t~ret380,] - TypeErrorResult [Line: 5618]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret380,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5619]: Type Error Variable #t~ret381 modified in procedure imon_ir_change_protocol but not declared - TypeErrorResult [Line: 5619]: Type Error Undeclared identifier #t~ret381 in IdentifierExpression[#t~ret381,] - TypeErrorResult [Line: 5619]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret381,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5620]: Type Error Variable #t~ret382 modified in procedure imon_ir_change_protocol but not declared - TypeErrorResult [Line: 5620]: Type Error Undeclared identifier #t~ret382 in IdentifierExpression[#t~ret382,] - TypeErrorResult [Line: 5620]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret382,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5926]: Type Error Variable #t~ret463 modified in procedure imon_mouse_event but not declared - TypeErrorResult [Line: 5926]: Type Error Undeclared identifier #t~ret463 in IdentifierExpression[#t~ret463,] - TypeErrorResult [Line: 5926]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret463,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~5,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~5,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5927]: Type Error Variable #t~ret464 modified in procedure imon_mouse_event but not declared - TypeErrorResult [Line: 5927]: Type Error Undeclared identifier #t~ret464 in IdentifierExpression[#t~ret464,] - TypeErrorResult [Line: 5927]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret464,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~5,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~5,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5928]: Type Error Variable #t~ret465 modified in procedure imon_mouse_event but not declared - TypeErrorResult [Line: 5928]: Type Error Undeclared identifier #t~ret465 in IdentifierExpression[#t~ret465,] - TypeErrorResult [Line: 5928]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret465,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~5,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~5,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6249]: Type Error Variable #t~ret586 modified in procedure imon_incoming_packet but not declared - TypeErrorResult [Line: 6249]: Type Error Undeclared identifier #t~ret586 in IdentifierExpression[#t~ret586,] - TypeErrorResult [Line: 6249]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret586,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~6,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~6,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6250]: Type Error Variable #t~ret587 modified in procedure imon_incoming_packet but not declared - TypeErrorResult [Line: 6250]: Type Error Undeclared identifier #t~ret587 in IdentifierExpression[#t~ret587,] - TypeErrorResult [Line: 6250]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret587,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~6,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~6,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6251]: Type Error Variable #t~ret588 modified in procedure imon_incoming_packet but not declared - TypeErrorResult [Line: 6251]: Type Error Undeclared identifier #t~ret588 in IdentifierExpression[#t~ret588,] - TypeErrorResult [Line: 6251]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret588,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~6,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~6,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6271]: Type Error Variable #t~ret594 modified in procedure imon_incoming_packet but not declared - TypeErrorResult [Line: 6271]: Type Error Undeclared identifier #t~ret594 in IdentifierExpression[#t~ret594,] - TypeErrorResult [Line: 6271]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret594,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6272]: Type Error Variable #t~ret595 modified in procedure imon_incoming_packet but not declared - TypeErrorResult [Line: 6272]: Type Error Undeclared identifier #t~ret595 in IdentifierExpression[#t~ret595,] - TypeErrorResult [Line: 6272]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret595,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6273]: Type Error Variable #t~ret596 modified in procedure imon_incoming_packet but not declared - TypeErrorResult [Line: 6273]: Type Error Undeclared identifier #t~ret596 in IdentifierExpression[#t~ret596,] - TypeErrorResult [Line: 6273]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret596,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6788]: Type Error Variable #t~ret748 modified in procedure imon_init_rdev but not declared - TypeErrorResult [Line: 6788]: Type Error Undeclared identifier #t~ret748 in IdentifierExpression[#t~ret748,] - TypeErrorResult [Line: 6788]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret748,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~rdev~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[1396],StructAccessExpression[IdentifierExpression[~rdev~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6790]: Type Error Variable #t~ret749 modified in procedure imon_init_rdev but not declared - TypeErrorResult [Line: 6790]: Type Error Undeclared identifier #t~ret749 in IdentifierExpression[#t~ret749,] - TypeErrorResult [Line: 6790]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret749,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~rdev~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[1396],StructAccessExpression[IdentifierExpression[~rdev~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6955]: Type Error Variable #t~ret791 modified in procedure imon_find_endpoints but not declared - TypeErrorResult [Line: 6955]: Type Error Undeclared identifier #t~ret791 in IdentifierExpression[#t~ret791,] - TypeErrorResult [Line: 6955]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret791,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~7,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~7,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6956]: Type Error Variable #t~ret792 modified in procedure imon_find_endpoints but not declared - TypeErrorResult [Line: 6956]: Type Error Undeclared identifier #t~ret792 in IdentifierExpression[#t~ret792,] - TypeErrorResult [Line: 6956]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret792,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~7,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~7,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6957]: Type Error Variable #t~ret793 modified in procedure imon_find_endpoints but not declared - TypeErrorResult [Line: 6957]: Type Error Undeclared identifier #t~ret793 in IdentifierExpression[#t~ret793,] - TypeErrorResult [Line: 6957]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret793,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~7,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~7,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6975]: Type Error Variable #t~ret799 modified in procedure imon_find_endpoints but not declared - TypeErrorResult [Line: 6975]: Type Error Undeclared identifier #t~ret799 in IdentifierExpression[#t~ret799,] - TypeErrorResult [Line: 6975]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret799,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6976]: Type Error Variable #t~ret800 modified in procedure imon_find_endpoints but not declared - TypeErrorResult [Line: 6976]: Type Error Undeclared identifier #t~ret800 in IdentifierExpression[#t~ret800,] - TypeErrorResult [Line: 6976]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret800,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6977]: Type Error Variable #t~ret801 modified in procedure imon_find_endpoints but not declared - TypeErrorResult [Line: 6977]: Type Error Undeclared identifier #t~ret801 in IdentifierExpression[#t~ret801,] - TypeErrorResult [Line: 6977]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret801,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7008]: Type Error Variable #t~ret807 modified in procedure imon_find_endpoints but not declared - TypeErrorResult [Line: 7008]: Type Error Undeclared identifier #t~ret807 in IdentifierExpression[#t~ret807,] - TypeErrorResult [Line: 7008]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret807,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___1~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7009]: Type Error Variable #t~ret808 modified in procedure imon_find_endpoints but not declared - TypeErrorResult [Line: 7009]: Type Error Undeclared identifier #t~ret808 in IdentifierExpression[#t~ret808,] - TypeErrorResult [Line: 7009]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret808,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___1~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7010]: Type Error Variable #t~ret809 modified in procedure imon_find_endpoints but not declared - TypeErrorResult [Line: 7010]: Type Error Undeclared identifier #t~ret809 in IdentifierExpression[#t~ret809,] - TypeErrorResult [Line: 7010]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret809,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___1~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7028]: Type Error Variable #t~ret816 modified in procedure imon_find_endpoints but not declared - TypeErrorResult [Line: 7028]: Type Error Undeclared identifier #t~ret816 in IdentifierExpression[#t~ret816,] - TypeErrorResult [Line: 7028]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret816,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7029]: Type Error Variable #t~ret817 modified in procedure imon_find_endpoints but not declared - TypeErrorResult [Line: 7029]: Type Error Undeclared identifier #t~ret817 in IdentifierExpression[#t~ret817,] - TypeErrorResult [Line: 7029]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret817,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7030]: Type Error Variable #t~ret818 modified in procedure imon_find_endpoints but not declared - TypeErrorResult [Line: 7030]: Type Error Undeclared identifier #t~ret818 in IdentifierExpression[#t~ret818,] - TypeErrorResult [Line: 7030]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret818,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7048]: Type Error Variable #t~ret825 modified in procedure imon_find_endpoints but not declared - TypeErrorResult [Line: 7048]: Type Error Undeclared identifier #t~ret825 in IdentifierExpression[#t~ret825,] - TypeErrorResult [Line: 7048]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret825,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7049]: Type Error Variable #t~ret826 modified in procedure imon_find_endpoints but not declared - TypeErrorResult [Line: 7049]: Type Error Undeclared identifier #t~ret826 in IdentifierExpression[#t~ret826,] - TypeErrorResult [Line: 7049]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret826,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7050]: Type Error Variable #t~ret827 modified in procedure imon_find_endpoints but not declared - TypeErrorResult [Line: 7050]: Type Error Undeclared identifier #t~ret827 in IdentifierExpression[#t~ret827,] - TypeErrorResult [Line: 7050]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret827,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7335]: Type Error Variable #t~ret911 modified in procedure imon_init_display but not declared - TypeErrorResult [Line: 7335]: Type Error Undeclared identifier #t~ret911 in IdentifierExpression[#t~ret911,] - TypeErrorResult [Line: 7335]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret911,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~8,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~8,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7336]: Type Error Variable #t~ret912 modified in procedure imon_init_display but not declared - TypeErrorResult [Line: 7336]: Type Error Undeclared identifier #t~ret912 in IdentifierExpression[#t~ret912,] - TypeErrorResult [Line: 7336]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret912,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~8,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~8,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7337]: Type Error Variable #t~ret913 modified in procedure imon_init_display but not declared - TypeErrorResult [Line: 7337]: Type Error Undeclared identifier #t~ret913 in IdentifierExpression[#t~ret913,] - TypeErrorResult [Line: 7337]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret913,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~8,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~8,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7408]: Type Error Variable #t~ret935 modified in procedure imon_probe but not declared - TypeErrorResult [Line: 7408]: Type Error Undeclared identifier #t~ret935 in IdentifierExpression[#t~ret935,] - TypeErrorResult [Line: 7408]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret935,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~9,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~9,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7409]: Type Error Variable #t~ret936 modified in procedure imon_probe but not declared - TypeErrorResult [Line: 7409]: Type Error Undeclared identifier #t~ret936 in IdentifierExpression[#t~ret936,] - TypeErrorResult [Line: 7409]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret936,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~9,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~9,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7410]: Type Error Variable #t~ret937 modified in procedure imon_probe but not declared - TypeErrorResult [Line: 7410]: Type Error Undeclared identifier #t~ret937 in IdentifierExpression[#t~ret937,] - TypeErrorResult [Line: 7410]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret937,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~9,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~9,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7572]: Type Error Variable #t~ret982 modified in procedure imon_disconnect but not declared - TypeErrorResult [Line: 7572]: Type Error Undeclared identifier #t~ret982 in IdentifierExpression[#t~ret982,] - TypeErrorResult [Line: 7572]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret982,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~10,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~10,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7573]: Type Error Variable #t~ret983 modified in procedure imon_disconnect but not declared - TypeErrorResult [Line: 7573]: Type Error Undeclared identifier #t~ret983 in IdentifierExpression[#t~ret983,] - TypeErrorResult [Line: 7573]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret983,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~10,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~10,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7574]: Type Error Variable #t~ret984 modified in procedure imon_disconnect but not declared - TypeErrorResult [Line: 7574]: Type Error Undeclared identifier #t~ret984 in IdentifierExpression[#t~ret984,] - TypeErrorResult [Line: 7574]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret984,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~10,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~10,],offset]]]],IntegerLiteral[8]]] * Results from de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: - GenericResultAtLocation [Line: 3837]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("bts %1,%0": "+m" (*((long volatile *)addr)): "Ir" (nr): "memory"); [3837] - GenericResultAtLocation [Line: 3892]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("movb %%gs:%P1,%0": "=q" (pfo_ret__): "p" (& current_task)); [3892] - GenericResultAtLocation [Line: 3895]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("movw %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& current_task)); [3895] - GenericResultAtLocation [Line: 3898]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("movl %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& current_task)); [3898] - GenericResultAtLocation [Line: 3901]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("movq %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& current_task)); [3901] - GenericResultAtLocation [Line: 4621]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("": : : "memory"); [4621] - GenericResultAtLocation [Line: 4627]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("": : : "memory"); [4627] - GenericResultAtLocation [Line: 4742]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("xchgb %b0, %1\n": "+q" (__ret), "+m" (tmp___5->state): : "memory", "cc"); [4742-4743] - GenericResultAtLocation [Line: 4749]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("xchgw %w0, %1\n": "+r" (__ret), "+m" (tmp___6->state): : "memory", "cc"); [4749-4750] - GenericResultAtLocation [Line: 4756]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("xchgl %0, %1\n": "+r" (__ret), "+m" (tmp___7->state): : "memory", "cc"); [4756-4757] - GenericResultAtLocation [Line: 4763]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("xchgq %q0, %1\n": "+r" (__ret), "+m" (tmp___8->state): : "memory", "cc"); [4763-4764] - GenericResultAtLocation [Line: 5499]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("": : : "memory"); [5499] 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-challenges/linux-3.14_complex_emg_linux-alloc-spinlock_drivers-media-rc-imon.cil.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 5a536358e61e0a2255e3ce0de609a7b791794491b46be2e56aac063bb1d719b1 --- Real Ultimate output --- This is Ultimate 0.2.5-tmp.dk.eval-mul-div-a046e57-m [2024-10-13 08:47:04,520 INFO L188 SettingsManager]: Resetting all preferences to default values... [2024-10-13 08:47:04,587 INFO L114 SettingsManager]: Loading settings from /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/config/svcomp-Reach-64bit-Automizer_Bitvector.epf [2024-10-13 08:47:04,593 WARN L101 SettingsManager]: Preference file contains the following unknown settings: [2024-10-13 08:47:04,593 WARN L103 SettingsManager]: * de.uni_freiburg.informatik.ultimate.core.Log level for class [2024-10-13 08:47:04,623 INFO L130 SettingsManager]: Preferences different from defaults after loading the file: [2024-10-13 08:47:04,624 INFO L151 SettingsManager]: Preferences of UltimateCore differ from their defaults: [2024-10-13 08:47:04,624 INFO L153 SettingsManager]: * Log level for class=de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=ERROR; [2024-10-13 08:47:04,625 INFO L151 SettingsManager]: Preferences of Boogie Preprocessor differ from their defaults: [2024-10-13 08:47:04,625 INFO L153 SettingsManager]: * Use memory slicer=true [2024-10-13 08:47:04,625 INFO L151 SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults: [2024-10-13 08:47:04,625 INFO L153 SettingsManager]: * Ignore calls to procedures called more than once=ONLY_FOR_SEQUENTIAL_PROGRAMS [2024-10-13 08:47:04,626 INFO L151 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2024-10-13 08:47:04,626 INFO L153 SettingsManager]: * Create parallel compositions if possible=false [2024-10-13 08:47:04,626 INFO L153 SettingsManager]: * Use SBE=true [2024-10-13 08:47:04,626 INFO L151 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2024-10-13 08:47:04,627 INFO L153 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2024-10-13 08:47:04,627 INFO L153 SettingsManager]: * Check division by zero=IGNORE [2024-10-13 08:47:04,629 INFO L153 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2024-10-13 08:47:04,630 INFO L153 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2024-10-13 08:47:04,630 INFO L153 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2024-10-13 08:47:04,633 INFO L153 SettingsManager]: * Adapt memory model on pointer casts if necessary=true [2024-10-13 08:47:04,633 INFO L153 SettingsManager]: * Use bitvectors instead of ints=true [2024-10-13 08:47:04,633 INFO L153 SettingsManager]: * Allow undefined functions=false [2024-10-13 08:47:04,633 INFO L153 SettingsManager]: * Memory model=HoenickeLindenmann_4ByteResolution [2024-10-13 08:47:04,633 INFO L153 SettingsManager]: * Check if freed pointer was valid=false [2024-10-13 08:47:04,633 INFO L153 SettingsManager]: * Use constant arrays=true [2024-10-13 08:47:04,634 INFO L151 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2024-10-13 08:47:04,634 INFO L153 SettingsManager]: * Size of a code block=SequenceOfStatements [2024-10-13 08:47:04,634 INFO L153 SettingsManager]: * Only consider context switches at boundaries of atomic blocks=true [2024-10-13 08:47:04,634 INFO L153 SettingsManager]: * SMT solver=External_DefaultMode [2024-10-13 08:47:04,634 INFO L153 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:4000 [2024-10-13 08:47:04,634 INFO L151 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2024-10-13 08:47:04,635 INFO L153 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2024-10-13 08:47:04,635 INFO L153 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopHeads [2024-10-13 08:47:04,647 INFO L153 SettingsManager]: * Trace refinement strategy=WOLF [2024-10-13 08:47:04,647 INFO L153 SettingsManager]: * Command for external solver=cvc4 --incremental --print-success --lang smt [2024-10-13 08:47:04,648 INFO L153 SettingsManager]: * Apply one-shot large block encoding in concurrent analysis=false [2024-10-13 08:47:04,648 INFO L153 SettingsManager]: * Automaton type used in concurrency analysis=PETRI_NET [2024-10-13 08:47:04,648 INFO L153 SettingsManager]: * Order on configurations for Petri net unfoldings=DBO [2024-10-13 08:47:04,649 INFO L153 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2024-10-13 08:47:04,649 INFO L153 SettingsManager]: * Logic for external solver=AUFBV [2024-10-13 08:47:04,649 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 -> 5a536358e61e0a2255e3ce0de609a7b791794491b46be2e56aac063bb1d719b1 [2024-10-13 08:47:04,915 INFO L75 nceAwareModelManager]: Repository-Root is: /tmp [2024-10-13 08:47:04,933 INFO L261 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2024-10-13 08:47:04,935 INFO L217 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2024-10-13 08:47:04,936 INFO L270 PluginConnector]: Initializing CDTParser... [2024-10-13 08:47:04,936 INFO L274 PluginConnector]: CDTParser initialized [2024-10-13 08:47:04,937 INFO L431 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/ldv-challenges/linux-3.14_complex_emg_linux-alloc-spinlock_drivers-media-rc-imon.cil.i [2024-10-13 08:47:06,256 INFO L533 CDTParser]: Created temporary CDT project at NULL [2024-10-13 08:47:06,651 INFO L384 CDTParser]: Found 1 translation units. [2024-10-13 08:47:06,653 INFO L180 CDTParser]: Scanning /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/ldv-challenges/linux-3.14_complex_emg_linux-alloc-spinlock_drivers-media-rc-imon.cil.i [2024-10-13 08:47:06,695 INFO L427 CDTParser]: About to delete temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/c8635a85e/5058b2d1097e4350a23b1c89c77ee763/FLAG794c275ca [2024-10-13 08:47:06,834 INFO L435 CDTParser]: Successfully deleted /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/c8635a85e/5058b2d1097e4350a23b1c89c77ee763 [2024-10-13 08:47:06,836 INFO L299 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2024-10-13 08:47:06,837 INFO L133 ToolchainWalker]: Walking toolchain with 6 elements. [2024-10-13 08:47:06,838 INFO L112 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2024-10-13 08:47:06,838 INFO L270 PluginConnector]: Initializing CACSL2BoogieTranslator... [2024-10-13 08:47:06,842 INFO L274 PluginConnector]: CACSL2BoogieTranslator initialized [2024-10-13 08:47:06,842 INFO L184 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 13.10 08:47:06" (1/1) ... [2024-10-13 08:47:06,843 INFO L204 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@1c920220 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.10 08:47:06, skipping insertion in model container [2024-10-13 08:47:06,843 INFO L184 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 13.10 08:47:06" (1/1) ... [2024-10-13 08:47:06,948 INFO L175 MainTranslator]: Built tables and reachable declarations [2024-10-13 08:47:08,606 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-challenges/linux-3.14_complex_emg_linux-alloc-spinlock_drivers-media-rc-imon.cil.i[293480,293493] [2024-10-13 08:47:08,609 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-challenges/linux-3.14_complex_emg_linux-alloc-spinlock_drivers-media-rc-imon.cil.i[293625,293638] [2024-10-13 08:47:08,625 INFO L210 PostProcessor]: Analyzing one entry point: main [2024-10-13 08:47:08,675 INFO L197 MainTranslator]: Restarting translation with changed settings: SettingsChange [mNewPreferredMemoryModel=HoenickeLindenmann_1ByteResolution] [2024-10-13 08:47:08,754 INFO L175 MainTranslator]: Built tables and reachable declarations [2024-10-13 08:47:09,000 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-challenges/linux-3.14_complex_emg_linux-alloc-spinlock_drivers-media-rc-imon.cil.i[293480,293493] [2024-10-13 08:47:09,001 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-challenges/linux-3.14_complex_emg_linux-alloc-spinlock_drivers-media-rc-imon.cil.i[293625,293638] [2024-10-13 08:47:09,004 INFO L210 PostProcessor]: Analyzing one entry point: main [2024-10-13 08:47:09,021 INFO L200 MainTranslator]: Completed pre-run [2024-10-13 08:47:09,120 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("bts %1,%0": "+m" (*((long volatile *)addr)): "Ir" (nr): "memory"); [3837] [2024-10-13 08:47:09,124 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("movb %%gs:%P1,%0": "=q" (pfo_ret__): "p" (& current_task)); [3892] [2024-10-13 08:47:09,124 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("movw %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& current_task)); [3895] [2024-10-13 08:47:09,124 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("movl %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& current_task)); [3898] [2024-10-13 08:47:09,125 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("movq %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& current_task)); [3901] [2024-10-13 08:47:09,154 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("": : : "memory"); [4621] [2024-10-13 08:47:09,155 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("": : : "memory"); [4627] [2024-10-13 08:47:09,160 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("xchgb %b0, %1\n": "+q" (__ret), "+m" (tmp___5->state): : "memory", "cc"); [4742-4743] [2024-10-13 08:47:09,160 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("xchgw %w0, %1\n": "+r" (__ret), "+m" (tmp___6->state): : "memory", "cc"); [4749-4750] [2024-10-13 08:47:09,161 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("xchgl %0, %1\n": "+r" (__ret), "+m" (tmp___7->state): : "memory", "cc"); [4756-4757] [2024-10-13 08:47:09,161 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("xchgq %q0, %1\n": "+r" (__ret), "+m" (tmp___8->state): : "memory", "cc"); [4763-4764] [2024-10-13 08:47:09,193 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("": : : "memory"); [5499] [2024-10-13 08:47:09,323 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-challenges/linux-3.14_complex_emg_linux-alloc-spinlock_drivers-media-rc-imon.cil.i[293480,293493] [2024-10-13 08:47:09,327 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-challenges/linux-3.14_complex_emg_linux-alloc-spinlock_drivers-media-rc-imon.cil.i[293625,293638] [2024-10-13 08:47:09,330 INFO L210 PostProcessor]: Analyzing one entry point: main [2024-10-13 08:47:09,445 INFO L204 MainTranslator]: Completed translation [2024-10-13 08:47:09,446 INFO L201 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.10 08:47:09 WrapperNode [2024-10-13 08:47:09,446 INFO L131 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2024-10-13 08:47:09,447 INFO L112 PluginConnector]: ------------------------Boogie Procedure Inliner---------------------------- [2024-10-13 08:47:09,447 INFO L270 PluginConnector]: Initializing Boogie Procedure Inliner... [2024-10-13 08:47:09,447 INFO L274 PluginConnector]: Boogie Procedure Inliner initialized [2024-10-13 08:47:09,455 INFO L184 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.10 08:47:09" (1/1) ... [2024-10-13 08:47:09,504 ERROR L1136 TypeChecker]: C: descriptor.function = "free_imon_context" [4408]: Variable #t~ret134 modified in procedure free_imon_context but not declared [2024-10-13 08:47:09,508 ERROR L1136 TypeChecker]: C: descriptor.function = "free_imon_context" [4408]: Undeclared identifier #t~ret134 in IdentifierExpression[#t~ret134,] [2024-10-13 08:47:09,508 ERROR L1136 TypeChecker]: C: descriptor.function = "free_imon_context" [4408]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret134,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~0,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[8,64],StructAccessExpression[IdentifierExpression[~#descriptor~0,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,509 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [4409]: Variable #t~ret135 modified in procedure free_imon_context but not declared [2024-10-13 08:47:09,509 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [4409]: Undeclared identifier #t~ret135 in IdentifierExpression[#t~ret135,] [2024-10-13 08:47:09,509 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [4409]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret135,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~0,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[16,64],StructAccessExpression[IdentifierExpression[~#descriptor~0,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,509 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: iMON context freed\n" [4410]: Variable #t~ret136 modified in procedure free_imon_context but not declared [2024-10-13 08:47:09,509 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: iMON context freed\n" [4410]: Undeclared identifier #t~ret136 in IdentifierExpression[#t~ret136,] [2024-10-13 08:47:09,509 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: iMON context freed\n" [4410]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret136,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~0,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],StructAccessExpression[IdentifierExpression[~#descriptor~0,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,510 ERROR L1136 TypeChecker]: C: descriptor.function = "display_open" [4483]: Variable #t~ret154 modified in procedure display_open but not declared [2024-10-13 08:47:09,510 ERROR L1136 TypeChecker]: C: descriptor.function = "display_open" [4483]: Undeclared identifier #t~ret154 in IdentifierExpression[#t~ret154,] [2024-10-13 08:47:09,510 ERROR L1136 TypeChecker]: C: descriptor.function = "display_open" [4483]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret154,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~1,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[8,64],StructAccessExpression[IdentifierExpression[~#descriptor~1,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,510 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [4484]: Variable #t~ret155 modified in procedure display_open but not declared [2024-10-13 08:47:09,510 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [4484]: Undeclared identifier #t~ret155 in IdentifierExpression[#t~ret155,] [2024-10-13 08:47:09,510 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [4484]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret155,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~1,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[16,64],StructAccessExpression[IdentifierExpression[~#descriptor~1,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,510 ERROR L1136 TypeChecker]: C: descriptor.format = "display port opened\n" [4485]: Variable #t~ret156 modified in procedure display_open but not declared [2024-10-13 08:47:09,511 ERROR L1136 TypeChecker]: C: descriptor.format = "display port opened\n" [4485]: Undeclared identifier #t~ret156 in IdentifierExpression[#t~ret156,] [2024-10-13 08:47:09,511 ERROR L1136 TypeChecker]: C: descriptor.format = "display port opened\n" [4485]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret156,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~1,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],StructAccessExpression[IdentifierExpression[~#descriptor~1,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,512 ERROR L1136 TypeChecker]: C: descriptor.function = "display_close" [4542]: Variable #t~ret171 modified in procedure display_close but not declared [2024-10-13 08:47:09,512 ERROR L1136 TypeChecker]: C: descriptor.function = "display_close" [4542]: Undeclared identifier #t~ret171 in IdentifierExpression[#t~ret171,] [2024-10-13 08:47:09,512 ERROR L1136 TypeChecker]: C: descriptor.function = "display_close" [4542]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret171,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~2,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[8,64],StructAccessExpression[IdentifierExpression[~#descriptor~2,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,512 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [4543]: Variable #t~ret172 modified in procedure display_close but not declared [2024-10-13 08:47:09,516 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [4543]: Undeclared identifier #t~ret172 in IdentifierExpression[#t~ret172,] [2024-10-13 08:47:09,516 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [4543]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret172,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~2,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[16,64],StructAccessExpression[IdentifierExpression[~#descriptor~2,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,516 ERROR L1136 TypeChecker]: C: descriptor.format = "display port closed\n" [4544]: Variable #t~ret173 modified in procedure display_close but not declared [2024-10-13 08:47:09,517 ERROR L1136 TypeChecker]: C: descriptor.format = "display port closed\n" [4544]: Undeclared identifier #t~ret173 in IdentifierExpression[#t~ret173,] [2024-10-13 08:47:09,517 ERROR L1136 TypeChecker]: C: descriptor.format = "display port closed\n" [4544]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret173,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~2,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],StructAccessExpression[IdentifierExpression[~#descriptor~2,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,517 ERROR L1136 TypeChecker]: C: _rs.lock.dep_map.name = "_rs.lock" [4635]: Variable #t~ret197 modified in procedure send_packet but not declared [2024-10-13 08:47:09,517 ERROR L1136 TypeChecker]: C: _rs.lock.dep_map.name = "_rs.lock" [4635]: Undeclared identifier #t~ret197 in IdentifierExpression[#t~ret197,] [2024-10-13 08:47:09,518 ERROR L1136 TypeChecker]: C: _rs.lock.dep_map.name = "_rs.lock" [4635]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret197,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs~0,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],FunctionApplication[~bvadd~64,[BitvecLiteral[20,64],StructAccessExpression[IdentifierExpression[~#_rs~0,],offset]]]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,518 ERROR L1136 TypeChecker]: C: _rs___0.lock.dep_map.name = "_rs.lock" [4666]: Variable #t~ret204 modified in procedure send_packet but not declared [2024-10-13 08:47:09,518 ERROR L1136 TypeChecker]: C: _rs___0.lock.dep_map.name = "_rs.lock" [4666]: Undeclared identifier #t~ret204 in IdentifierExpression[#t~ret204,] [2024-10-13 08:47:09,518 ERROR L1136 TypeChecker]: C: _rs___0.lock.dep_map.name = "_rs.lock" [4666]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret204,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs___0~0,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],FunctionApplication[~bvadd~64,[BitvecLiteral[20,64],StructAccessExpression[IdentifierExpression[~#_rs___0~0,],offset]]]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,518 ERROR L1136 TypeChecker]: C: _rs___1.lock.dep_map.name = "_rs.lock" [4697]: Variable #t~ret210 modified in procedure send_packet but not declared [2024-10-13 08:47:09,518 ERROR L1136 TypeChecker]: C: _rs___1.lock.dep_map.name = "_rs.lock" [4697]: Undeclared identifier #t~ret210 in IdentifierExpression[#t~ret210,] [2024-10-13 08:47:09,518 ERROR L1136 TypeChecker]: C: _rs___1.lock.dep_map.name = "_rs.lock" [4697]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret210,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs___1~0,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],FunctionApplication[~bvadd~64,[BitvecLiteral[20,64],StructAccessExpression[IdentifierExpression[~#_rs___1~0,],offset]]]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,520 ERROR L1136 TypeChecker]: C: _rs.lock.dep_map.name = "_rs.lock" [5123]: Variable #t~ret269 modified in procedure vfd_write but not declared [2024-10-13 08:47:09,525 ERROR L1136 TypeChecker]: C: _rs.lock.dep_map.name = "_rs.lock" [5123]: Undeclared identifier #t~ret269 in IdentifierExpression[#t~ret269,] [2024-10-13 08:47:09,525 ERROR L1136 TypeChecker]: C: _rs.lock.dep_map.name = "_rs.lock" [5123]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret269,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs~1,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],FunctionApplication[~bvadd~64,[BitvecLiteral[20,64],StructAccessExpression[IdentifierExpression[~#_rs~1,],offset]]]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,526 ERROR L1136 TypeChecker]: C: _rs___0.lock.dep_map.name = "_rs.lock" [5154]: Variable #t~ret275 modified in procedure vfd_write but not declared [2024-10-13 08:47:09,527 ERROR L1136 TypeChecker]: C: _rs___0.lock.dep_map.name = "_rs.lock" [5154]: Undeclared identifier #t~ret275 in IdentifierExpression[#t~ret275,] [2024-10-13 08:47:09,527 ERROR L1136 TypeChecker]: C: _rs___0.lock.dep_map.name = "_rs.lock" [5154]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret275,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs___0~1,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],FunctionApplication[~bvadd~64,[BitvecLiteral[20,64],StructAccessExpression[IdentifierExpression[~#_rs___0~1,],offset]]]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,527 ERROR L1136 TypeChecker]: C: _rs___1.lock.dep_map.name = "_rs.lock" [5183]: Variable #t~ret280 modified in procedure vfd_write but not declared [2024-10-13 08:47:09,527 ERROR L1136 TypeChecker]: C: _rs___1.lock.dep_map.name = "_rs.lock" [5183]: Undeclared identifier #t~ret280 in IdentifierExpression[#t~ret280,] [2024-10-13 08:47:09,527 ERROR L1136 TypeChecker]: C: _rs___1.lock.dep_map.name = "_rs.lock" [5183]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret280,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs___1~1,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],FunctionApplication[~bvadd~64,[BitvecLiteral[20,64],StructAccessExpression[IdentifierExpression[~#_rs___1~1,],offset]]]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,528 ERROR L1136 TypeChecker]: C: _rs___2.lock.dep_map.name = "_rs.lock" [5249]: Variable #t~ret288 modified in procedure vfd_write but not declared [2024-10-13 08:47:09,528 ERROR L1136 TypeChecker]: C: _rs___2.lock.dep_map.name = "_rs.lock" [5249]: Undeclared identifier #t~ret288 in IdentifierExpression[#t~ret288,] [2024-10-13 08:47:09,528 ERROR L1136 TypeChecker]: C: _rs___2.lock.dep_map.name = "_rs.lock" [5249]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret288,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs___2~0,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],FunctionApplication[~bvadd~64,[BitvecLiteral[20,64],StructAccessExpression[IdentifierExpression[~#_rs___2~0,],offset]]]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,528 ERROR L1136 TypeChecker]: C: _rs___3.lock.dep_map.name = "_rs.lock" [5288]: Variable #t~ret295 modified in procedure vfd_write but not declared [2024-10-13 08:47:09,528 ERROR L1136 TypeChecker]: C: _rs___3.lock.dep_map.name = "_rs.lock" [5288]: Undeclared identifier #t~ret295 in IdentifierExpression[#t~ret295,] [2024-10-13 08:47:09,528 ERROR L1136 TypeChecker]: C: _rs___3.lock.dep_map.name = "_rs.lock" [5288]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret295,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs___3~0,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],FunctionApplication[~bvadd~64,[BitvecLiteral[20,64],StructAccessExpression[IdentifierExpression[~#_rs___3~0,],offset]]]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,529 ERROR L1136 TypeChecker]: C: _rs.lock.dep_map.name = "_rs.lock" [5341]: Variable #t~ret301 modified in procedure lcd_write but not declared [2024-10-13 08:47:09,529 ERROR L1136 TypeChecker]: C: _rs.lock.dep_map.name = "_rs.lock" [5341]: Undeclared identifier #t~ret301 in IdentifierExpression[#t~ret301,] [2024-10-13 08:47:09,529 ERROR L1136 TypeChecker]: C: _rs.lock.dep_map.name = "_rs.lock" [5341]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret301,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs~2,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],FunctionApplication[~bvadd~64,[BitvecLiteral[20,64],StructAccessExpression[IdentifierExpression[~#_rs~2,],offset]]]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,529 ERROR L1136 TypeChecker]: C: _rs___0.lock.dep_map.name = "_rs.lock" [5372]: Variable #t~ret307 modified in procedure lcd_write but not declared [2024-10-13 08:47:09,529 ERROR L1136 TypeChecker]: C: _rs___0.lock.dep_map.name = "_rs.lock" [5372]: Undeclared identifier #t~ret307 in IdentifierExpression[#t~ret307,] [2024-10-13 08:47:09,530 ERROR L1136 TypeChecker]: C: _rs___0.lock.dep_map.name = "_rs.lock" [5372]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret307,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs___0~2,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],FunctionApplication[~bvadd~64,[BitvecLiteral[20,64],StructAccessExpression[IdentifierExpression[~#_rs___0~2,],offset]]]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,530 ERROR L1136 TypeChecker]: C: _rs___1.lock.dep_map.name = "_rs.lock" [5401]: Variable #t~ret312 modified in procedure lcd_write but not declared [2024-10-13 08:47:09,531 ERROR L1136 TypeChecker]: C: _rs___1.lock.dep_map.name = "_rs.lock" [5401]: Undeclared identifier #t~ret312 in IdentifierExpression[#t~ret312,] [2024-10-13 08:47:09,531 ERROR L1136 TypeChecker]: C: _rs___1.lock.dep_map.name = "_rs.lock" [5401]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret312,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs___1~2,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],FunctionApplication[~bvadd~64,[BitvecLiteral[20,64],StructAccessExpression[IdentifierExpression[~#_rs___1~2,],offset]]]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,534 ERROR L1136 TypeChecker]: C: _rs___2.lock.dep_map.name = "_rs.lock" [5441]: Variable #t~ret319 modified in procedure lcd_write but not declared [2024-10-13 08:47:09,534 ERROR L1136 TypeChecker]: C: _rs___2.lock.dep_map.name = "_rs.lock" [5441]: Undeclared identifier #t~ret319 in IdentifierExpression[#t~ret319,] [2024-10-13 08:47:09,534 ERROR L1136 TypeChecker]: C: _rs___2.lock.dep_map.name = "_rs.lock" [5441]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret319,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs___2~1,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],FunctionApplication[~bvadd~64,[BitvecLiteral[20,64],StructAccessExpression[IdentifierExpression[~#_rs___2~1,],offset]]]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,534 ERROR L1136 TypeChecker]: C: descriptor.function = "lcd_write" [5461]: Variable #t~ret324 modified in procedure lcd_write but not declared [2024-10-13 08:47:09,534 ERROR L1136 TypeChecker]: C: descriptor.function = "lcd_write" [5461]: Undeclared identifier #t~ret324 in IdentifierExpression[#t~ret324,] [2024-10-13 08:47:09,534 ERROR L1136 TypeChecker]: C: descriptor.function = "lcd_write" [5461]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret324,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~3,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[8,64],StructAccessExpression[IdentifierExpression[~#descriptor~3,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,534 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [5462]: Variable #t~ret325 modified in procedure lcd_write but not declared [2024-10-13 08:47:09,534 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [5462]: Undeclared identifier #t~ret325 in IdentifierExpression[#t~ret325,] [2024-10-13 08:47:09,535 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [5462]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret325,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~3,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[16,64],StructAccessExpression[IdentifierExpression[~#descriptor~3,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,535 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: write %d bytes to LCD\n" [5463]: Variable #t~ret326 modified in procedure lcd_write but not declared [2024-10-13 08:47:09,535 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: write %d bytes to LCD\n" [5463]: Undeclared identifier #t~ret326 in IdentifierExpression[#t~ret326,] [2024-10-13 08:47:09,535 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: write %d bytes to LCD\n" [5463]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret326,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~3,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],StructAccessExpression[IdentifierExpression[~#descriptor~3,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,535 ERROR L1136 TypeChecker]: C: descriptor.function = "imon_ir_change_protocol" [5560]: Variable #t~ret350 modified in procedure imon_ir_change_protocol but not declared [2024-10-13 08:47:09,535 ERROR L1136 TypeChecker]: C: descriptor.function = "imon_ir_change_protocol" [5560]: Undeclared identifier #t~ret350 in IdentifierExpression[#t~ret350,] [2024-10-13 08:47:09,536 ERROR L1136 TypeChecker]: C: descriptor.function = "imon_ir_change_protocol" [5560]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret350,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~4,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[8,64],StructAccessExpression[IdentifierExpression[~#descriptor~4,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,536 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [5561]: Variable #t~ret351 modified in procedure imon_ir_change_protocol but not declared [2024-10-13 08:47:09,536 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [5561]: Undeclared identifier #t~ret351 in IdentifierExpression[#t~ret351,] [2024-10-13 08:47:09,536 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [5561]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret351,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~4,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[16,64],StructAccessExpression[IdentifierExpression[~#descriptor~4,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,536 ERROR L1136 TypeChecker]: C: descriptor.format = "Configuring IR receiver for MCE protocol\n" [5562]: Variable #t~ret352 modified in procedure imon_ir_change_protocol but not declared [2024-10-13 08:47:09,536 ERROR L1136 TypeChecker]: C: descriptor.format = "Configuring IR receiver for MCE protocol\n" [5562]: Undeclared identifier #t~ret352 in IdentifierExpression[#t~ret352,] [2024-10-13 08:47:09,537 ERROR L1136 TypeChecker]: C: descriptor.format = "Configuring IR receiver for MCE protocol\n" [5562]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret352,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~4,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],StructAccessExpression[IdentifierExpression[~#descriptor~4,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,537 ERROR L1136 TypeChecker]: C: descriptor___0.function = "imon_ir_change_protocol" [5579]: Variable #t~ret358 modified in procedure imon_ir_change_protocol but not declared [2024-10-13 08:47:09,538 ERROR L1136 TypeChecker]: C: descriptor___0.function = "imon_ir_change_protocol" [5579]: Undeclared identifier #t~ret358 in IdentifierExpression[#t~ret358,] [2024-10-13 08:47:09,538 ERROR L1136 TypeChecker]: C: descriptor___0.function = "imon_ir_change_protocol" [5579]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret358,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[8,64],StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,538 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "drivers/media/rc/imon.c" [5580]: Variable #t~ret359 modified in procedure imon_ir_change_protocol but not declared [2024-10-13 08:47:09,538 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "drivers/media/rc/imon.c" [5580]: Undeclared identifier #t~ret359 in IdentifierExpression[#t~ret359,] [2024-10-13 08:47:09,538 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "drivers/media/rc/imon.c" [5580]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret359,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[16,64],StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,538 ERROR L1136 TypeChecker]: C: descriptor___0.format = "Configuring IR receiver for iMON protocol\n" [5581]: Variable #t~ret360 modified in procedure imon_ir_change_protocol but not declared [2024-10-13 08:47:09,538 ERROR L1136 TypeChecker]: C: descriptor___0.format = "Configuring IR receiver for iMON protocol\n" [5581]: Undeclared identifier #t~ret360 in IdentifierExpression[#t~ret360,] [2024-10-13 08:47:09,539 ERROR L1136 TypeChecker]: C: descriptor___0.format = "Configuring IR receiver for iMON protocol\n" [5581]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret360,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,539 ERROR L1136 TypeChecker]: C: descriptor___1.function = "imon_ir_change_protocol" [5595]: Variable #t~ret365 modified in procedure imon_ir_change_protocol but not declared [2024-10-13 08:47:09,539 ERROR L1136 TypeChecker]: C: descriptor___1.function = "imon_ir_change_protocol" [5595]: Undeclared identifier #t~ret365 in IdentifierExpression[#t~ret365,] [2024-10-13 08:47:09,539 ERROR L1136 TypeChecker]: C: descriptor___1.function = "imon_ir_change_protocol" [5595]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret365,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~0,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[8,64],StructAccessExpression[IdentifierExpression[~#descriptor___1~0,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,539 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "drivers/media/rc/imon.c" [5596]: Variable #t~ret366 modified in procedure imon_ir_change_protocol but not declared [2024-10-13 08:47:09,539 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "drivers/media/rc/imon.c" [5596]: Undeclared identifier #t~ret366 in IdentifierExpression[#t~ret366,] [2024-10-13 08:47:09,539 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "drivers/media/rc/imon.c" [5596]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret366,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~0,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[16,64],StructAccessExpression[IdentifierExpression[~#descriptor___1~0,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,540 ERROR L1136 TypeChecker]: C: descriptor___1.format = "PAD stabilize functionality disabled\n" [5597]: Variable #t~ret367 modified in procedure imon_ir_change_protocol but not declared [2024-10-13 08:47:09,540 ERROR L1136 TypeChecker]: C: descriptor___1.format = "PAD stabilize functionality disabled\n" [5597]: Undeclared identifier #t~ret367 in IdentifierExpression[#t~ret367,] [2024-10-13 08:47:09,540 ERROR L1136 TypeChecker]: C: descriptor___1.format = "PAD stabilize functionality disabled\n" [5597]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret367,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~0,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],StructAccessExpression[IdentifierExpression[~#descriptor___1~0,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,540 ERROR L1136 TypeChecker]: C: descriptor___2.function = "imon_ir_change_protocol" [5618]: Variable #t~ret374 modified in procedure imon_ir_change_protocol but not declared [2024-10-13 08:47:09,540 ERROR L1136 TypeChecker]: C: descriptor___2.function = "imon_ir_change_protocol" [5618]: Undeclared identifier #t~ret374 in IdentifierExpression[#t~ret374,] [2024-10-13 08:47:09,540 ERROR L1136 TypeChecker]: C: descriptor___2.function = "imon_ir_change_protocol" [5618]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret374,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[8,64],StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,541 ERROR L1136 TypeChecker]: C: descriptor___2.filename = "drivers/media/rc/imon.c" [5619]: Variable #t~ret375 modified in procedure imon_ir_change_protocol but not declared [2024-10-13 08:47:09,541 ERROR L1136 TypeChecker]: C: descriptor___2.filename = "drivers/media/rc/imon.c" [5619]: Undeclared identifier #t~ret375 in IdentifierExpression[#t~ret375,] [2024-10-13 08:47:09,541 ERROR L1136 TypeChecker]: C: descriptor___2.filename = "drivers/media/rc/imon.c" [5619]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret375,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[16,64],StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,541 ERROR L1136 TypeChecker]: C: descriptor___2.format = "PAD stabilize functionality disabled\n" [5620]: Variable #t~ret376 modified in procedure imon_ir_change_protocol but not declared [2024-10-13 08:47:09,541 ERROR L1136 TypeChecker]: C: descriptor___2.format = "PAD stabilize functionality disabled\n" [5620]: Undeclared identifier #t~ret376 in IdentifierExpression[#t~ret376,] [2024-10-13 08:47:09,541 ERROR L1136 TypeChecker]: C: descriptor___2.format = "PAD stabilize functionality disabled\n" [5620]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret376,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,543 ERROR L1136 TypeChecker]: C: descriptor.function = "imon_mouse_event" [5926]: Variable #t~ret436 modified in procedure imon_mouse_event but not declared [2024-10-13 08:47:09,543 ERROR L1136 TypeChecker]: C: descriptor.function = "imon_mouse_event" [5926]: Undeclared identifier #t~ret436 in IdentifierExpression[#t~ret436,] [2024-10-13 08:47:09,543 ERROR L1136 TypeChecker]: C: descriptor.function = "imon_mouse_event" [5926]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret436,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~5,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[8,64],StructAccessExpression[IdentifierExpression[~#descriptor~5,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,543 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [5927]: Variable #t~ret437 modified in procedure imon_mouse_event but not declared [2024-10-13 08:47:09,543 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [5927]: Undeclared identifier #t~ret437 in IdentifierExpression[#t~ret437,] [2024-10-13 08:47:09,544 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [5927]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret437,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~5,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[16,64],StructAccessExpression[IdentifierExpression[~#descriptor~5,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,544 ERROR L1136 TypeChecker]: C: descriptor.format = "sending mouse data via input subsystem\n" [5928]: Variable #t~ret438 modified in procedure imon_mouse_event but not declared [2024-10-13 08:47:09,544 ERROR L1136 TypeChecker]: C: descriptor.format = "sending mouse data via input subsystem\n" [5928]: Undeclared identifier #t~ret438 in IdentifierExpression[#t~ret438,] [2024-10-13 08:47:09,544 ERROR L1136 TypeChecker]: C: descriptor.format = "sending mouse data via input subsystem\n" [5928]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret438,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~5,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],StructAccessExpression[IdentifierExpression[~#descriptor~5,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,550 ERROR L1136 TypeChecker]: C: descriptor.function = "imon_incoming_packet" [6249]: Variable #t~ret538 modified in procedure imon_incoming_packet but not declared [2024-10-13 08:47:09,550 ERROR L1136 TypeChecker]: C: descriptor.function = "imon_incoming_packet" [6249]: Undeclared identifier #t~ret538 in IdentifierExpression[#t~ret538,] [2024-10-13 08:47:09,550 ERROR L1136 TypeChecker]: C: descriptor.function = "imon_incoming_packet" [6249]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret538,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~6,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[8,64],StructAccessExpression[IdentifierExpression[~#descriptor~6,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,550 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [6250]: Variable #t~ret539 modified in procedure imon_incoming_packet but not declared [2024-10-13 08:47:09,550 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [6250]: Undeclared identifier #t~ret539 in IdentifierExpression[#t~ret539,] [2024-10-13 08:47:09,550 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [6250]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret539,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~6,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[16,64],StructAccessExpression[IdentifierExpression[~#descriptor~6,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,550 ERROR L1136 TypeChecker]: C: descriptor.format = "toggling to %s mode\n" [6251]: Variable #t~ret540 modified in procedure imon_incoming_packet but not declared [2024-10-13 08:47:09,550 ERROR L1136 TypeChecker]: C: descriptor.format = "toggling to %s mode\n" [6251]: Undeclared identifier #t~ret540 in IdentifierExpression[#t~ret540,] [2024-10-13 08:47:09,550 ERROR L1136 TypeChecker]: C: descriptor.format = "toggling to %s mode\n" [6251]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret540,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~6,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],StructAccessExpression[IdentifierExpression[~#descriptor~6,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,551 ERROR L1136 TypeChecker]: C: descriptor___0.function = "imon_incoming_packet" [6271]: Variable #t~ret546 modified in procedure imon_incoming_packet but not declared [2024-10-13 08:47:09,551 ERROR L1136 TypeChecker]: C: descriptor___0.function = "imon_incoming_packet" [6271]: Undeclared identifier #t~ret546 in IdentifierExpression[#t~ret546,] [2024-10-13 08:47:09,551 ERROR L1136 TypeChecker]: C: descriptor___0.function = "imon_incoming_packet" [6271]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret546,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[8,64],StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,551 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "drivers/media/rc/imon.c" [6272]: Variable #t~ret547 modified in procedure imon_incoming_packet but not declared [2024-10-13 08:47:09,551 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "drivers/media/rc/imon.c" [6272]: Undeclared identifier #t~ret547 in IdentifierExpression[#t~ret547,] [2024-10-13 08:47:09,551 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "drivers/media/rc/imon.c" [6272]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret547,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[16,64],StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,551 ERROR L1136 TypeChecker]: C: descriptor___0.format = "mouse mode disabled, passing key value\n" [6273]: Variable #t~ret548 modified in procedure imon_incoming_packet but not declared [2024-10-13 08:47:09,551 ERROR L1136 TypeChecker]: C: descriptor___0.format = "mouse mode disabled, passing key value\n" [6273]: Undeclared identifier #t~ret548 in IdentifierExpression[#t~ret548,] [2024-10-13 08:47:09,551 ERROR L1136 TypeChecker]: C: descriptor___0.format = "mouse mode disabled, passing key value\n" [6273]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret548,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,552 ERROR L1136 TypeChecker]: C: rdev->map_name = "rc-imon-mce" [6788]: Variable #t~ret698 modified in procedure imon_init_rdev but not declared [2024-10-13 08:47:09,552 ERROR L1136 TypeChecker]: C: rdev->map_name = "rc-imon-mce" [6788]: Undeclared identifier #t~ret698 in IdentifierExpression[#t~ret698,] [2024-10-13 08:47:09,553 ERROR L1136 TypeChecker]: C: rdev->map_name = "rc-imon-mce" [6788]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret698,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~rdev~0,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[1396,64],StructAccessExpression[IdentifierExpression[~rdev~0,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,553 ERROR L1136 TypeChecker]: C: rdev->map_name = "rc-imon-pad" [6790]: Variable #t~ret699 modified in procedure imon_init_rdev but not declared [2024-10-13 08:47:09,553 ERROR L1136 TypeChecker]: C: rdev->map_name = "rc-imon-pad" [6790]: Undeclared identifier #t~ret699 in IdentifierExpression[#t~ret699,] [2024-10-13 08:47:09,553 ERROR L1136 TypeChecker]: C: rdev->map_name = "rc-imon-pad" [6790]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret699,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~rdev~0,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[1396,64],StructAccessExpression[IdentifierExpression[~rdev~0,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,559 ERROR L1136 TypeChecker]: C: descriptor.function = "imon_find_endpoints" [6955]: Variable #t~ret740 modified in procedure imon_find_endpoints but not declared [2024-10-13 08:47:09,559 ERROR L1136 TypeChecker]: C: descriptor.function = "imon_find_endpoints" [6955]: Undeclared identifier #t~ret740 in IdentifierExpression[#t~ret740,] [2024-10-13 08:47:09,559 ERROR L1136 TypeChecker]: C: descriptor.function = "imon_find_endpoints" [6955]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret740,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~7,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[8,64],StructAccessExpression[IdentifierExpression[~#descriptor~7,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,560 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [6956]: Variable #t~ret741 modified in procedure imon_find_endpoints but not declared [2024-10-13 08:47:09,560 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [6956]: Undeclared identifier #t~ret741 in IdentifierExpression[#t~ret741,] [2024-10-13 08:47:09,560 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [6956]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret741,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~7,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[16,64],StructAccessExpression[IdentifierExpression[~#descriptor~7,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,560 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: found IR endpoint\n" [6957]: Variable #t~ret742 modified in procedure imon_find_endpoints but not declared [2024-10-13 08:47:09,560 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: found IR endpoint\n" [6957]: Undeclared identifier #t~ret742 in IdentifierExpression[#t~ret742,] [2024-10-13 08:47:09,561 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: found IR endpoint\n" [6957]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret742,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~7,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],StructAccessExpression[IdentifierExpression[~#descriptor~7,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,561 ERROR L1136 TypeChecker]: C: descriptor___0.function = "imon_find_endpoints" [6975]: Variable #t~ret748 modified in procedure imon_find_endpoints but not declared [2024-10-13 08:47:09,561 ERROR L1136 TypeChecker]: C: descriptor___0.function = "imon_find_endpoints" [6975]: Undeclared identifier #t~ret748 in IdentifierExpression[#t~ret748,] [2024-10-13 08:47:09,562 ERROR L1136 TypeChecker]: C: descriptor___0.function = "imon_find_endpoints" [6975]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret748,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[8,64],StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,562 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "drivers/media/rc/imon.c" [6976]: Variable #t~ret749 modified in procedure imon_find_endpoints but not declared [2024-10-13 08:47:09,563 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "drivers/media/rc/imon.c" [6976]: Undeclared identifier #t~ret749 in IdentifierExpression[#t~ret749,] [2024-10-13 08:47:09,564 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "drivers/media/rc/imon.c" [6976]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret749,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[16,64],StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,564 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s: found display endpoint\n" [6977]: Variable #t~ret750 modified in procedure imon_find_endpoints but not declared [2024-10-13 08:47:09,564 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s: found display endpoint\n" [6977]: Undeclared identifier #t~ret750 in IdentifierExpression[#t~ret750,] [2024-10-13 08:47:09,564 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s: found display endpoint\n" [6977]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret750,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,565 ERROR L1136 TypeChecker]: C: descriptor___1.function = "imon_find_endpoints" [7008]: Variable #t~ret756 modified in procedure imon_find_endpoints but not declared [2024-10-13 08:47:09,565 ERROR L1136 TypeChecker]: C: descriptor___1.function = "imon_find_endpoints" [7008]: Undeclared identifier #t~ret756 in IdentifierExpression[#t~ret756,] [2024-10-13 08:47:09,565 ERROR L1136 TypeChecker]: C: descriptor___1.function = "imon_find_endpoints" [7008]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret756,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~1,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[8,64],StructAccessExpression[IdentifierExpression[~#descriptor___1~1,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,565 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "drivers/media/rc/imon.c" [7009]: Variable #t~ret757 modified in procedure imon_find_endpoints but not declared [2024-10-13 08:47:09,565 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "drivers/media/rc/imon.c" [7009]: Undeclared identifier #t~ret757 in IdentifierExpression[#t~ret757,] [2024-10-13 08:47:09,565 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "drivers/media/rc/imon.c" [7009]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret757,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~1,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[16,64],StructAccessExpression[IdentifierExpression[~#descriptor___1~1,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,566 ERROR L1136 TypeChecker]: C: descriptor___1.format = "%s: device uses control endpoint, not interface OUT endpoint\n" [7010]: Variable #t~ret758 modified in procedure imon_find_endpoints but not declared [2024-10-13 08:47:09,566 ERROR L1136 TypeChecker]: C: descriptor___1.format = "%s: device uses control endpoint, not interface OUT endpoint\n" [7010]: Undeclared identifier #t~ret758 in IdentifierExpression[#t~ret758,] [2024-10-13 08:47:09,566 ERROR L1136 TypeChecker]: C: descriptor___1.format = "%s: device uses control endpoint, not interface OUT endpoint\n" [7010]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret758,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~1,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],StructAccessExpression[IdentifierExpression[~#descriptor___1~1,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,566 ERROR L1136 TypeChecker]: C: descriptor___2.function = "imon_find_endpoints" [7028]: Variable #t~ret765 modified in procedure imon_find_endpoints but not declared [2024-10-13 08:47:09,567 ERROR L1136 TypeChecker]: C: descriptor___2.function = "imon_find_endpoints" [7028]: Undeclared identifier #t~ret765 in IdentifierExpression[#t~ret765,] [2024-10-13 08:47:09,567 ERROR L1136 TypeChecker]: C: descriptor___2.function = "imon_find_endpoints" [7028]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret765,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[8,64],StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,567 ERROR L1136 TypeChecker]: C: descriptor___2.filename = "drivers/media/rc/imon.c" [7029]: Variable #t~ret766 modified in procedure imon_find_endpoints but not declared [2024-10-13 08:47:09,567 ERROR L1136 TypeChecker]: C: descriptor___2.filename = "drivers/media/rc/imon.c" [7029]: Undeclared identifier #t~ret766 in IdentifierExpression[#t~ret766,] [2024-10-13 08:47:09,567 ERROR L1136 TypeChecker]: C: descriptor___2.filename = "drivers/media/rc/imon.c" [7029]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret766,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[16,64],StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,567 ERROR L1136 TypeChecker]: C: descriptor___2.format = "%s: device has no display\n" [7030]: Variable #t~ret767 modified in procedure imon_find_endpoints but not declared [2024-10-13 08:47:09,567 ERROR L1136 TypeChecker]: C: descriptor___2.format = "%s: device has no display\n" [7030]: Undeclared identifier #t~ret767 in IdentifierExpression[#t~ret767,] [2024-10-13 08:47:09,567 ERROR L1136 TypeChecker]: C: descriptor___2.format = "%s: device has no display\n" [7030]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret767,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,568 ERROR L1136 TypeChecker]: C: descriptor___3.function = "imon_find_endpoints" [7048]: Variable #t~ret774 modified in procedure imon_find_endpoints but not declared [2024-10-13 08:47:09,568 ERROR L1136 TypeChecker]: C: descriptor___3.function = "imon_find_endpoints" [7048]: Undeclared identifier #t~ret774 in IdentifierExpression[#t~ret774,] [2024-10-13 08:47:09,568 ERROR L1136 TypeChecker]: C: descriptor___3.function = "imon_find_endpoints" [7048]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret774,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[8,64],StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,568 ERROR L1136 TypeChecker]: C: descriptor___3.filename = "drivers/media/rc/imon.c" [7049]: Variable #t~ret775 modified in procedure imon_find_endpoints but not declared [2024-10-13 08:47:09,568 ERROR L1136 TypeChecker]: C: descriptor___3.filename = "drivers/media/rc/imon.c" [7049]: Undeclared identifier #t~ret775 in IdentifierExpression[#t~ret775,] [2024-10-13 08:47:09,568 ERROR L1136 TypeChecker]: C: descriptor___3.filename = "drivers/media/rc/imon.c" [7049]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret775,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[16,64],StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,568 ERROR L1136 TypeChecker]: C: descriptor___3.format = "%s: iMON Touch device found\n" [7050]: Variable #t~ret776 modified in procedure imon_find_endpoints but not declared [2024-10-13 08:47:09,568 ERROR L1136 TypeChecker]: C: descriptor___3.format = "%s: iMON Touch device found\n" [7050]: Undeclared identifier #t~ret776 in IdentifierExpression[#t~ret776,] [2024-10-13 08:47:09,568 ERROR L1136 TypeChecker]: C: descriptor___3.format = "%s: iMON Touch device found\n" [7050]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret776,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,570 ERROR L1136 TypeChecker]: C: descriptor.function = "imon_init_display" [7335]: Variable #t~ret858 modified in procedure imon_init_display but not declared [2024-10-13 08:47:09,572 ERROR L1136 TypeChecker]: C: descriptor.function = "imon_init_display" [7335]: Undeclared identifier #t~ret858 in IdentifierExpression[#t~ret858,] [2024-10-13 08:47:09,573 ERROR L1136 TypeChecker]: C: descriptor.function = "imon_init_display" [7335]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret858,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~8,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[8,64],StructAccessExpression[IdentifierExpression[~#descriptor~8,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,573 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [7336]: Variable #t~ret859 modified in procedure imon_init_display but not declared [2024-10-13 08:47:09,573 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [7336]: Undeclared identifier #t~ret859 in IdentifierExpression[#t~ret859,] [2024-10-13 08:47:09,573 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [7336]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret859,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~8,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[16,64],StructAccessExpression[IdentifierExpression[~#descriptor~8,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,573 ERROR L1136 TypeChecker]: C: descriptor.format = "Registering iMON display with sysfs\n" [7337]: Variable #t~ret860 modified in procedure imon_init_display but not declared [2024-10-13 08:47:09,574 ERROR L1136 TypeChecker]: C: descriptor.format = "Registering iMON display with sysfs\n" [7337]: Undeclared identifier #t~ret860 in IdentifierExpression[#t~ret860,] [2024-10-13 08:47:09,574 ERROR L1136 TypeChecker]: C: descriptor.format = "Registering iMON display with sysfs\n" [7337]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret860,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~8,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],StructAccessExpression[IdentifierExpression[~#descriptor~8,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,575 ERROR L1136 TypeChecker]: C: descriptor.function = "imon_probe" [7408]: Variable #t~ret882 modified in procedure imon_probe but not declared [2024-10-13 08:47:09,575 ERROR L1136 TypeChecker]: C: descriptor.function = "imon_probe" [7408]: Undeclared identifier #t~ret882 in IdentifierExpression[#t~ret882,] [2024-10-13 08:47:09,575 ERROR L1136 TypeChecker]: C: descriptor.function = "imon_probe" [7408]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret882,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~9,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[8,64],StructAccessExpression[IdentifierExpression[~#descriptor~9,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,575 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [7409]: Variable #t~ret883 modified in procedure imon_probe but not declared [2024-10-13 08:47:09,575 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [7409]: Undeclared identifier #t~ret883 in IdentifierExpression[#t~ret883,] [2024-10-13 08:47:09,575 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [7409]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret883,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~9,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[16,64],StructAccessExpression[IdentifierExpression[~#descriptor~9,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,576 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: found iMON device (%04x:%04x, intf%d)\n" [7410]: Variable #t~ret884 modified in procedure imon_probe but not declared [2024-10-13 08:47:09,576 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: found iMON device (%04x:%04x, intf%d)\n" [7410]: Undeclared identifier #t~ret884 in IdentifierExpression[#t~ret884,] [2024-10-13 08:47:09,576 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: found iMON device (%04x:%04x, intf%d)\n" [7410]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret884,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~9,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],StructAccessExpression[IdentifierExpression[~#descriptor~9,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,577 ERROR L1136 TypeChecker]: C: descriptor.function = "imon_disconnect" [7572]: Variable #t~ret929 modified in procedure imon_disconnect but not declared [2024-10-13 08:47:09,578 ERROR L1136 TypeChecker]: C: descriptor.function = "imon_disconnect" [7572]: Undeclared identifier #t~ret929 in IdentifierExpression[#t~ret929,] [2024-10-13 08:47:09,578 ERROR L1136 TypeChecker]: C: descriptor.function = "imon_disconnect" [7572]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret929,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~10,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[8,64],StructAccessExpression[IdentifierExpression[~#descriptor~10,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,578 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [7573]: Variable #t~ret930 modified in procedure imon_disconnect but not declared [2024-10-13 08:47:09,578 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [7573]: Undeclared identifier #t~ret930 in IdentifierExpression[#t~ret930,] [2024-10-13 08:47:09,578 ERROR L1136 TypeChecker]: C: descriptor.filename = "drivers/media/rc/imon.c" [7573]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret930,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~10,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[16,64],StructAccessExpression[IdentifierExpression[~#descriptor~10,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,578 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: iMON device (intf%d) disconnected\n" [7574]: Variable #t~ret931 modified in procedure imon_disconnect but not declared [2024-10-13 08:47:09,578 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: iMON device (intf%d) disconnected\n" [7574]: Undeclared identifier #t~ret931 in IdentifierExpression[#t~ret931,] [2024-10-13 08:47:09,578 ERROR L1136 TypeChecker]: C: descriptor.format = "%s: iMON device (intf%d) disconnected\n" [7574]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret931,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~10,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],StructAccessExpression[IdentifierExpression[~#descriptor~10,],offset]]]]],BitvecLiteral[8,64]]] [2024-10-13 08:47:09,585 INFO L184 PluginConnector]: Executing the observer Inliner from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.10 08:47:09" (1/1) ... [2024-10-13 08:47:09,585 INFO L131 PluginConnector]: ------------------------ END Boogie Procedure Inliner---------------------------- [2024-10-13 08:47:09,586 INFO L186 ToolchainWalker]: Toolchain execution was canceled (user or tool) before executing de.uni_freiburg.informatik.ultimate.boogie.preprocessor [2024-10-13 08:47:09,587 INFO L158 Benchmark]: Toolchain (without parser) took 2749.78ms. Allocated memory was 88.1MB in the beginning and 155.2MB in the end (delta: 67.1MB). Free memory was 63.6MB in the beginning and 44.2MB in the end (delta: 19.4MB). Peak memory consumption was 87.5MB. Max. memory is 16.1GB. [2024-10-13 08:47:09,588 INFO L158 Benchmark]: CDTParser took 0.16ms. Allocated memory is still 58.7MB. Free memory was 33.5MB in the beginning and 33.5MB in the end (delta: 73.4kB). There was no memory consumed. Max. memory is 16.1GB. [2024-10-13 08:47:09,588 INFO L158 Benchmark]: CACSL2BoogieTranslator took 2608.65ms. Allocated memory was 88.1MB in the beginning and 155.2MB in the end (delta: 67.1MB). Free memory was 63.6MB in the beginning and 58.9MB in the end (delta: 4.7MB). Peak memory consumption was 93.7MB. Max. memory is 16.1GB. [2024-10-13 08:47:09,589 INFO L158 Benchmark]: Boogie Procedure Inliner took 138.50ms. Allocated memory is still 155.2MB. Free memory was 58.9MB in the beginning and 44.2MB in the end (delta: 14.7MB). Peak memory consumption was 14.7MB. Max. memory is 16.1GB. [2024-10-13 08:47:09,590 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.16ms. Allocated memory is still 58.7MB. Free memory was 33.5MB in the beginning and 33.5MB in the end (delta: 73.4kB). There was no memory consumed. Max. memory is 16.1GB. * CACSL2BoogieTranslator took 2608.65ms. Allocated memory was 88.1MB in the beginning and 155.2MB in the end (delta: 67.1MB). Free memory was 63.6MB in the beginning and 58.9MB in the end (delta: 4.7MB). Peak memory consumption was 93.7MB. Max. memory is 16.1GB. * Boogie Procedure Inliner took 138.50ms. Allocated memory is still 155.2MB. Free memory was 58.9MB in the beginning and 44.2MB in the end (delta: 14.7MB). Peak memory consumption was 14.7MB. Max. memory is 16.1GB. * Results from de.uni_freiburg.informatik.ultimate.boogie.preprocessor: - TypeErrorResult [Line: 4408]: Type Error Variable #t~ret134 modified in procedure free_imon_context but not declared - TypeErrorResult [Line: 4408]: Type Error Undeclared identifier #t~ret134 in IdentifierExpression[#t~ret134,] - TypeErrorResult [Line: 4408]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret134,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~0,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[8,64],StructAccessExpression[IdentifierExpression[~#descriptor~0,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 4409]: Type Error Variable #t~ret135 modified in procedure free_imon_context but not declared - TypeErrorResult [Line: 4409]: Type Error Undeclared identifier #t~ret135 in IdentifierExpression[#t~ret135,] - TypeErrorResult [Line: 4409]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret135,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~0,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[16,64],StructAccessExpression[IdentifierExpression[~#descriptor~0,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 4410]: Type Error Variable #t~ret136 modified in procedure free_imon_context but not declared - TypeErrorResult [Line: 4410]: Type Error Undeclared identifier #t~ret136 in IdentifierExpression[#t~ret136,] - TypeErrorResult [Line: 4410]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret136,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~0,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],StructAccessExpression[IdentifierExpression[~#descriptor~0,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 4483]: Type Error Variable #t~ret154 modified in procedure display_open but not declared - TypeErrorResult [Line: 4483]: Type Error Undeclared identifier #t~ret154 in IdentifierExpression[#t~ret154,] - TypeErrorResult [Line: 4483]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret154,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~1,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[8,64],StructAccessExpression[IdentifierExpression[~#descriptor~1,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 4484]: Type Error Variable #t~ret155 modified in procedure display_open but not declared - TypeErrorResult [Line: 4484]: Type Error Undeclared identifier #t~ret155 in IdentifierExpression[#t~ret155,] - TypeErrorResult [Line: 4484]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret155,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~1,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[16,64],StructAccessExpression[IdentifierExpression[~#descriptor~1,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 4485]: Type Error Variable #t~ret156 modified in procedure display_open but not declared - TypeErrorResult [Line: 4485]: Type Error Undeclared identifier #t~ret156 in IdentifierExpression[#t~ret156,] - TypeErrorResult [Line: 4485]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret156,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~1,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],StructAccessExpression[IdentifierExpression[~#descriptor~1,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 4542]: Type Error Variable #t~ret171 modified in procedure display_close but not declared - TypeErrorResult [Line: 4542]: Type Error Undeclared identifier #t~ret171 in IdentifierExpression[#t~ret171,] - TypeErrorResult [Line: 4542]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret171,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~2,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[8,64],StructAccessExpression[IdentifierExpression[~#descriptor~2,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 4543]: Type Error Variable #t~ret172 modified in procedure display_close but not declared - TypeErrorResult [Line: 4543]: Type Error Undeclared identifier #t~ret172 in IdentifierExpression[#t~ret172,] - TypeErrorResult [Line: 4543]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret172,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~2,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[16,64],StructAccessExpression[IdentifierExpression[~#descriptor~2,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 4544]: Type Error Variable #t~ret173 modified in procedure display_close but not declared - TypeErrorResult [Line: 4544]: Type Error Undeclared identifier #t~ret173 in IdentifierExpression[#t~ret173,] - TypeErrorResult [Line: 4544]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret173,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~2,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],StructAccessExpression[IdentifierExpression[~#descriptor~2,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 4635]: Type Error Variable #t~ret197 modified in procedure send_packet but not declared - TypeErrorResult [Line: 4635]: Type Error Undeclared identifier #t~ret197 in IdentifierExpression[#t~ret197,] - TypeErrorResult [Line: 4635]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret197,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs~0,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],FunctionApplication[~bvadd~64,[BitvecLiteral[20,64],StructAccessExpression[IdentifierExpression[~#_rs~0,],offset]]]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 4666]: Type Error Variable #t~ret204 modified in procedure send_packet but not declared - TypeErrorResult [Line: 4666]: Type Error Undeclared identifier #t~ret204 in IdentifierExpression[#t~ret204,] - TypeErrorResult [Line: 4666]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret204,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs___0~0,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],FunctionApplication[~bvadd~64,[BitvecLiteral[20,64],StructAccessExpression[IdentifierExpression[~#_rs___0~0,],offset]]]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 4697]: Type Error Variable #t~ret210 modified in procedure send_packet but not declared - TypeErrorResult [Line: 4697]: Type Error Undeclared identifier #t~ret210 in IdentifierExpression[#t~ret210,] - TypeErrorResult [Line: 4697]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret210,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs___1~0,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],FunctionApplication[~bvadd~64,[BitvecLiteral[20,64],StructAccessExpression[IdentifierExpression[~#_rs___1~0,],offset]]]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 5123]: Type Error Variable #t~ret269 modified in procedure vfd_write but not declared - TypeErrorResult [Line: 5123]: Type Error Undeclared identifier #t~ret269 in IdentifierExpression[#t~ret269,] - TypeErrorResult [Line: 5123]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret269,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs~1,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],FunctionApplication[~bvadd~64,[BitvecLiteral[20,64],StructAccessExpression[IdentifierExpression[~#_rs~1,],offset]]]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 5154]: Type Error Variable #t~ret275 modified in procedure vfd_write but not declared - TypeErrorResult [Line: 5154]: Type Error Undeclared identifier #t~ret275 in IdentifierExpression[#t~ret275,] - TypeErrorResult [Line: 5154]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret275,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs___0~1,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],FunctionApplication[~bvadd~64,[BitvecLiteral[20,64],StructAccessExpression[IdentifierExpression[~#_rs___0~1,],offset]]]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 5183]: Type Error Variable #t~ret280 modified in procedure vfd_write but not declared - TypeErrorResult [Line: 5183]: Type Error Undeclared identifier #t~ret280 in IdentifierExpression[#t~ret280,] - TypeErrorResult [Line: 5183]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret280,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs___1~1,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],FunctionApplication[~bvadd~64,[BitvecLiteral[20,64],StructAccessExpression[IdentifierExpression[~#_rs___1~1,],offset]]]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 5249]: Type Error Variable #t~ret288 modified in procedure vfd_write but not declared - TypeErrorResult [Line: 5249]: Type Error Undeclared identifier #t~ret288 in IdentifierExpression[#t~ret288,] - TypeErrorResult [Line: 5249]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret288,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs___2~0,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],FunctionApplication[~bvadd~64,[BitvecLiteral[20,64],StructAccessExpression[IdentifierExpression[~#_rs___2~0,],offset]]]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 5288]: Type Error Variable #t~ret295 modified in procedure vfd_write but not declared - TypeErrorResult [Line: 5288]: Type Error Undeclared identifier #t~ret295 in IdentifierExpression[#t~ret295,] - TypeErrorResult [Line: 5288]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret295,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs___3~0,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],FunctionApplication[~bvadd~64,[BitvecLiteral[20,64],StructAccessExpression[IdentifierExpression[~#_rs___3~0,],offset]]]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 5341]: Type Error Variable #t~ret301 modified in procedure lcd_write but not declared - TypeErrorResult [Line: 5341]: Type Error Undeclared identifier #t~ret301 in IdentifierExpression[#t~ret301,] - TypeErrorResult [Line: 5341]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret301,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs~2,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],FunctionApplication[~bvadd~64,[BitvecLiteral[20,64],StructAccessExpression[IdentifierExpression[~#_rs~2,],offset]]]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 5372]: Type Error Variable #t~ret307 modified in procedure lcd_write but not declared - TypeErrorResult [Line: 5372]: Type Error Undeclared identifier #t~ret307 in IdentifierExpression[#t~ret307,] - TypeErrorResult [Line: 5372]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret307,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs___0~2,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],FunctionApplication[~bvadd~64,[BitvecLiteral[20,64],StructAccessExpression[IdentifierExpression[~#_rs___0~2,],offset]]]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 5401]: Type Error Variable #t~ret312 modified in procedure lcd_write but not declared - TypeErrorResult [Line: 5401]: Type Error Undeclared identifier #t~ret312 in IdentifierExpression[#t~ret312,] - TypeErrorResult [Line: 5401]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret312,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs___1~2,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],FunctionApplication[~bvadd~64,[BitvecLiteral[20,64],StructAccessExpression[IdentifierExpression[~#_rs___1~2,],offset]]]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 5441]: Type Error Variable #t~ret319 modified in procedure lcd_write but not declared - TypeErrorResult [Line: 5441]: Type Error Undeclared identifier #t~ret319 in IdentifierExpression[#t~ret319,] - TypeErrorResult [Line: 5441]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret319,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#_rs___2~1,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],FunctionApplication[~bvadd~64,[BitvecLiteral[20,64],StructAccessExpression[IdentifierExpression[~#_rs___2~1,],offset]]]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 5461]: Type Error Variable #t~ret324 modified in procedure lcd_write but not declared - TypeErrorResult [Line: 5461]: Type Error Undeclared identifier #t~ret324 in IdentifierExpression[#t~ret324,] - TypeErrorResult [Line: 5461]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret324,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~3,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[8,64],StructAccessExpression[IdentifierExpression[~#descriptor~3,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 5462]: Type Error Variable #t~ret325 modified in procedure lcd_write but not declared - TypeErrorResult [Line: 5462]: Type Error Undeclared identifier #t~ret325 in IdentifierExpression[#t~ret325,] - TypeErrorResult [Line: 5462]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret325,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~3,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[16,64],StructAccessExpression[IdentifierExpression[~#descriptor~3,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 5463]: Type Error Variable #t~ret326 modified in procedure lcd_write but not declared - TypeErrorResult [Line: 5463]: Type Error Undeclared identifier #t~ret326 in IdentifierExpression[#t~ret326,] - TypeErrorResult [Line: 5463]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret326,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~3,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],StructAccessExpression[IdentifierExpression[~#descriptor~3,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 5560]: Type Error Variable #t~ret350 modified in procedure imon_ir_change_protocol but not declared - TypeErrorResult [Line: 5560]: Type Error Undeclared identifier #t~ret350 in IdentifierExpression[#t~ret350,] - TypeErrorResult [Line: 5560]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret350,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~4,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[8,64],StructAccessExpression[IdentifierExpression[~#descriptor~4,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 5561]: Type Error Variable #t~ret351 modified in procedure imon_ir_change_protocol but not declared - TypeErrorResult [Line: 5561]: Type Error Undeclared identifier #t~ret351 in IdentifierExpression[#t~ret351,] - TypeErrorResult [Line: 5561]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret351,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~4,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[16,64],StructAccessExpression[IdentifierExpression[~#descriptor~4,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 5562]: Type Error Variable #t~ret352 modified in procedure imon_ir_change_protocol but not declared - TypeErrorResult [Line: 5562]: Type Error Undeclared identifier #t~ret352 in IdentifierExpression[#t~ret352,] - TypeErrorResult [Line: 5562]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret352,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~4,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],StructAccessExpression[IdentifierExpression[~#descriptor~4,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 5579]: Type Error Variable #t~ret358 modified in procedure imon_ir_change_protocol but not declared - TypeErrorResult [Line: 5579]: Type Error Undeclared identifier #t~ret358 in IdentifierExpression[#t~ret358,] - TypeErrorResult [Line: 5579]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret358,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[8,64],StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 5580]: Type Error Variable #t~ret359 modified in procedure imon_ir_change_protocol but not declared - TypeErrorResult [Line: 5580]: Type Error Undeclared identifier #t~ret359 in IdentifierExpression[#t~ret359,] - TypeErrorResult [Line: 5580]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret359,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[16,64],StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 5581]: Type Error Variable #t~ret360 modified in procedure imon_ir_change_protocol but not declared - TypeErrorResult [Line: 5581]: Type Error Undeclared identifier #t~ret360 in IdentifierExpression[#t~ret360,] - TypeErrorResult [Line: 5581]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret360,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 5595]: Type Error Variable #t~ret365 modified in procedure imon_ir_change_protocol but not declared - TypeErrorResult [Line: 5595]: Type Error Undeclared identifier #t~ret365 in IdentifierExpression[#t~ret365,] - TypeErrorResult [Line: 5595]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret365,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~0,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[8,64],StructAccessExpression[IdentifierExpression[~#descriptor___1~0,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 5596]: Type Error Variable #t~ret366 modified in procedure imon_ir_change_protocol but not declared - TypeErrorResult [Line: 5596]: Type Error Undeclared identifier #t~ret366 in IdentifierExpression[#t~ret366,] - TypeErrorResult [Line: 5596]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret366,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~0,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[16,64],StructAccessExpression[IdentifierExpression[~#descriptor___1~0,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 5597]: Type Error Variable #t~ret367 modified in procedure imon_ir_change_protocol but not declared - TypeErrorResult [Line: 5597]: Type Error Undeclared identifier #t~ret367 in IdentifierExpression[#t~ret367,] - TypeErrorResult [Line: 5597]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret367,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~0,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],StructAccessExpression[IdentifierExpression[~#descriptor___1~0,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 5618]: Type Error Variable #t~ret374 modified in procedure imon_ir_change_protocol but not declared - TypeErrorResult [Line: 5618]: Type Error Undeclared identifier #t~ret374 in IdentifierExpression[#t~ret374,] - TypeErrorResult [Line: 5618]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret374,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[8,64],StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 5619]: Type Error Variable #t~ret375 modified in procedure imon_ir_change_protocol but not declared - TypeErrorResult [Line: 5619]: Type Error Undeclared identifier #t~ret375 in IdentifierExpression[#t~ret375,] - TypeErrorResult [Line: 5619]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret375,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[16,64],StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 5620]: Type Error Variable #t~ret376 modified in procedure imon_ir_change_protocol but not declared - TypeErrorResult [Line: 5620]: Type Error Undeclared identifier #t~ret376 in IdentifierExpression[#t~ret376,] - TypeErrorResult [Line: 5620]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret376,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 5926]: Type Error Variable #t~ret436 modified in procedure imon_mouse_event but not declared - TypeErrorResult [Line: 5926]: Type Error Undeclared identifier #t~ret436 in IdentifierExpression[#t~ret436,] - TypeErrorResult [Line: 5926]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret436,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~5,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[8,64],StructAccessExpression[IdentifierExpression[~#descriptor~5,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 5927]: Type Error Variable #t~ret437 modified in procedure imon_mouse_event but not declared - TypeErrorResult [Line: 5927]: Type Error Undeclared identifier #t~ret437 in IdentifierExpression[#t~ret437,] - TypeErrorResult [Line: 5927]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret437,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~5,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[16,64],StructAccessExpression[IdentifierExpression[~#descriptor~5,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 5928]: Type Error Variable #t~ret438 modified in procedure imon_mouse_event but not declared - TypeErrorResult [Line: 5928]: Type Error Undeclared identifier #t~ret438 in IdentifierExpression[#t~ret438,] - TypeErrorResult [Line: 5928]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret438,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~5,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],StructAccessExpression[IdentifierExpression[~#descriptor~5,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 6249]: Type Error Variable #t~ret538 modified in procedure imon_incoming_packet but not declared - TypeErrorResult [Line: 6249]: Type Error Undeclared identifier #t~ret538 in IdentifierExpression[#t~ret538,] - TypeErrorResult [Line: 6249]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret538,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~6,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[8,64],StructAccessExpression[IdentifierExpression[~#descriptor~6,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 6250]: Type Error Variable #t~ret539 modified in procedure imon_incoming_packet but not declared - TypeErrorResult [Line: 6250]: Type Error Undeclared identifier #t~ret539 in IdentifierExpression[#t~ret539,] - TypeErrorResult [Line: 6250]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret539,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~6,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[16,64],StructAccessExpression[IdentifierExpression[~#descriptor~6,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 6251]: Type Error Variable #t~ret540 modified in procedure imon_incoming_packet but not declared - TypeErrorResult [Line: 6251]: Type Error Undeclared identifier #t~ret540 in IdentifierExpression[#t~ret540,] - TypeErrorResult [Line: 6251]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret540,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~6,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],StructAccessExpression[IdentifierExpression[~#descriptor~6,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 6271]: Type Error Variable #t~ret546 modified in procedure imon_incoming_packet but not declared - TypeErrorResult [Line: 6271]: Type Error Undeclared identifier #t~ret546 in IdentifierExpression[#t~ret546,] - TypeErrorResult [Line: 6271]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret546,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[8,64],StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 6272]: Type Error Variable #t~ret547 modified in procedure imon_incoming_packet but not declared - TypeErrorResult [Line: 6272]: Type Error Undeclared identifier #t~ret547 in IdentifierExpression[#t~ret547,] - TypeErrorResult [Line: 6272]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret547,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[16,64],StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 6273]: Type Error Variable #t~ret548 modified in procedure imon_incoming_packet but not declared - TypeErrorResult [Line: 6273]: Type Error Undeclared identifier #t~ret548 in IdentifierExpression[#t~ret548,] - TypeErrorResult [Line: 6273]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret548,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 6788]: Type Error Variable #t~ret698 modified in procedure imon_init_rdev but not declared - TypeErrorResult [Line: 6788]: Type Error Undeclared identifier #t~ret698 in IdentifierExpression[#t~ret698,] - TypeErrorResult [Line: 6788]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret698,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~rdev~0,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[1396,64],StructAccessExpression[IdentifierExpression[~rdev~0,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 6790]: Type Error Variable #t~ret699 modified in procedure imon_init_rdev but not declared - TypeErrorResult [Line: 6790]: Type Error Undeclared identifier #t~ret699 in IdentifierExpression[#t~ret699,] - TypeErrorResult [Line: 6790]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret699,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~rdev~0,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[1396,64],StructAccessExpression[IdentifierExpression[~rdev~0,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 6955]: Type Error Variable #t~ret740 modified in procedure imon_find_endpoints but not declared - TypeErrorResult [Line: 6955]: Type Error Undeclared identifier #t~ret740 in IdentifierExpression[#t~ret740,] - TypeErrorResult [Line: 6955]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret740,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~7,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[8,64],StructAccessExpression[IdentifierExpression[~#descriptor~7,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 6956]: Type Error Variable #t~ret741 modified in procedure imon_find_endpoints but not declared - TypeErrorResult [Line: 6956]: Type Error Undeclared identifier #t~ret741 in IdentifierExpression[#t~ret741,] - TypeErrorResult [Line: 6956]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret741,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~7,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[16,64],StructAccessExpression[IdentifierExpression[~#descriptor~7,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 6957]: Type Error Variable #t~ret742 modified in procedure imon_find_endpoints but not declared - TypeErrorResult [Line: 6957]: Type Error Undeclared identifier #t~ret742 in IdentifierExpression[#t~ret742,] - TypeErrorResult [Line: 6957]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret742,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~7,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],StructAccessExpression[IdentifierExpression[~#descriptor~7,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 6975]: Type Error Variable #t~ret748 modified in procedure imon_find_endpoints but not declared - TypeErrorResult [Line: 6975]: Type Error Undeclared identifier #t~ret748 in IdentifierExpression[#t~ret748,] - TypeErrorResult [Line: 6975]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret748,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[8,64],StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 6976]: Type Error Variable #t~ret749 modified in procedure imon_find_endpoints but not declared - TypeErrorResult [Line: 6976]: Type Error Undeclared identifier #t~ret749 in IdentifierExpression[#t~ret749,] - TypeErrorResult [Line: 6976]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret749,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[16,64],StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 6977]: Type Error Variable #t~ret750 modified in procedure imon_find_endpoints but not declared - TypeErrorResult [Line: 6977]: Type Error Undeclared identifier #t~ret750 in IdentifierExpression[#t~ret750,] - TypeErrorResult [Line: 6977]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret750,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 7008]: Type Error Variable #t~ret756 modified in procedure imon_find_endpoints but not declared - TypeErrorResult [Line: 7008]: Type Error Undeclared identifier #t~ret756 in IdentifierExpression[#t~ret756,] - TypeErrorResult [Line: 7008]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret756,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~1,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[8,64],StructAccessExpression[IdentifierExpression[~#descriptor___1~1,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 7009]: Type Error Variable #t~ret757 modified in procedure imon_find_endpoints but not declared - TypeErrorResult [Line: 7009]: Type Error Undeclared identifier #t~ret757 in IdentifierExpression[#t~ret757,] - TypeErrorResult [Line: 7009]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret757,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~1,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[16,64],StructAccessExpression[IdentifierExpression[~#descriptor___1~1,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 7010]: Type Error Variable #t~ret758 modified in procedure imon_find_endpoints but not declared - TypeErrorResult [Line: 7010]: Type Error Undeclared identifier #t~ret758 in IdentifierExpression[#t~ret758,] - TypeErrorResult [Line: 7010]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret758,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~1,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],StructAccessExpression[IdentifierExpression[~#descriptor___1~1,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 7028]: Type Error Variable #t~ret765 modified in procedure imon_find_endpoints but not declared - TypeErrorResult [Line: 7028]: Type Error Undeclared identifier #t~ret765 in IdentifierExpression[#t~ret765,] - TypeErrorResult [Line: 7028]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret765,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[8,64],StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 7029]: Type Error Variable #t~ret766 modified in procedure imon_find_endpoints but not declared - TypeErrorResult [Line: 7029]: Type Error Undeclared identifier #t~ret766 in IdentifierExpression[#t~ret766,] - TypeErrorResult [Line: 7029]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret766,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[16,64],StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 7030]: Type Error Variable #t~ret767 modified in procedure imon_find_endpoints but not declared - TypeErrorResult [Line: 7030]: Type Error Undeclared identifier #t~ret767 in IdentifierExpression[#t~ret767,] - TypeErrorResult [Line: 7030]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret767,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 7048]: Type Error Variable #t~ret774 modified in procedure imon_find_endpoints but not declared - TypeErrorResult [Line: 7048]: Type Error Undeclared identifier #t~ret774 in IdentifierExpression[#t~ret774,] - TypeErrorResult [Line: 7048]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret774,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[8,64],StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 7049]: Type Error Variable #t~ret775 modified in procedure imon_find_endpoints but not declared - TypeErrorResult [Line: 7049]: Type Error Undeclared identifier #t~ret775 in IdentifierExpression[#t~ret775,] - TypeErrorResult [Line: 7049]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret775,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[16,64],StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 7050]: Type Error Variable #t~ret776 modified in procedure imon_find_endpoints but not declared - TypeErrorResult [Line: 7050]: Type Error Undeclared identifier #t~ret776 in IdentifierExpression[#t~ret776,] - TypeErrorResult [Line: 7050]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret776,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 7335]: Type Error Variable #t~ret858 modified in procedure imon_init_display but not declared - TypeErrorResult [Line: 7335]: Type Error Undeclared identifier #t~ret858 in IdentifierExpression[#t~ret858,] - TypeErrorResult [Line: 7335]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret858,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~8,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[8,64],StructAccessExpression[IdentifierExpression[~#descriptor~8,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 7336]: Type Error Variable #t~ret859 modified in procedure imon_init_display but not declared - TypeErrorResult [Line: 7336]: Type Error Undeclared identifier #t~ret859 in IdentifierExpression[#t~ret859,] - TypeErrorResult [Line: 7336]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret859,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~8,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[16,64],StructAccessExpression[IdentifierExpression[~#descriptor~8,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 7337]: Type Error Variable #t~ret860 modified in procedure imon_init_display but not declared - TypeErrorResult [Line: 7337]: Type Error Undeclared identifier #t~ret860 in IdentifierExpression[#t~ret860,] - TypeErrorResult [Line: 7337]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret860,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~8,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],StructAccessExpression[IdentifierExpression[~#descriptor~8,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 7408]: Type Error Variable #t~ret882 modified in procedure imon_probe but not declared - TypeErrorResult [Line: 7408]: Type Error Undeclared identifier #t~ret882 in IdentifierExpression[#t~ret882,] - TypeErrorResult [Line: 7408]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret882,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~9,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[8,64],StructAccessExpression[IdentifierExpression[~#descriptor~9,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 7409]: Type Error Variable #t~ret883 modified in procedure imon_probe but not declared - TypeErrorResult [Line: 7409]: Type Error Undeclared identifier #t~ret883 in IdentifierExpression[#t~ret883,] - TypeErrorResult [Line: 7409]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret883,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~9,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[16,64],StructAccessExpression[IdentifierExpression[~#descriptor~9,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 7410]: Type Error Variable #t~ret884 modified in procedure imon_probe but not declared - TypeErrorResult [Line: 7410]: Type Error Undeclared identifier #t~ret884 in IdentifierExpression[#t~ret884,] - TypeErrorResult [Line: 7410]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret884,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~9,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],StructAccessExpression[IdentifierExpression[~#descriptor~9,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 7572]: Type Error Variable #t~ret929 modified in procedure imon_disconnect but not declared - TypeErrorResult [Line: 7572]: Type Error Undeclared identifier #t~ret929 in IdentifierExpression[#t~ret929,] - TypeErrorResult [Line: 7572]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret929,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~10,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[8,64],StructAccessExpression[IdentifierExpression[~#descriptor~10,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 7573]: Type Error Variable #t~ret930 modified in procedure imon_disconnect but not declared - TypeErrorResult [Line: 7573]: Type Error Undeclared identifier #t~ret930 in IdentifierExpression[#t~ret930,] - TypeErrorResult [Line: 7573]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret930,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~10,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[16,64],StructAccessExpression[IdentifierExpression[~#descriptor~10,],offset]]]]],BitvecLiteral[8,64]]] - TypeErrorResult [Line: 7574]: Type Error Variable #t~ret931 modified in procedure imon_disconnect but not declared - TypeErrorResult [Line: 7574]: Type Error Undeclared identifier #t~ret931 in IdentifierExpression[#t~ret931,] - TypeErrorResult [Line: 7574]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret931,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~10,],base],FunctionApplication[~bvadd~64,[BitvecLiteral[24,64],StructAccessExpression[IdentifierExpression[~#descriptor~10,],offset]]]]],BitvecLiteral[8,64]]] * Results from de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: - GenericResultAtLocation [Line: 3837]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("bts %1,%0": "+m" (*((long volatile *)addr)): "Ir" (nr): "memory"); [3837] - GenericResultAtLocation [Line: 3892]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("movb %%gs:%P1,%0": "=q" (pfo_ret__): "p" (& current_task)); [3892] - GenericResultAtLocation [Line: 3895]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("movw %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& current_task)); [3895] - GenericResultAtLocation [Line: 3898]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("movl %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& current_task)); [3898] - GenericResultAtLocation [Line: 3901]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("movq %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& current_task)); [3901] - GenericResultAtLocation [Line: 4621]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("": : : "memory"); [4621] - GenericResultAtLocation [Line: 4627]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("": : : "memory"); [4627] - GenericResultAtLocation [Line: 4742]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("xchgb %b0, %1\n": "+q" (__ret), "+m" (tmp___5->state): : "memory", "cc"); [4742-4743] - GenericResultAtLocation [Line: 4749]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("xchgw %w0, %1\n": "+r" (__ret), "+m" (tmp___6->state): : "memory", "cc"); [4749-4750] - GenericResultAtLocation [Line: 4756]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("xchgl %0, %1\n": "+r" (__ret), "+m" (tmp___7->state): : "memory", "cc"); [4756-4757] - GenericResultAtLocation [Line: 4763]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("xchgq %q0, %1\n": "+r" (__ret), "+m" (tmp___8->state): : "memory", "cc"); [4763-4764] - GenericResultAtLocation [Line: 5499]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("": : : "memory"); [5499] 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: TYPE ERROR