./Ultimate.py --spec /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/properties/termination.prp --file /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/ldv-consumption/linux-3.8-rc1-32_7a-drivers--media--common--saa7146--saa7146.ko-ldv_main0.cil.out.i --full-output --architecture 64bit -------------------------------------------------------------------------------- Checking for termination 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/AutomizerTermination.xml -i /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/ldv-consumption/linux-3.8-rc1-32_7a-drivers--media--common--saa7146--saa7146.ko-ldv_main0.cil.out.i -s /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/config/svcomp-Termination-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(F end) ) --witnessprinter.graph.data.producer Automizer --witnessprinter.graph.data.architecture 64bit --witnessprinter.graph.data.programhash 1eca54884b2de114314d9c58cf9f548de64f8f1d76bbbd4392e529f07223b640 --- Real Ultimate output --- This is Ultimate 0.2.5-tmp.dk.eval-mul-div-a046e57-m [2024-10-13 18:24:41,396 INFO L188 SettingsManager]: Resetting all preferences to default values... [2024-10-13 18:24:41,464 INFO L114 SettingsManager]: Loading settings from /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/config/svcomp-Termination-64bit-Automizer_Default.epf [2024-10-13 18:24:41,468 WARN L101 SettingsManager]: Preference file contains the following unknown settings: [2024-10-13 18:24:41,469 WARN L103 SettingsManager]: * de.uni_freiburg.informatik.ultimate.core.Log level for class [2024-10-13 18:24:41,511 INFO L130 SettingsManager]: Preferences different from defaults after loading the file: [2024-10-13 18:24:41,511 INFO L151 SettingsManager]: Preferences of UltimateCore differ from their defaults: [2024-10-13 18:24:41,512 INFO L153 SettingsManager]: * Log level for class=de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=ERROR; [2024-10-13 18:24:41,513 INFO L151 SettingsManager]: Preferences of Boogie Preprocessor differ from their defaults: [2024-10-13 18:24:41,516 INFO L153 SettingsManager]: * Use memory slicer=true [2024-10-13 18:24:41,517 INFO L151 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2024-10-13 18:24:41,517 INFO L153 SettingsManager]: * Create parallel compositions if possible=false [2024-10-13 18:24:41,518 INFO L153 SettingsManager]: * Use SBE=true [2024-10-13 18:24:41,518 INFO L151 SettingsManager]: Preferences of BuchiAutomizer differ from their defaults: [2024-10-13 18:24:41,518 INFO L153 SettingsManager]: * NCSB implementation=INTSET_LAZY3 [2024-10-13 18:24:41,518 INFO L153 SettingsManager]: * Use old map elimination=false [2024-10-13 18:24:41,519 INFO L153 SettingsManager]: * Use external solver (rank synthesis)=false [2024-10-13 18:24:41,519 INFO L153 SettingsManager]: * Use only trivial implications for array writes=true [2024-10-13 18:24:41,519 INFO L153 SettingsManager]: * Rank analysis=LINEAR_WITH_GUESSES [2024-10-13 18:24:41,519 INFO L151 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2024-10-13 18:24:41,519 INFO L153 SettingsManager]: * Pointer base address is valid at dereference=ASSUME [2024-10-13 18:24:41,522 INFO L153 SettingsManager]: * Overapproximate operations on floating types=true [2024-10-13 18:24:41,522 INFO L153 SettingsManager]: * Check division by zero=IGNORE [2024-10-13 18:24:41,522 INFO L153 SettingsManager]: * Pointer to allocated memory at dereference=ASSUME [2024-10-13 18:24:41,522 INFO L153 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=ASSUME [2024-10-13 18:24:41,523 INFO L153 SettingsManager]: * Check array bounds for arrays that are off heap=ASSUME [2024-10-13 18:24:41,523 INFO L153 SettingsManager]: * Allow undefined functions=false [2024-10-13 18:24:41,523 INFO L153 SettingsManager]: * Check unreachability of reach_error function=false [2024-10-13 18:24:41,523 INFO L153 SettingsManager]: * Check if freed pointer was valid=false [2024-10-13 18:24:41,524 INFO L153 SettingsManager]: * Assume nondeterminstic values are in range=false [2024-10-13 18:24:41,524 INFO L153 SettingsManager]: * Use constant arrays=true [2024-10-13 18:24:41,524 INFO L151 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2024-10-13 18:24:41,524 INFO L153 SettingsManager]: * Size of a code block=SequenceOfStatements [2024-10-13 18:24:41,525 INFO L151 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2024-10-13 18:24:41,525 INFO L153 SettingsManager]: * Trace refinement strategy=CAMEL [2024-10-13 18:24:41,526 INFO L151 SettingsManager]: Preferences of IcfgTransformer differ from their defaults: [2024-10-13 18:24:41,526 INFO L153 SettingsManager]: * TransformationType=MODULO_NEIGHBOR 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(F end) ) 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 -> 1eca54884b2de114314d9c58cf9f548de64f8f1d76bbbd4392e529f07223b640 [2024-10-13 18:24:41,803 INFO L75 nceAwareModelManager]: Repository-Root is: /tmp [2024-10-13 18:24:41,831 INFO L261 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2024-10-13 18:24:41,836 INFO L217 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2024-10-13 18:24:41,837 INFO L270 PluginConnector]: Initializing CDTParser... [2024-10-13 18:24:41,838 INFO L274 PluginConnector]: CDTParser initialized [2024-10-13 18:24:41,839 INFO L431 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/ldv-consumption/linux-3.8-rc1-32_7a-drivers--media--common--saa7146--saa7146.ko-ldv_main0.cil.out.i [2024-10-13 18:24:43,333 INFO L533 CDTParser]: Created temporary CDT project at NULL [2024-10-13 18:24:43,839 INFO L384 CDTParser]: Found 1 translation units. [2024-10-13 18:24:43,840 INFO L180 CDTParser]: Scanning /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/ldv-consumption/linux-3.8-rc1-32_7a-drivers--media--common--saa7146--saa7146.ko-ldv_main0.cil.out.i [2024-10-13 18:24:43,893 INFO L427 CDTParser]: About to delete temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/375bca4af/eeb62478d35c4895a9b9d8d105666644/FLAGe80733954 [2024-10-13 18:24:43,911 INFO L435 CDTParser]: Successfully deleted /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/375bca4af/eeb62478d35c4895a9b9d8d105666644 [2024-10-13 18:24:43,914 INFO L299 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2024-10-13 18:24:43,916 INFO L133 ToolchainWalker]: Walking toolchain with 6 elements. [2024-10-13 18:24:43,919 INFO L112 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2024-10-13 18:24:43,920 INFO L270 PluginConnector]: Initializing CACSL2BoogieTranslator... [2024-10-13 18:24:43,926 INFO L274 PluginConnector]: CACSL2BoogieTranslator initialized [2024-10-13 18:24:43,926 INFO L184 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 13.10 06:24:43" (1/1) ... [2024-10-13 18:24:43,927 INFO L204 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@2c030804 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.10 06:24:43, skipping insertion in model container [2024-10-13 18:24:43,928 INFO L184 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 13.10 06:24:43" (1/1) ... [2024-10-13 18:24:44,032 INFO L175 MainTranslator]: Built tables and reachable declarations [2024-10-13 18:24:45,779 INFO L210 PostProcessor]: Analyzing one entry point: main [2024-10-13 18:24:45,798 INFO L200 MainTranslator]: Completed pre-run [2024-10-13 18:24:45,910 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("bt %2,%1\n\tsbb %0,%0": "=r" (oldbit): "m" (*((unsigned long *)addr)), "Ir" (nr)); [4603-4604] [2024-10-13 18:24:45,913 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("movb %%gs:%P1,%0": "=q" (pfo_ret__): "p" (& current_task)); [4618] [2024-10-13 18:24:45,914 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("movw %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& current_task)); [4621] [2024-10-13 18:24:45,914 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("movl %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& current_task)); [4624] [2024-10-13 18:24:45,915 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("movq %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& current_task)); [4627] [2024-10-13 18:24:45,918 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("movl %1,%0": "=r" (ret): "m" (*((unsigned int volatile *)addr)): "memory"); [4694] [2024-10-13 18:24:45,920 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("movl %0,%1": : "r" (val), "m" (*((unsigned int volatile *)addr)): "memory"); [4701] [2024-10-13 18:24:46,005 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tud2\n.pushsection __bug_table,\"a\"\n2:\t.long 1b - 2b, %c0 - 2b\n\t.word %c1, 0\n\t.org 2b+%c2\n.popsection": : "i" ((char *)"/work/ldvuser/exper_fp/inst/current/envs/linux-3.10-rc1.tar/linux-3.10-rc1/arch/x86/include/asm/paravirt.h"), "i" (824), "i" (12UL)); [5674-5675] [2024-10-13 18:24:46,006 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("771:\n\tcall *%c2;\n772:\n.pushsection .parainstructions,\"a\"\n .balign 8 \n .quad 771b\n .byte %c1\n .byte 772b-771b\n .short %c3\n.popsection\n": "=a" (__eax): [paravirt_typenum] "i" (44UL), [paravirt_opptr] "i" (& pv_irq_ops.save_fl.func), [paravirt_clobber] "i" (1): "memory", "cc"); [5680-5682] [2024-10-13 18:24:46,016 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tud2\n.pushsection __bug_table,\"a\"\n2:\t.long 1b - 2b, %c0 - 2b\n\t.word %c1, 0\n\t.org 2b+%c2\n.popsection": : "i" ((char *)"include/linux/scatterlist.h"), "i" (65), "i" (12UL)); [5811-5812] [2024-10-13 18:24:46,019 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tud2\n.pushsection __bug_table,\"a\"\n2:\t.long 1b - 2b, %c0 - 2b\n\t.word %c1, 0\n\t.org 2b+%c2\n.popsection": : "i" ((char *)"include/linux/scatterlist.h"), "i" (67), "i" (12UL)); [5819-5820] [2024-10-13 18:24:46,020 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tud2\n.pushsection __bug_table,\"a\"\n2:\t.long 1b - 2b, %c0 - 2b\n\t.word %c1, 0\n\t.org 2b+%c2\n.popsection": : "i" ((char *)"include/linux/scatterlist.h"), "i" (68), "i" (12UL)); [5827-5828] [2024-10-13 18:24:46,021 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tud2\n.pushsection __bug_table,\"a\"\n2:\t.long 1b - 2b, %c0 - 2b\n\t.word %c1, 0\n\t.org 2b+%c2\n.popsection": : "i" ((char *)"include/linux/scatterlist.h"), "i" (98), "i" (12UL)); [5854-5855] [2024-10-13 18:24:46,022 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tud2\n.pushsection __bug_table,\"a\"\n2:\t.long 1b - 2b, %c0 - 2b\n\t.word %c1, 0\n\t.org 2b+%c2\n.popsection": : "i" ((char *)"include/linux/scatterlist.h"), "i" (99), "i" (12UL)); [5862-5863] [2024-10-13 18:24:46,029 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tud2\n.pushsection __bug_table,\"a\"\n2:\t.long 1b - 2b, %c0 - 2b\n\t.word %c1, 0\n\t.org 2b+%c2\n.popsection": : "i" ((char *)"include/asm-generic/dma-mapping-common.h"), "i" (52), "i" (12UL)); [5951-5952] [2024-10-13 18:24:46,030 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tud2\n.pushsection __bug_table,\"a\"\n2:\t.long 1b - 2b, %c0 - 2b\n\t.word %c1, 0\n\t.org 2b+%c2\n.popsection": : "i" ((char *)"include/asm-generic/dma-mapping-common.h"), "i" (65), "i" (12UL)); [5976-5977] [2024-10-13 18:24:46,040 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tud2\n.pushsection __bug_table,\"a\"\n2:\t.long 1b - 2b, %c0 - 2b\n\t.word %c1, 0\n\t.org 2b+%c2\n.popsection": : "i" ((char *)"/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_core.c.prepared"), "i" (99), "i" (12UL)); [6174-6175] [2024-10-13 18:24:46,051 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tud2\n.pushsection __bug_table,\"a\"\n2:\t.long 1b - 2b, %c0 - 2b\n\t.word %c1, 0\n\t.org 2b+%c2\n.popsection": : "i" ((char *)"/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_core.c.prepared"), "i" (210), "i" (12UL)); [6359-6360] [2024-10-13 18:24:46,059 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tud2\n.pushsection __bug_table,\"a\"\n2:\t.long 1b - 2b, %c0 - 2b\n\t.word %c1, 0\n\t.org 2b+%c2\n.popsection": : "i" ((char *)"/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_core.c.prepared"), "i" (301), "i" (12UL)); [6490-6491] [2024-10-13 18:24:46,060 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tud2\n.pushsection __bug_table,\"a\"\n2:\t.long 1b - 2b, %c0 - 2b\n\t.word %c1, 0\n\t.org 2b+%c2\n.popsection": : "i" ((char *)"/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_core.c.prepared"), "i" (302), "i" (12UL)); [6498-6499] [2024-10-13 18:24:46,169 INFO L210 PostProcessor]: Analyzing one entry point: main [2024-10-13 18:24:46,236 INFO L204 MainTranslator]: Completed translation [2024-10-13 18:24:46,237 INFO L201 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.10 06:24:46 WrapperNode [2024-10-13 18:24:46,238 INFO L131 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2024-10-13 18:24:46,239 INFO L112 PluginConnector]: ------------------------Boogie Procedure Inliner---------------------------- [2024-10-13 18:24:46,239 INFO L270 PluginConnector]: Initializing Boogie Procedure Inliner... [2024-10-13 18:24:46,239 INFO L274 PluginConnector]: Boogie Procedure Inliner initialized [2024-10-13 18:24:46,248 INFO L184 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.10 06:24:46" (1/1) ... [2024-10-13 18:24:46,277 ERROR L1136 TypeChecker]: C: descriptor.function = "saa7146_i2c_reset" [4914]: Variable #t~ret87 modified in procedure saa7146_i2c_reset but not declared [2024-10-13 18:24:46,277 ERROR L1136 TypeChecker]: C: descriptor.function = "saa7146_i2c_reset" [4914]: Undeclared identifier #t~ret87 in IdentifierExpression[#t~ret87,] [2024-10-13 18:24:46,277 ERROR L1136 TypeChecker]: C: descriptor.function = "saa7146_i2c_reset" [4914]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret87,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,278 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [4915]: Variable #t~ret88 modified in procedure saa7146_i2c_reset but not declared [2024-10-13 18:24:46,278 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [4915]: Undeclared identifier #t~ret88 in IdentifierExpression[#t~ret88,] [2024-10-13 18:24:46,278 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [4915]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret88,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,278 ERROR L1136 TypeChecker]: C: descriptor.format = "%s(): busy_state detected\n" [4916]: Variable #t~ret89 modified in procedure saa7146_i2c_reset but not declared [2024-10-13 18:24:46,279 ERROR L1136 TypeChecker]: C: descriptor.format = "%s(): busy_state detected\n" [4916]: Undeclared identifier #t~ret89 in IdentifierExpression[#t~ret89,] [2024-10-13 18:24:46,279 ERROR L1136 TypeChecker]: C: descriptor.format = "%s(): busy_state detected\n" [4916]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret89,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,283 ERROR L1136 TypeChecker]: C: descriptor___0.function = "saa7146_i2c_reset" [4938]: Variable #t~ret104 modified in procedure saa7146_i2c_reset but not declared [2024-10-13 18:24:46,284 ERROR L1136 TypeChecker]: C: descriptor___0.function = "saa7146_i2c_reset" [4938]: Undeclared identifier #t~ret104 in IdentifierExpression[#t~ret104,] [2024-10-13 18:24:46,284 ERROR L1136 TypeChecker]: C: descriptor___0.function = "saa7146_i2c_reset" [4938]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret104,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,284 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [4939]: Variable #t~ret105 modified in procedure saa7146_i2c_reset but not declared [2024-10-13 18:24:46,284 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [4939]: Undeclared identifier #t~ret105 in IdentifierExpression[#t~ret105,] [2024-10-13 18:24:46,284 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [4939]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret105,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,285 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s(): error_state detected. status:0x%08x\n" [4940]: Variable #t~ret106 modified in procedure saa7146_i2c_reset but not declared [2024-10-13 18:24:46,285 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s(): error_state detected. status:0x%08x\n" [4940]: Undeclared identifier #t~ret106 in IdentifierExpression[#t~ret106,] [2024-10-13 18:24:46,285 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s(): error_state detected. status:0x%08x\n" [4940]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret106,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,285 ERROR L1136 TypeChecker]: C: descriptor___1.function = "saa7146_i2c_reset" [4966]: Variable #t~ret124 modified in procedure saa7146_i2c_reset but not declared [2024-10-13 18:24:46,286 ERROR L1136 TypeChecker]: C: descriptor___1.function = "saa7146_i2c_reset" [4966]: Undeclared identifier #t~ret124 in IdentifierExpression[#t~ret124,] [2024-10-13 18:24:46,286 ERROR L1136 TypeChecker]: C: descriptor___1.function = "saa7146_i2c_reset" [4966]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret124,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___1~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,286 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [4967]: Variable #t~ret125 modified in procedure saa7146_i2c_reset but not declared [2024-10-13 18:24:46,286 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [4967]: Undeclared identifier #t~ret125 in IdentifierExpression[#t~ret125,] [2024-10-13 18:24:46,286 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [4967]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret125,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___1~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,287 ERROR L1136 TypeChecker]: C: descriptor___1.format = "%s(): fatal error. status:0x%08x\n" [4968]: Variable #t~ret126 modified in procedure saa7146_i2c_reset but not declared [2024-10-13 18:24:46,287 ERROR L1136 TypeChecker]: C: descriptor___1.format = "%s(): fatal error. status:0x%08x\n" [4968]: Undeclared identifier #t~ret126 in IdentifierExpression[#t~ret126,] [2024-10-13 18:24:46,287 ERROR L1136 TypeChecker]: C: descriptor___1.format = "%s(): fatal error. status:0x%08x\n" [4968]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret126,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___1~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,291 ERROR L1136 TypeChecker]: C: descriptor.function = "saa7146_i2c_writeout" [5020]: Variable #t~ret132 modified in procedure saa7146_i2c_writeout but not declared [2024-10-13 18:24:46,291 ERROR L1136 TypeChecker]: C: descriptor.function = "saa7146_i2c_writeout" [5020]: Undeclared identifier #t~ret132 in IdentifierExpression[#t~ret132,] [2024-10-13 18:24:46,291 ERROR L1136 TypeChecker]: C: descriptor.function = "saa7146_i2c_writeout" [5020]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret132,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~1,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,291 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [5021]: Variable #t~ret133 modified in procedure saa7146_i2c_writeout but not declared [2024-10-13 18:24:46,292 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [5021]: Undeclared identifier #t~ret133 in IdentifierExpression[#t~ret133,] [2024-10-13 18:24:46,292 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [5021]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret133,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~1,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,292 ERROR L1136 TypeChecker]: C: descriptor.format = "%s(): before: 0x%08x (status: 0x%08x), %d\n" [5022]: Variable #t~ret134 modified in procedure saa7146_i2c_writeout but not declared [2024-10-13 18:24:46,292 ERROR L1136 TypeChecker]: C: descriptor.format = "%s(): before: 0x%08x (status: 0x%08x), %d\n" [5022]: Undeclared identifier #t~ret134 in IdentifierExpression[#t~ret134,] [2024-10-13 18:24:46,292 ERROR L1136 TypeChecker]: C: descriptor.format = "%s(): before: 0x%08x (status: 0x%08x), %d\n" [5022]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret134,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~1,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,298 ERROR L1136 TypeChecker]: C: descriptor___0.function = "saa7146_i2c_writeout" [5136]: Variable #t~ret179 modified in procedure saa7146_i2c_writeout but not declared [2024-10-13 18:24:46,298 ERROR L1136 TypeChecker]: C: descriptor___0.function = "saa7146_i2c_writeout" [5136]: Undeclared identifier #t~ret179 in IdentifierExpression[#t~ret179,] [2024-10-13 18:24:46,298 ERROR L1136 TypeChecker]: C: descriptor___0.function = "saa7146_i2c_writeout" [5136]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret179,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,298 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [5137]: Variable #t~ret180 modified in procedure saa7146_i2c_writeout but not declared [2024-10-13 18:24:46,299 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [5137]: Undeclared identifier #t~ret180 in IdentifierExpression[#t~ret180,] [2024-10-13 18:24:46,299 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [5137]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret180,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,299 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s(): unexpected i2c status %04x\n" [5138]: Variable #t~ret181 modified in procedure saa7146_i2c_writeout but not declared [2024-10-13 18:24:46,299 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s(): unexpected i2c status %04x\n" [5138]: Undeclared identifier #t~ret181 in IdentifierExpression[#t~ret181,] [2024-10-13 18:24:46,299 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s(): unexpected i2c status %04x\n" [5138]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret181,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,300 ERROR L1136 TypeChecker]: C: descriptor___1.function = "saa7146_i2c_writeout" [5154]: Variable #t~ret188 modified in procedure saa7146_i2c_writeout but not declared [2024-10-13 18:24:46,300 ERROR L1136 TypeChecker]: C: descriptor___1.function = "saa7146_i2c_writeout" [5154]: Undeclared identifier #t~ret188 in IdentifierExpression[#t~ret188,] [2024-10-13 18:24:46,300 ERROR L1136 TypeChecker]: C: descriptor___1.function = "saa7146_i2c_writeout" [5154]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret188,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___1~1,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,300 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [5155]: Variable #t~ret189 modified in procedure saa7146_i2c_writeout but not declared [2024-10-13 18:24:46,300 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [5155]: Undeclared identifier #t~ret189 in IdentifierExpression[#t~ret189,] [2024-10-13 18:24:46,301 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [5155]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret189,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___1~1,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,301 ERROR L1136 TypeChecker]: C: descriptor___1.format = "%s(): error due to invalid start/stop condition\n" [5156]: Variable #t~ret190 modified in procedure saa7146_i2c_writeout but not declared [2024-10-13 18:24:46,301 ERROR L1136 TypeChecker]: C: descriptor___1.format = "%s(): error due to invalid start/stop condition\n" [5156]: Undeclared identifier #t~ret190 in IdentifierExpression[#t~ret190,] [2024-10-13 18:24:46,305 ERROR L1136 TypeChecker]: C: descriptor___1.format = "%s(): error due to invalid start/stop condition\n" [5156]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret190,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___1~1,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,306 ERROR L1136 TypeChecker]: C: descriptor___2.function = "saa7146_i2c_writeout" [5172]: Variable #t~ret197 modified in procedure saa7146_i2c_writeout but not declared [2024-10-13 18:24:46,306 ERROR L1136 TypeChecker]: C: descriptor___2.function = "saa7146_i2c_writeout" [5172]: Undeclared identifier #t~ret197 in IdentifierExpression[#t~ret197,] [2024-10-13 18:24:46,306 ERROR L1136 TypeChecker]: C: descriptor___2.function = "saa7146_i2c_writeout" [5172]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret197,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,306 ERROR L1136 TypeChecker]: C: descriptor___2.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [5173]: Variable #t~ret198 modified in procedure saa7146_i2c_writeout but not declared [2024-10-13 18:24:46,307 ERROR L1136 TypeChecker]: C: descriptor___2.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [5173]: Undeclared identifier #t~ret198 in IdentifierExpression[#t~ret198,] [2024-10-13 18:24:46,307 ERROR L1136 TypeChecker]: C: descriptor___2.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [5173]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret198,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,307 ERROR L1136 TypeChecker]: C: descriptor___2.format = "%s(): error in data transmission\n" [5174]: Variable #t~ret199 modified in procedure saa7146_i2c_writeout but not declared [2024-10-13 18:24:46,307 ERROR L1136 TypeChecker]: C: descriptor___2.format = "%s(): error in data transmission\n" [5174]: Undeclared identifier #t~ret199 in IdentifierExpression[#t~ret199,] [2024-10-13 18:24:46,307 ERROR L1136 TypeChecker]: C: descriptor___2.format = "%s(): error in data transmission\n" [5174]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret199,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,308 ERROR L1136 TypeChecker]: C: descriptor___3.function = "saa7146_i2c_writeout" [5190]: Variable #t~ret206 modified in procedure saa7146_i2c_writeout but not declared [2024-10-13 18:24:46,308 ERROR L1136 TypeChecker]: C: descriptor___3.function = "saa7146_i2c_writeout" [5190]: Undeclared identifier #t~ret206 in IdentifierExpression[#t~ret206,] [2024-10-13 18:24:46,308 ERROR L1136 TypeChecker]: C: descriptor___3.function = "saa7146_i2c_writeout" [5190]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret206,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,308 ERROR L1136 TypeChecker]: C: descriptor___3.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [5191]: Variable #t~ret207 modified in procedure saa7146_i2c_writeout but not declared [2024-10-13 18:24:46,308 ERROR L1136 TypeChecker]: C: descriptor___3.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [5191]: Undeclared identifier #t~ret207 in IdentifierExpression[#t~ret207,] [2024-10-13 18:24:46,308 ERROR L1136 TypeChecker]: C: descriptor___3.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [5191]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret207,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,309 ERROR L1136 TypeChecker]: C: descriptor___3.format = "%s(): error when receiving data\n" [5192]: Variable #t~ret208 modified in procedure saa7146_i2c_writeout but not declared [2024-10-13 18:24:46,309 ERROR L1136 TypeChecker]: C: descriptor___3.format = "%s(): error when receiving data\n" [5192]: Undeclared identifier #t~ret208 in IdentifierExpression[#t~ret208,] [2024-10-13 18:24:46,309 ERROR L1136 TypeChecker]: C: descriptor___3.format = "%s(): error when receiving data\n" [5192]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret208,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,312 ERROR L1136 TypeChecker]: C: descriptor___4.function = "saa7146_i2c_writeout" [5208]: Variable #t~ret215 modified in procedure saa7146_i2c_writeout but not declared [2024-10-13 18:24:46,313 ERROR L1136 TypeChecker]: C: descriptor___4.function = "saa7146_i2c_writeout" [5208]: Undeclared identifier #t~ret215 in IdentifierExpression[#t~ret215,] [2024-10-13 18:24:46,313 ERROR L1136 TypeChecker]: C: descriptor___4.function = "saa7146_i2c_writeout" [5208]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret215,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___4~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___4~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,313 ERROR L1136 TypeChecker]: C: descriptor___4.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [5209]: Variable #t~ret216 modified in procedure saa7146_i2c_writeout but not declared [2024-10-13 18:24:46,313 ERROR L1136 TypeChecker]: C: descriptor___4.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [5209]: Undeclared identifier #t~ret216 in IdentifierExpression[#t~ret216,] [2024-10-13 18:24:46,313 ERROR L1136 TypeChecker]: C: descriptor___4.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [5209]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret216,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___4~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___4~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,314 ERROR L1136 TypeChecker]: C: descriptor___4.format = "%s(): error because arbitration lost\n" [5210]: Variable #t~ret217 modified in procedure saa7146_i2c_writeout but not declared [2024-10-13 18:24:46,314 ERROR L1136 TypeChecker]: C: descriptor___4.format = "%s(): error because arbitration lost\n" [5210]: Undeclared identifier #t~ret217 in IdentifierExpression[#t~ret217,] [2024-10-13 18:24:46,314 ERROR L1136 TypeChecker]: C: descriptor___4.format = "%s(): error because arbitration lost\n" [5210]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret217,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___4~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___4~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,314 ERROR L1136 TypeChecker]: C: descriptor___5.function = "saa7146_i2c_writeout" [5226]: Variable #t~ret224 modified in procedure saa7146_i2c_writeout but not declared [2024-10-13 18:24:46,315 ERROR L1136 TypeChecker]: C: descriptor___5.function = "saa7146_i2c_writeout" [5226]: Undeclared identifier #t~ret224 in IdentifierExpression[#t~ret224,] [2024-10-13 18:24:46,315 ERROR L1136 TypeChecker]: C: descriptor___5.function = "saa7146_i2c_writeout" [5226]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret224,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___5~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___5~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,315 ERROR L1136 TypeChecker]: C: descriptor___5.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [5227]: Variable #t~ret225 modified in procedure saa7146_i2c_writeout but not declared [2024-10-13 18:24:46,315 ERROR L1136 TypeChecker]: C: descriptor___5.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [5227]: Undeclared identifier #t~ret225 in IdentifierExpression[#t~ret225,] [2024-10-13 18:24:46,315 ERROR L1136 TypeChecker]: C: descriptor___5.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [5227]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret225,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___5~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___5~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,316 ERROR L1136 TypeChecker]: C: descriptor___5.format = "%s(): error in address phase\n" [5228]: Variable #t~ret226 modified in procedure saa7146_i2c_writeout but not declared [2024-10-13 18:24:46,316 ERROR L1136 TypeChecker]: C: descriptor___5.format = "%s(): error in address phase\n" [5228]: Undeclared identifier #t~ret226 in IdentifierExpression[#t~ret226,] [2024-10-13 18:24:46,319 ERROR L1136 TypeChecker]: C: descriptor___5.format = "%s(): error in address phase\n" [5228]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret226,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___5~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___5~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,320 ERROR L1136 TypeChecker]: C: descriptor___6.function = "saa7146_i2c_writeout" [5248]: Variable #t~ret234 modified in procedure saa7146_i2c_writeout but not declared [2024-10-13 18:24:46,321 ERROR L1136 TypeChecker]: C: descriptor___6.function = "saa7146_i2c_writeout" [5248]: Undeclared identifier #t~ret234 in IdentifierExpression[#t~ret234,] [2024-10-13 18:24:46,322 ERROR L1136 TypeChecker]: C: descriptor___6.function = "saa7146_i2c_writeout" [5248]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret234,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___6~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___6~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,322 ERROR L1136 TypeChecker]: C: descriptor___6.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [5249]: Variable #t~ret235 modified in procedure saa7146_i2c_writeout but not declared [2024-10-13 18:24:46,322 ERROR L1136 TypeChecker]: C: descriptor___6.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [5249]: Undeclared identifier #t~ret235 in IdentifierExpression[#t~ret235,] [2024-10-13 18:24:46,322 ERROR L1136 TypeChecker]: C: descriptor___6.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [5249]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret235,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___6~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___6~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,323 ERROR L1136 TypeChecker]: C: descriptor___6.format = "%s(): after: 0x%08x\n" [5250]: Variable #t~ret236 modified in procedure saa7146_i2c_writeout but not declared [2024-10-13 18:24:46,323 ERROR L1136 TypeChecker]: C: descriptor___6.format = "%s(): after: 0x%08x\n" [5250]: Undeclared identifier #t~ret236 in IdentifierExpression[#t~ret236,] [2024-10-13 18:24:46,323 ERROR L1136 TypeChecker]: C: descriptor___6.format = "%s(): after: 0x%08x\n" [5250]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret236,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___6~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___6~0,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,324 ERROR L1136 TypeChecker]: C: descriptor.function = "saa7146_i2c_transfer" [5303]: Variable #t~ret245 modified in procedure saa7146_i2c_transfer but not declared [2024-10-13 18:24:46,328 ERROR L1136 TypeChecker]: C: descriptor.function = "saa7146_i2c_transfer" [5303]: Undeclared identifier #t~ret245 in IdentifierExpression[#t~ret245,] [2024-10-13 18:24:46,329 ERROR L1136 TypeChecker]: C: descriptor.function = "saa7146_i2c_transfer" [5303]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret245,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~2,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,329 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [5304]: Variable #t~ret246 modified in procedure saa7146_i2c_transfer but not declared [2024-10-13 18:24:46,329 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [5304]: Undeclared identifier #t~ret246 in IdentifierExpression[#t~ret246,] [2024-10-13 18:24:46,329 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [5304]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret246,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~2,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,330 ERROR L1136 TypeChecker]: C: descriptor.format = "%s(): msg:%d/%d\n" [5305]: Variable #t~ret247 modified in procedure saa7146_i2c_transfer but not declared [2024-10-13 18:24:46,330 ERROR L1136 TypeChecker]: C: descriptor.format = "%s(): msg:%d/%d\n" [5305]: Undeclared identifier #t~ret247 in IdentifierExpression[#t~ret247,] [2024-10-13 18:24:46,330 ERROR L1136 TypeChecker]: C: descriptor.format = "%s(): msg:%d/%d\n" [5305]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret247,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~2,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,332 ERROR L1136 TypeChecker]: C: descriptor___0.function = "saa7146_i2c_transfer" [5337]: Variable #t~ret259 modified in procedure saa7146_i2c_transfer but not declared [2024-10-13 18:24:46,332 ERROR L1136 TypeChecker]: C: descriptor___0.function = "saa7146_i2c_transfer" [5337]: Undeclared identifier #t~ret259 in IdentifierExpression[#t~ret259,] [2024-10-13 18:24:46,332 ERROR L1136 TypeChecker]: C: descriptor___0.function = "saa7146_i2c_transfer" [5337]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret259,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,333 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [5338]: Variable #t~ret260 modified in procedure saa7146_i2c_transfer but not declared [2024-10-13 18:24:46,333 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [5338]: Undeclared identifier #t~ret260 in IdentifierExpression[#t~ret260,] [2024-10-13 18:24:46,333 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [5338]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret260,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,333 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s(): could not reset i2c-device\n" [5339]: Variable #t~ret261 modified in procedure saa7146_i2c_transfer but not declared [2024-10-13 18:24:46,333 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s(): could not reset i2c-device\n" [5339]: Undeclared identifier #t~ret261 in IdentifierExpression[#t~ret261,] [2024-10-13 18:24:46,334 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s(): could not reset i2c-device\n" [5339]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret261,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,334 ERROR L1136 TypeChecker]: C: descriptor___1.function = "saa7146_i2c_transfer" [5364]: Variable #t~ret271 modified in procedure saa7146_i2c_transfer but not declared [2024-10-13 18:24:46,334 ERROR L1136 TypeChecker]: C: descriptor___1.function = "saa7146_i2c_transfer" [5364]: Undeclared identifier #t~ret271 in IdentifierExpression[#t~ret271,] [2024-10-13 18:24:46,334 ERROR L1136 TypeChecker]: C: descriptor___1.function = "saa7146_i2c_transfer" [5364]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret271,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___1~2,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,336 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [5365]: Variable #t~ret272 modified in procedure saa7146_i2c_transfer but not declared [2024-10-13 18:24:46,336 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [5365]: Undeclared identifier #t~ret272 in IdentifierExpression[#t~ret272,] [2024-10-13 18:24:46,337 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [5365]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret272,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___1~2,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,337 ERROR L1136 TypeChecker]: C: descriptor___1.format = "%s(): error while sending message(s). starting again\n" [5366]: Variable #t~ret273 modified in procedure saa7146_i2c_transfer but not declared [2024-10-13 18:24:46,337 ERROR L1136 TypeChecker]: C: descriptor___1.format = "%s(): error while sending message(s). starting again\n" [5366]: Undeclared identifier #t~ret273 in IdentifierExpression[#t~ret273,] [2024-10-13 18:24:46,337 ERROR L1136 TypeChecker]: C: descriptor___1.format = "%s(): error while sending message(s). starting again\n" [5366]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret273,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___1~2,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,337 ERROR L1136 TypeChecker]: C: descriptor___2.function = "saa7146_i2c_transfer" [5412]: Variable #t~ret280 modified in procedure saa7146_i2c_transfer but not declared [2024-10-13 18:24:46,337 ERROR L1136 TypeChecker]: C: descriptor___2.function = "saa7146_i2c_transfer" [5412]: Undeclared identifier #t~ret280 in IdentifierExpression[#t~ret280,] [2024-10-13 18:24:46,337 ERROR L1136 TypeChecker]: C: descriptor___2.function = "saa7146_i2c_transfer" [5412]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret280,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,338 ERROR L1136 TypeChecker]: C: descriptor___2.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [5413]: Variable #t~ret281 modified in procedure saa7146_i2c_transfer but not declared [2024-10-13 18:24:46,338 ERROR L1136 TypeChecker]: C: descriptor___2.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [5413]: Undeclared identifier #t~ret281 in IdentifierExpression[#t~ret281,] [2024-10-13 18:24:46,338 ERROR L1136 TypeChecker]: C: descriptor___2.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [5413]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret281,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,338 ERROR L1136 TypeChecker]: C: descriptor___2.format = "%s(): could not cleanup i2c-message\n" [5414]: Variable #t~ret282 modified in procedure saa7146_i2c_transfer but not declared [2024-10-13 18:24:46,338 ERROR L1136 TypeChecker]: C: descriptor___2.format = "%s(): could not cleanup i2c-message\n" [5414]: Undeclared identifier #t~ret282 in IdentifierExpression[#t~ret282,] [2024-10-13 18:24:46,338 ERROR L1136 TypeChecker]: C: descriptor___2.format = "%s(): could not cleanup i2c-message\n" [5414]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret282,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,338 ERROR L1136 TypeChecker]: C: descriptor___3.function = "saa7146_i2c_transfer" [5431]: Variable #t~ret288 modified in procedure saa7146_i2c_transfer but not declared [2024-10-13 18:24:46,338 ERROR L1136 TypeChecker]: C: descriptor___3.function = "saa7146_i2c_transfer" [5431]: Undeclared identifier #t~ret288 in IdentifierExpression[#t~ret288,] [2024-10-13 18:24:46,339 ERROR L1136 TypeChecker]: C: descriptor___3.function = "saa7146_i2c_transfer" [5431]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret288,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___3~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___3~1,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,339 ERROR L1136 TypeChecker]: C: descriptor___3.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [5432]: Variable #t~ret289 modified in procedure saa7146_i2c_transfer but not declared [2024-10-13 18:24:46,339 ERROR L1136 TypeChecker]: C: descriptor___3.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [5432]: Undeclared identifier #t~ret289 in IdentifierExpression[#t~ret289,] [2024-10-13 18:24:46,339 ERROR L1136 TypeChecker]: C: descriptor___3.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [5432]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret289,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___3~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___3~1,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,339 ERROR L1136 TypeChecker]: C: descriptor___3.format = "%s(): transmission successful. (msg:%d)\n" [5433]: Variable #t~ret290 modified in procedure saa7146_i2c_transfer but not declared [2024-10-13 18:24:46,341 ERROR L1136 TypeChecker]: C: descriptor___3.format = "%s(): transmission successful. (msg:%d)\n" [5433]: Undeclared identifier #t~ret290 in IdentifierExpression[#t~ret290,] [2024-10-13 18:24:46,341 ERROR L1136 TypeChecker]: C: descriptor___3.format = "%s(): transmission successful. (msg:%d)\n" [5433]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret290,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___3~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___3~1,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,342 ERROR L1136 TypeChecker]: C: descriptor.function = "saa7146_i2c_adapter_prepare" [5484]: Variable #t~ret305 modified in procedure saa7146_i2c_adapter_prepare but not declared [2024-10-13 18:24:46,342 ERROR L1136 TypeChecker]: C: descriptor.function = "saa7146_i2c_adapter_prepare" [5484]: Undeclared identifier #t~ret305 in IdentifierExpression[#t~ret305,] [2024-10-13 18:24:46,342 ERROR L1136 TypeChecker]: C: descriptor.function = "saa7146_i2c_adapter_prepare" [5484]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret305,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~3,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,342 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [5485]: Variable #t~ret306 modified in procedure saa7146_i2c_adapter_prepare but not declared [2024-10-13 18:24:46,343 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [5485]: Undeclared identifier #t~ret306 in IdentifierExpression[#t~ret306,] [2024-10-13 18:24:46,343 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_i2c.c.prepared" [5485]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret306,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~3,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,343 ERROR L1136 TypeChecker]: C: descriptor.format = "%s(): bitrate: 0x%08x\n" [5486]: Variable #t~ret307 modified in procedure saa7146_i2c_adapter_prepare but not declared [2024-10-13 18:24:46,343 ERROR L1136 TypeChecker]: C: descriptor.format = "%s(): bitrate: 0x%08x\n" [5486]: Undeclared identifier #t~ret307 in IdentifierExpression[#t~ret307,] [2024-10-13 18:24:46,344 ERROR L1136 TypeChecker]: C: descriptor.format = "%s(): bitrate: 0x%08x\n" [5486]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret307,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~3,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,350 ERROR L1136 TypeChecker]: C: descriptor.function = "saa7146_wait_for_debi_done_sleep" [6230]: Variable #t~ret506 modified in procedure saa7146_wait_for_debi_done_sleep but not declared [2024-10-13 18:24:46,352 ERROR L1136 TypeChecker]: C: descriptor.function = "saa7146_wait_for_debi_done_sleep" [6230]: Undeclared identifier #t~ret506 in IdentifierExpression[#t~ret506,] [2024-10-13 18:24:46,352 ERROR L1136 TypeChecker]: C: descriptor.function = "saa7146_wait_for_debi_done_sleep" [6230]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret506,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~4,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~4,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,352 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_core.c.prepared" [6231]: Variable #t~ret507 modified in procedure saa7146_wait_for_debi_done_sleep but not declared [2024-10-13 18:24:46,352 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_core.c.prepared" [6231]: Undeclared identifier #t~ret507 in IdentifierExpression[#t~ret507,] [2024-10-13 18:24:46,352 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_core.c.prepared" [6231]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret507,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~4,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~4,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,353 ERROR L1136 TypeChecker]: C: descriptor.format = "%s(): %s: %s timed out while waiting for transfer completion\n" [6232]: Variable #t~ret508 modified in procedure saa7146_wait_for_debi_done_sleep but not declared [2024-10-13 18:24:46,353 ERROR L1136 TypeChecker]: C: descriptor.format = "%s(): %s: %s timed out while waiting for transfer completion\n" [6232]: Undeclared identifier #t~ret508 in IdentifierExpression[#t~ret508,] [2024-10-13 18:24:46,353 ERROR L1136 TypeChecker]: C: descriptor.format = "%s(): %s: %s timed out while waiting for transfer completion\n" [6232]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret508,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~4,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~4,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,353 ERROR L1136 TypeChecker]: C: descriptor.function = "saa7146_wait_for_debi_done_busyloop" [6295]: Variable #t~ret523 modified in procedure saa7146_wait_for_debi_done_busyloop but not declared [2024-10-13 18:24:46,356 ERROR L1136 TypeChecker]: C: descriptor.function = "saa7146_wait_for_debi_done_busyloop" [6295]: Undeclared identifier #t~ret523 in IdentifierExpression[#t~ret523,] [2024-10-13 18:24:46,357 ERROR L1136 TypeChecker]: C: descriptor.function = "saa7146_wait_for_debi_done_busyloop" [6295]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret523,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~5,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~5,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,357 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_core.c.prepared" [6296]: Variable #t~ret524 modified in procedure saa7146_wait_for_debi_done_busyloop but not declared [2024-10-13 18:24:46,357 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_core.c.prepared" [6296]: Undeclared identifier #t~ret524 in IdentifierExpression[#t~ret524,] [2024-10-13 18:24:46,357 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_core.c.prepared" [6296]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret524,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~5,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~5,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,357 ERROR L1136 TypeChecker]: C: descriptor.format = "%s(): %s: %s timed out while waiting for transfer completion\n" [6297]: Variable #t~ret525 modified in procedure saa7146_wait_for_debi_done_busyloop but not declared [2024-10-13 18:24:46,358 ERROR L1136 TypeChecker]: C: descriptor.format = "%s(): %s: %s timed out while waiting for transfer completion\n" [6297]: Undeclared identifier #t~ret525 in IdentifierExpression[#t~ret525,] [2024-10-13 18:24:46,358 ERROR L1136 TypeChecker]: C: descriptor.format = "%s(): %s: %s timed out while waiting for transfer completion\n" [6297]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret525,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~5,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~5,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,359 ERROR L1136 TypeChecker]: C: descriptor.function = "interrupt_hw" [6578]: Variable #t~ret588 modified in procedure interrupt_hw but not declared [2024-10-13 18:24:46,359 ERROR L1136 TypeChecker]: C: descriptor.function = "interrupt_hw" [6578]: Undeclared identifier #t~ret588 in IdentifierExpression[#t~ret588,] [2024-10-13 18:24:46,359 ERROR L1136 TypeChecker]: C: descriptor.function = "interrupt_hw" [6578]: 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[8],StructAccessExpression[IdentifierExpression[~#descriptor~6,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,359 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_core.c.prepared" [6579]: Variable #t~ret589 modified in procedure interrupt_hw but not declared [2024-10-13 18:24:46,359 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_core.c.prepared" [6579]: Undeclared identifier #t~ret589 in IdentifierExpression[#t~ret589,] [2024-10-13 18:24:46,360 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_core.c.prepared" [6579]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret589,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~6,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~6,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,360 ERROR L1136 TypeChecker]: C: descriptor.format = "%s(): irq: RPS0 (0x%08x)\n" [6580]: Variable #t~ret590 modified in procedure interrupt_hw but not declared [2024-10-13 18:24:46,360 ERROR L1136 TypeChecker]: C: descriptor.format = "%s(): irq: RPS0 (0x%08x)\n" [6580]: Undeclared identifier #t~ret590 in IdentifierExpression[#t~ret590,] [2024-10-13 18:24:46,360 ERROR L1136 TypeChecker]: C: descriptor.format = "%s(): irq: RPS0 (0x%08x)\n" [6580]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret590,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~6,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~6,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,361 ERROR L1136 TypeChecker]: C: descriptor.function = "saa7146_init_one" [6672]: Variable #t~ret644 modified in procedure saa7146_init_one but not declared [2024-10-13 18:24:46,361 ERROR L1136 TypeChecker]: C: descriptor.function = "saa7146_init_one" [6672]: Undeclared identifier #t~ret644 in IdentifierExpression[#t~ret644,] [2024-10-13 18:24:46,361 ERROR L1136 TypeChecker]: C: descriptor.function = "saa7146_init_one" [6672]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret644,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~7,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~7,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,361 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_core.c.prepared" [6673]: Variable #t~ret645 modified in procedure saa7146_init_one but not declared [2024-10-13 18:24:46,361 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_core.c.prepared" [6673]: Undeclared identifier #t~ret645 in IdentifierExpression[#t~ret645,] [2024-10-13 18:24:46,363 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_core.c.prepared" [6673]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret645,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~7,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~7,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,364 ERROR L1136 TypeChecker]: C: descriptor.format = "%s(): pci:%p\n" [6674]: Variable #t~ret646 modified in procedure saa7146_init_one but not declared [2024-10-13 18:24:46,364 ERROR L1136 TypeChecker]: C: descriptor.format = "%s(): pci:%p\n" [6674]: Undeclared identifier #t~ret646 in IdentifierExpression[#t~ret646,] [2024-10-13 18:24:46,364 ERROR L1136 TypeChecker]: C: descriptor.format = "%s(): pci:%p\n" [6674]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret646,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~7,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~7,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,365 ERROR L1136 TypeChecker]: C: descriptor___0.function = "saa7146_init_one" [6759]: Variable #t~ret711 modified in procedure saa7146_init_one but not declared [2024-10-13 18:24:46,365 ERROR L1136 TypeChecker]: C: descriptor___0.function = "saa7146_init_one" [6759]: Undeclared identifier #t~ret711 in IdentifierExpression[#t~ret711,] [2024-10-13 18:24:46,365 ERROR L1136 TypeChecker]: C: descriptor___0.function = "saa7146_init_one" [6759]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret711,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___0~3,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,365 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_core.c.prepared" [6760]: Variable #t~ret712 modified in procedure saa7146_init_one but not declared [2024-10-13 18:24:46,365 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_core.c.prepared" [6760]: Undeclared identifier #t~ret712 in IdentifierExpression[#t~ret712,] [2024-10-13 18:24:46,366 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_core.c.prepared" [6760]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret712,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___0~3,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,366 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s(): ext->probe() failed for %p. skipping device.\n" [6761]: Variable #t~ret713 modified in procedure saa7146_init_one but not declared [2024-10-13 18:24:46,366 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s(): ext->probe() failed for %p. skipping device.\n" [6761]: Undeclared identifier #t~ret713 in IdentifierExpression[#t~ret713,] [2024-10-13 18:24:46,367 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s(): ext->probe() failed for %p. skipping device.\n" [6761]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret713,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___0~3,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,368 ERROR L1136 TypeChecker]: C: descriptor___1.function = "saa7146_init_one" [6781]: Variable #t~ret724 modified in procedure saa7146_init_one but not declared [2024-10-13 18:24:46,369 ERROR L1136 TypeChecker]: C: descriptor___1.function = "saa7146_init_one" [6781]: Undeclared identifier #t~ret724 in IdentifierExpression[#t~ret724,] [2024-10-13 18:24:46,369 ERROR L1136 TypeChecker]: C: descriptor___1.function = "saa7146_init_one" [6781]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret724,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___1~3,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,369 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_core.c.prepared" [6782]: Variable #t~ret725 modified in procedure saa7146_init_one but not declared [2024-10-13 18:24:46,369 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_core.c.prepared" [6782]: Undeclared identifier #t~ret725 in IdentifierExpression[#t~ret725,] [2024-10-13 18:24:46,369 ERROR L1136 TypeChecker]: C: descriptor___1.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_core.c.prepared" [6782]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret725,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___1~3,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,369 ERROR L1136 TypeChecker]: C: descriptor___1.format = "%s(): ext->attach() failed for %p. skipping device.\n" [6783]: Variable #t~ret726 modified in procedure saa7146_init_one but not declared [2024-10-13 18:24:46,370 ERROR L1136 TypeChecker]: C: descriptor___1.format = "%s(): ext->attach() failed for %p. skipping device.\n" [6783]: Undeclared identifier #t~ret726 in IdentifierExpression[#t~ret726,] [2024-10-13 18:24:46,370 ERROR L1136 TypeChecker]: C: descriptor___1.format = "%s(): ext->attach() failed for %p. skipping device.\n" [6783]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret726,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___1~3,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,370 ERROR L1136 TypeChecker]: C: descriptor.function = "saa7146_remove_one" [6846]: Variable #t~ret748 modified in procedure saa7146_remove_one but not declared [2024-10-13 18:24:46,371 ERROR L1136 TypeChecker]: C: descriptor.function = "saa7146_remove_one" [6846]: Undeclared identifier #t~ret748 in IdentifierExpression[#t~ret748,] [2024-10-13 18:24:46,371 ERROR L1136 TypeChecker]: C: descriptor.function = "saa7146_remove_one" [6846]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret748,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~8,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~8,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,371 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_core.c.prepared" [6847]: Variable #t~ret749 modified in procedure saa7146_remove_one but not declared [2024-10-13 18:24:46,371 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_core.c.prepared" [6847]: Undeclared identifier #t~ret749 in IdentifierExpression[#t~ret749,] [2024-10-13 18:24:46,371 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_core.c.prepared" [6847]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret749,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~8,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~8,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,371 ERROR L1136 TypeChecker]: C: descriptor.format = "%s(): dev:%p\n" [6848]: Variable #t~ret750 modified in procedure saa7146_remove_one but not declared [2024-10-13 18:24:46,371 ERROR L1136 TypeChecker]: C: descriptor.format = "%s(): dev:%p\n" [6848]: Undeclared identifier #t~ret750 in IdentifierExpression[#t~ret750,] [2024-10-13 18:24:46,371 ERROR L1136 TypeChecker]: C: descriptor.format = "%s(): dev:%p\n" [6848]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret750,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~8,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~8,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,372 ERROR L1136 TypeChecker]: C: descriptor.function = "saa7146_register_extension" [6890]: Variable #t~ret769 modified in procedure saa7146_register_extension but not declared [2024-10-13 18:24:46,372 ERROR L1136 TypeChecker]: C: descriptor.function = "saa7146_register_extension" [6890]: Undeclared identifier #t~ret769 in IdentifierExpression[#t~ret769,] [2024-10-13 18:24:46,372 ERROR L1136 TypeChecker]: C: descriptor.function = "saa7146_register_extension" [6890]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret769,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~9,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~9,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,372 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_core.c.prepared" [6891]: Variable #t~ret770 modified in procedure saa7146_register_extension but not declared [2024-10-13 18:24:46,372 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_core.c.prepared" [6891]: Undeclared identifier #t~ret770 in IdentifierExpression[#t~ret770,] [2024-10-13 18:24:46,374 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_core.c.prepared" [6891]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret770,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~9,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~9,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,374 ERROR L1136 TypeChecker]: C: descriptor.format = "%s(): ext:%p\n" [6892]: Variable #t~ret771 modified in procedure saa7146_register_extension but not declared [2024-10-13 18:24:46,374 ERROR L1136 TypeChecker]: C: descriptor.format = "%s(): ext:%p\n" [6892]: Undeclared identifier #t~ret771 in IdentifierExpression[#t~ret771,] [2024-10-13 18:24:46,374 ERROR L1136 TypeChecker]: C: descriptor.format = "%s(): ext:%p\n" [6892]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret771,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~9,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~9,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,375 ERROR L1136 TypeChecker]: C: descriptor.function = "saa7146_unregister_extension" [6919]: Variable #t~ret781 modified in procedure saa7146_unregister_extension but not declared [2024-10-13 18:24:46,375 ERROR L1136 TypeChecker]: C: descriptor.function = "saa7146_unregister_extension" [6919]: Undeclared identifier #t~ret781 in IdentifierExpression[#t~ret781,] [2024-10-13 18:24:46,375 ERROR L1136 TypeChecker]: C: descriptor.function = "saa7146_unregister_extension" [6919]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret781,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~10,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~10,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,375 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_core.c.prepared" [6920]: Variable #t~ret782 modified in procedure saa7146_unregister_extension but not declared [2024-10-13 18:24:46,375 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_core.c.prepared" [6920]: Undeclared identifier #t~ret782 in IdentifierExpression[#t~ret782,] [2024-10-13 18:24:46,375 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_core.c.prepared" [6920]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret782,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~10,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~10,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,375 ERROR L1136 TypeChecker]: C: descriptor.format = "%s(): ext:%p\n" [6921]: Variable #t~ret783 modified in procedure saa7146_unregister_extension but not declared [2024-10-13 18:24:46,375 ERROR L1136 TypeChecker]: C: descriptor.format = "%s(): ext:%p\n" [6921]: Undeclared identifier #t~ret783 in IdentifierExpression[#t~ret783,] [2024-10-13 18:24:46,376 ERROR L1136 TypeChecker]: C: descriptor.format = "%s(): ext:%p\n" [6921]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret783,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~10,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~10,],offset]]]],IntegerLiteral[8]]] [2024-10-13 18:24:46,378 INFO L184 PluginConnector]: Executing the observer Inliner from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.10 06:24:46" (1/1) ... [2024-10-13 18:24:46,381 INFO L131 PluginConnector]: ------------------------ END Boogie Procedure Inliner---------------------------- [2024-10-13 18:24:46,381 INFO L186 ToolchainWalker]: Toolchain execution was canceled (user or tool) before executing de.uni_freiburg.informatik.ultimate.boogie.preprocessor [2024-10-13 18:24:46,384 INFO L158 Benchmark]: Toolchain (without parser) took 2466.51ms. Allocated memory was 178.3MB in the beginning and 270.5MB in the end (delta: 92.3MB). Free memory was 134.5MB in the beginning and 126.0MB in the end (delta: 8.5MB). Peak memory consumption was 103.5MB. Max. memory is 16.1GB. [2024-10-13 18:24:46,384 INFO L158 Benchmark]: CDTParser took 0.22ms. Allocated memory is still 178.3MB. Free memory is still 146.0MB. There was no memory consumed. Max. memory is 16.1GB. [2024-10-13 18:24:46,385 INFO L158 Benchmark]: CACSL2BoogieTranslator took 2319.18ms. Allocated memory was 178.3MB in the beginning and 270.5MB in the end (delta: 92.3MB). Free memory was 133.9MB in the beginning and 141.7MB in the end (delta: -7.9MB). Peak memory consumption was 101.4MB. Max. memory is 16.1GB. [2024-10-13 18:24:46,386 INFO L158 Benchmark]: Boogie Procedure Inliner took 142.41ms. Allocated memory is still 270.5MB. Free memory was 141.7MB in the beginning and 126.0MB in the end (delta: 15.7MB). Peak memory consumption was 14.7MB. Max. memory is 16.1GB. [2024-10-13 18:24:46,387 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.22ms. Allocated memory is still 178.3MB. Free memory is still 146.0MB. There was no memory consumed. Max. memory is 16.1GB. * CACSL2BoogieTranslator took 2319.18ms. Allocated memory was 178.3MB in the beginning and 270.5MB in the end (delta: 92.3MB). Free memory was 133.9MB in the beginning and 141.7MB in the end (delta: -7.9MB). Peak memory consumption was 101.4MB. Max. memory is 16.1GB. * Boogie Procedure Inliner took 142.41ms. Allocated memory is still 270.5MB. Free memory was 141.7MB in the beginning and 126.0MB in the end (delta: 15.7MB). Peak memory consumption was 14.7MB. Max. memory is 16.1GB. * Results from de.uni_freiburg.informatik.ultimate.boogie.preprocessor: - TypeErrorResult [Line: 4914]: Type Error Variable #t~ret87 modified in procedure saa7146_i2c_reset but not declared - TypeErrorResult [Line: 4914]: Type Error Undeclared identifier #t~ret87 in IdentifierExpression[#t~ret87,] - TypeErrorResult [Line: 4914]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret87,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 4915]: Type Error Variable #t~ret88 modified in procedure saa7146_i2c_reset but not declared - TypeErrorResult [Line: 4915]: Type Error Undeclared identifier #t~ret88 in IdentifierExpression[#t~ret88,] - TypeErrorResult [Line: 4915]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret88,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 4916]: Type Error Variable #t~ret89 modified in procedure saa7146_i2c_reset but not declared - TypeErrorResult [Line: 4916]: Type Error Undeclared identifier #t~ret89 in IdentifierExpression[#t~ret89,] - TypeErrorResult [Line: 4916]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret89,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 4938]: Type Error Variable #t~ret104 modified in procedure saa7146_i2c_reset but not declared - TypeErrorResult [Line: 4938]: Type Error Undeclared identifier #t~ret104 in IdentifierExpression[#t~ret104,] - TypeErrorResult [Line: 4938]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret104,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 4939]: Type Error Variable #t~ret105 modified in procedure saa7146_i2c_reset but not declared - TypeErrorResult [Line: 4939]: Type Error Undeclared identifier #t~ret105 in IdentifierExpression[#t~ret105,] - TypeErrorResult [Line: 4939]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret105,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 4940]: Type Error Variable #t~ret106 modified in procedure saa7146_i2c_reset but not declared - TypeErrorResult [Line: 4940]: Type Error Undeclared identifier #t~ret106 in IdentifierExpression[#t~ret106,] - TypeErrorResult [Line: 4940]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret106,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 4966]: Type Error Variable #t~ret124 modified in procedure saa7146_i2c_reset but not declared - TypeErrorResult [Line: 4966]: Type Error Undeclared identifier #t~ret124 in IdentifierExpression[#t~ret124,] - TypeErrorResult [Line: 4966]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret124,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___1~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 4967]: Type Error Variable #t~ret125 modified in procedure saa7146_i2c_reset but not declared - TypeErrorResult [Line: 4967]: Type Error Undeclared identifier #t~ret125 in IdentifierExpression[#t~ret125,] - TypeErrorResult [Line: 4967]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret125,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___1~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 4968]: Type Error Variable #t~ret126 modified in procedure saa7146_i2c_reset but not declared - TypeErrorResult [Line: 4968]: Type Error Undeclared identifier #t~ret126 in IdentifierExpression[#t~ret126,] - TypeErrorResult [Line: 4968]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret126,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___1~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5020]: Type Error Variable #t~ret132 modified in procedure saa7146_i2c_writeout but not declared - TypeErrorResult [Line: 5020]: Type Error Undeclared identifier #t~ret132 in IdentifierExpression[#t~ret132,] - TypeErrorResult [Line: 5020]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret132,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5021]: Type Error Variable #t~ret133 modified in procedure saa7146_i2c_writeout but not declared - TypeErrorResult [Line: 5021]: Type Error Undeclared identifier #t~ret133 in IdentifierExpression[#t~ret133,] - TypeErrorResult [Line: 5021]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret133,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5022]: Type Error Variable #t~ret134 modified in procedure saa7146_i2c_writeout but not declared - TypeErrorResult [Line: 5022]: Type Error Undeclared identifier #t~ret134 in IdentifierExpression[#t~ret134,] - TypeErrorResult [Line: 5022]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret134,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5136]: Type Error Variable #t~ret179 modified in procedure saa7146_i2c_writeout but not declared - TypeErrorResult [Line: 5136]: Type Error Undeclared identifier #t~ret179 in IdentifierExpression[#t~ret179,] - TypeErrorResult [Line: 5136]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret179,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5137]: Type Error Variable #t~ret180 modified in procedure saa7146_i2c_writeout but not declared - TypeErrorResult [Line: 5137]: Type Error Undeclared identifier #t~ret180 in IdentifierExpression[#t~ret180,] - TypeErrorResult [Line: 5137]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret180,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5138]: Type Error Variable #t~ret181 modified in procedure saa7146_i2c_writeout but not declared - TypeErrorResult [Line: 5138]: Type Error Undeclared identifier #t~ret181 in IdentifierExpression[#t~ret181,] - TypeErrorResult [Line: 5138]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret181,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5154]: Type Error Variable #t~ret188 modified in procedure saa7146_i2c_writeout but not declared - TypeErrorResult [Line: 5154]: Type Error Undeclared identifier #t~ret188 in IdentifierExpression[#t~ret188,] - TypeErrorResult [Line: 5154]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret188,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___1~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5155]: Type Error Variable #t~ret189 modified in procedure saa7146_i2c_writeout but not declared - TypeErrorResult [Line: 5155]: Type Error Undeclared identifier #t~ret189 in IdentifierExpression[#t~ret189,] - TypeErrorResult [Line: 5155]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret189,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___1~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5156]: Type Error Variable #t~ret190 modified in procedure saa7146_i2c_writeout but not declared - TypeErrorResult [Line: 5156]: Type Error Undeclared identifier #t~ret190 in IdentifierExpression[#t~ret190,] - TypeErrorResult [Line: 5156]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret190,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___1~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5172]: Type Error Variable #t~ret197 modified in procedure saa7146_i2c_writeout but not declared - TypeErrorResult [Line: 5172]: Type Error Undeclared identifier #t~ret197 in IdentifierExpression[#t~ret197,] - TypeErrorResult [Line: 5172]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret197,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5173]: Type Error Variable #t~ret198 modified in procedure saa7146_i2c_writeout but not declared - TypeErrorResult [Line: 5173]: Type Error Undeclared identifier #t~ret198 in IdentifierExpression[#t~ret198,] - TypeErrorResult [Line: 5173]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret198,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5174]: Type Error Variable #t~ret199 modified in procedure saa7146_i2c_writeout but not declared - TypeErrorResult [Line: 5174]: Type Error Undeclared identifier #t~ret199 in IdentifierExpression[#t~ret199,] - TypeErrorResult [Line: 5174]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret199,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___2~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5190]: Type Error Variable #t~ret206 modified in procedure saa7146_i2c_writeout but not declared - TypeErrorResult [Line: 5190]: Type Error Undeclared identifier #t~ret206 in IdentifierExpression[#t~ret206,] - TypeErrorResult [Line: 5190]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret206,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5191]: Type Error Variable #t~ret207 modified in procedure saa7146_i2c_writeout but not declared - TypeErrorResult [Line: 5191]: Type Error Undeclared identifier #t~ret207 in IdentifierExpression[#t~ret207,] - TypeErrorResult [Line: 5191]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret207,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5192]: Type Error Variable #t~ret208 modified in procedure saa7146_i2c_writeout but not declared - TypeErrorResult [Line: 5192]: Type Error Undeclared identifier #t~ret208 in IdentifierExpression[#t~ret208,] - TypeErrorResult [Line: 5192]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret208,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___3~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5208]: Type Error Variable #t~ret215 modified in procedure saa7146_i2c_writeout but not declared - TypeErrorResult [Line: 5208]: Type Error Undeclared identifier #t~ret215 in IdentifierExpression[#t~ret215,] - TypeErrorResult [Line: 5208]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret215,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___4~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___4~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5209]: Type Error Variable #t~ret216 modified in procedure saa7146_i2c_writeout but not declared - TypeErrorResult [Line: 5209]: Type Error Undeclared identifier #t~ret216 in IdentifierExpression[#t~ret216,] - TypeErrorResult [Line: 5209]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret216,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___4~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___4~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5210]: Type Error Variable #t~ret217 modified in procedure saa7146_i2c_writeout but not declared - TypeErrorResult [Line: 5210]: Type Error Undeclared identifier #t~ret217 in IdentifierExpression[#t~ret217,] - TypeErrorResult [Line: 5210]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret217,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___4~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___4~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5226]: Type Error Variable #t~ret224 modified in procedure saa7146_i2c_writeout but not declared - TypeErrorResult [Line: 5226]: Type Error Undeclared identifier #t~ret224 in IdentifierExpression[#t~ret224,] - TypeErrorResult [Line: 5226]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret224,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___5~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___5~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5227]: Type Error Variable #t~ret225 modified in procedure saa7146_i2c_writeout but not declared - TypeErrorResult [Line: 5227]: Type Error Undeclared identifier #t~ret225 in IdentifierExpression[#t~ret225,] - TypeErrorResult [Line: 5227]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret225,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___5~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___5~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5228]: Type Error Variable #t~ret226 modified in procedure saa7146_i2c_writeout but not declared - TypeErrorResult [Line: 5228]: Type Error Undeclared identifier #t~ret226 in IdentifierExpression[#t~ret226,] - TypeErrorResult [Line: 5228]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret226,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___5~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___5~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5248]: Type Error Variable #t~ret234 modified in procedure saa7146_i2c_writeout but not declared - TypeErrorResult [Line: 5248]: Type Error Undeclared identifier #t~ret234 in IdentifierExpression[#t~ret234,] - TypeErrorResult [Line: 5248]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret234,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___6~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___6~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5249]: Type Error Variable #t~ret235 modified in procedure saa7146_i2c_writeout but not declared - TypeErrorResult [Line: 5249]: Type Error Undeclared identifier #t~ret235 in IdentifierExpression[#t~ret235,] - TypeErrorResult [Line: 5249]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret235,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___6~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___6~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5250]: Type Error Variable #t~ret236 modified in procedure saa7146_i2c_writeout but not declared - TypeErrorResult [Line: 5250]: Type Error Undeclared identifier #t~ret236 in IdentifierExpression[#t~ret236,] - TypeErrorResult [Line: 5250]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret236,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___6~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___6~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5303]: Type Error Variable #t~ret245 modified in procedure saa7146_i2c_transfer but not declared - TypeErrorResult [Line: 5303]: Type Error Undeclared identifier #t~ret245 in IdentifierExpression[#t~ret245,] - TypeErrorResult [Line: 5303]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret245,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~2,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5304]: Type Error Variable #t~ret246 modified in procedure saa7146_i2c_transfer but not declared - TypeErrorResult [Line: 5304]: Type Error Undeclared identifier #t~ret246 in IdentifierExpression[#t~ret246,] - TypeErrorResult [Line: 5304]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret246,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~2,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5305]: Type Error Variable #t~ret247 modified in procedure saa7146_i2c_transfer but not declared - TypeErrorResult [Line: 5305]: Type Error Undeclared identifier #t~ret247 in IdentifierExpression[#t~ret247,] - TypeErrorResult [Line: 5305]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret247,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~2,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5337]: Type Error Variable #t~ret259 modified in procedure saa7146_i2c_transfer but not declared - TypeErrorResult [Line: 5337]: Type Error Undeclared identifier #t~ret259 in IdentifierExpression[#t~ret259,] - TypeErrorResult [Line: 5337]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret259,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5338]: Type Error Variable #t~ret260 modified in procedure saa7146_i2c_transfer but not declared - TypeErrorResult [Line: 5338]: Type Error Undeclared identifier #t~ret260 in IdentifierExpression[#t~ret260,] - TypeErrorResult [Line: 5338]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret260,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5339]: Type Error Variable #t~ret261 modified in procedure saa7146_i2c_transfer but not declared - TypeErrorResult [Line: 5339]: Type Error Undeclared identifier #t~ret261 in IdentifierExpression[#t~ret261,] - TypeErrorResult [Line: 5339]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret261,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5364]: Type Error Variable #t~ret271 modified in procedure saa7146_i2c_transfer but not declared - TypeErrorResult [Line: 5364]: Type Error Undeclared identifier #t~ret271 in IdentifierExpression[#t~ret271,] - TypeErrorResult [Line: 5364]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret271,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___1~2,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5365]: Type Error Variable #t~ret272 modified in procedure saa7146_i2c_transfer but not declared - TypeErrorResult [Line: 5365]: Type Error Undeclared identifier #t~ret272 in IdentifierExpression[#t~ret272,] - TypeErrorResult [Line: 5365]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret272,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___1~2,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5366]: Type Error Variable #t~ret273 modified in procedure saa7146_i2c_transfer but not declared - TypeErrorResult [Line: 5366]: Type Error Undeclared identifier #t~ret273 in IdentifierExpression[#t~ret273,] - TypeErrorResult [Line: 5366]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret273,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___1~2,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5412]: Type Error Variable #t~ret280 modified in procedure saa7146_i2c_transfer but not declared - TypeErrorResult [Line: 5412]: Type Error Undeclared identifier #t~ret280 in IdentifierExpression[#t~ret280,] - TypeErrorResult [Line: 5412]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret280,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5413]: Type Error Variable #t~ret281 modified in procedure saa7146_i2c_transfer but not declared - TypeErrorResult [Line: 5413]: Type Error Undeclared identifier #t~ret281 in IdentifierExpression[#t~ret281,] - TypeErrorResult [Line: 5413]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret281,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5414]: Type Error Variable #t~ret282 modified in procedure saa7146_i2c_transfer but not declared - TypeErrorResult [Line: 5414]: Type Error Undeclared identifier #t~ret282 in IdentifierExpression[#t~ret282,] - TypeErrorResult [Line: 5414]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret282,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___2~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5431]: Type Error Variable #t~ret288 modified in procedure saa7146_i2c_transfer but not declared - TypeErrorResult [Line: 5431]: Type Error Undeclared identifier #t~ret288 in IdentifierExpression[#t~ret288,] - TypeErrorResult [Line: 5431]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret288,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___3~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___3~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5432]: Type Error Variable #t~ret289 modified in procedure saa7146_i2c_transfer but not declared - TypeErrorResult [Line: 5432]: Type Error Undeclared identifier #t~ret289 in IdentifierExpression[#t~ret289,] - TypeErrorResult [Line: 5432]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret289,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___3~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___3~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5433]: Type Error Variable #t~ret290 modified in procedure saa7146_i2c_transfer but not declared - TypeErrorResult [Line: 5433]: Type Error Undeclared identifier #t~ret290 in IdentifierExpression[#t~ret290,] - TypeErrorResult [Line: 5433]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret290,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___3~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___3~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5484]: Type Error Variable #t~ret305 modified in procedure saa7146_i2c_adapter_prepare but not declared - TypeErrorResult [Line: 5484]: Type Error Undeclared identifier #t~ret305 in IdentifierExpression[#t~ret305,] - TypeErrorResult [Line: 5484]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret305,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~3,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5485]: Type Error Variable #t~ret306 modified in procedure saa7146_i2c_adapter_prepare but not declared - TypeErrorResult [Line: 5485]: Type Error Undeclared identifier #t~ret306 in IdentifierExpression[#t~ret306,] - TypeErrorResult [Line: 5485]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret306,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~3,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 5486]: Type Error Variable #t~ret307 modified in procedure saa7146_i2c_adapter_prepare but not declared - TypeErrorResult [Line: 5486]: Type Error Undeclared identifier #t~ret307 in IdentifierExpression[#t~ret307,] - TypeErrorResult [Line: 5486]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret307,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~3,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6230]: Type Error Variable #t~ret506 modified in procedure saa7146_wait_for_debi_done_sleep but not declared - TypeErrorResult [Line: 6230]: Type Error Undeclared identifier #t~ret506 in IdentifierExpression[#t~ret506,] - TypeErrorResult [Line: 6230]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret506,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~4,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~4,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6231]: Type Error Variable #t~ret507 modified in procedure saa7146_wait_for_debi_done_sleep but not declared - TypeErrorResult [Line: 6231]: Type Error Undeclared identifier #t~ret507 in IdentifierExpression[#t~ret507,] - TypeErrorResult [Line: 6231]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret507,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~4,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~4,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6232]: Type Error Variable #t~ret508 modified in procedure saa7146_wait_for_debi_done_sleep but not declared - TypeErrorResult [Line: 6232]: Type Error Undeclared identifier #t~ret508 in IdentifierExpression[#t~ret508,] - TypeErrorResult [Line: 6232]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret508,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~4,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~4,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6295]: Type Error Variable #t~ret523 modified in procedure saa7146_wait_for_debi_done_busyloop but not declared - TypeErrorResult [Line: 6295]: Type Error Undeclared identifier #t~ret523 in IdentifierExpression[#t~ret523,] - TypeErrorResult [Line: 6295]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret523,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~5,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~5,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6296]: Type Error Variable #t~ret524 modified in procedure saa7146_wait_for_debi_done_busyloop but not declared - TypeErrorResult [Line: 6296]: Type Error Undeclared identifier #t~ret524 in IdentifierExpression[#t~ret524,] - TypeErrorResult [Line: 6296]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret524,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~5,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~5,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6297]: Type Error Variable #t~ret525 modified in procedure saa7146_wait_for_debi_done_busyloop but not declared - TypeErrorResult [Line: 6297]: Type Error Undeclared identifier #t~ret525 in IdentifierExpression[#t~ret525,] - TypeErrorResult [Line: 6297]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret525,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~5,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~5,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6578]: Type Error Variable #t~ret588 modified in procedure interrupt_hw but not declared - TypeErrorResult [Line: 6578]: Type Error Undeclared identifier #t~ret588 in IdentifierExpression[#t~ret588,] - TypeErrorResult [Line: 6578]: 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[8],StructAccessExpression[IdentifierExpression[~#descriptor~6,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6579]: Type Error Variable #t~ret589 modified in procedure interrupt_hw but not declared - TypeErrorResult [Line: 6579]: Type Error Undeclared identifier #t~ret589 in IdentifierExpression[#t~ret589,] - TypeErrorResult [Line: 6579]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret589,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~6,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~6,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6580]: Type Error Variable #t~ret590 modified in procedure interrupt_hw but not declared - TypeErrorResult [Line: 6580]: Type Error Undeclared identifier #t~ret590 in IdentifierExpression[#t~ret590,] - TypeErrorResult [Line: 6580]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret590,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~6,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~6,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6672]: Type Error Variable #t~ret644 modified in procedure saa7146_init_one but not declared - TypeErrorResult [Line: 6672]: Type Error Undeclared identifier #t~ret644 in IdentifierExpression[#t~ret644,] - TypeErrorResult [Line: 6672]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret644,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~7,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~7,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6673]: Type Error Variable #t~ret645 modified in procedure saa7146_init_one but not declared - TypeErrorResult [Line: 6673]: Type Error Undeclared identifier #t~ret645 in IdentifierExpression[#t~ret645,] - TypeErrorResult [Line: 6673]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret645,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~7,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~7,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6674]: Type Error Variable #t~ret646 modified in procedure saa7146_init_one but not declared - TypeErrorResult [Line: 6674]: Type Error Undeclared identifier #t~ret646 in IdentifierExpression[#t~ret646,] - TypeErrorResult [Line: 6674]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret646,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~7,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~7,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6759]: Type Error Variable #t~ret711 modified in procedure saa7146_init_one but not declared - TypeErrorResult [Line: 6759]: Type Error Undeclared identifier #t~ret711 in IdentifierExpression[#t~ret711,] - TypeErrorResult [Line: 6759]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret711,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___0~3,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6760]: Type Error Variable #t~ret712 modified in procedure saa7146_init_one but not declared - TypeErrorResult [Line: 6760]: Type Error Undeclared identifier #t~ret712 in IdentifierExpression[#t~ret712,] - TypeErrorResult [Line: 6760]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret712,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___0~3,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6761]: Type Error Variable #t~ret713 modified in procedure saa7146_init_one but not declared - TypeErrorResult [Line: 6761]: Type Error Undeclared identifier #t~ret713 in IdentifierExpression[#t~ret713,] - TypeErrorResult [Line: 6761]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret713,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___0~3,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6781]: Type Error Variable #t~ret724 modified in procedure saa7146_init_one but not declared - TypeErrorResult [Line: 6781]: Type Error Undeclared identifier #t~ret724 in IdentifierExpression[#t~ret724,] - TypeErrorResult [Line: 6781]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret724,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___1~3,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6782]: Type Error Variable #t~ret725 modified in procedure saa7146_init_one but not declared - TypeErrorResult [Line: 6782]: Type Error Undeclared identifier #t~ret725 in IdentifierExpression[#t~ret725,] - TypeErrorResult [Line: 6782]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret725,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___1~3,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6783]: Type Error Variable #t~ret726 modified in procedure saa7146_init_one but not declared - TypeErrorResult [Line: 6783]: Type Error Undeclared identifier #t~ret726 in IdentifierExpression[#t~ret726,] - TypeErrorResult [Line: 6783]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret726,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___1~3,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6846]: Type Error Variable #t~ret748 modified in procedure saa7146_remove_one but not declared - TypeErrorResult [Line: 6846]: Type Error Undeclared identifier #t~ret748 in IdentifierExpression[#t~ret748,] - TypeErrorResult [Line: 6846]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret748,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~8,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~8,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6847]: Type Error Variable #t~ret749 modified in procedure saa7146_remove_one but not declared - TypeErrorResult [Line: 6847]: Type Error Undeclared identifier #t~ret749 in IdentifierExpression[#t~ret749,] - TypeErrorResult [Line: 6847]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret749,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~8,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~8,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6848]: Type Error Variable #t~ret750 modified in procedure saa7146_remove_one but not declared - TypeErrorResult [Line: 6848]: Type Error Undeclared identifier #t~ret750 in IdentifierExpression[#t~ret750,] - TypeErrorResult [Line: 6848]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret750,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~8,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~8,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6890]: Type Error Variable #t~ret769 modified in procedure saa7146_register_extension but not declared - TypeErrorResult [Line: 6890]: Type Error Undeclared identifier #t~ret769 in IdentifierExpression[#t~ret769,] - TypeErrorResult [Line: 6890]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret769,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~9,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~9,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6891]: Type Error Variable #t~ret770 modified in procedure saa7146_register_extension but not declared - TypeErrorResult [Line: 6891]: Type Error Undeclared identifier #t~ret770 in IdentifierExpression[#t~ret770,] - TypeErrorResult [Line: 6891]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret770,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~9,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~9,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6892]: Type Error Variable #t~ret771 modified in procedure saa7146_register_extension but not declared - TypeErrorResult [Line: 6892]: Type Error Undeclared identifier #t~ret771 in IdentifierExpression[#t~ret771,] - TypeErrorResult [Line: 6892]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret771,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~9,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~9,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6919]: Type Error Variable #t~ret781 modified in procedure saa7146_unregister_extension but not declared - TypeErrorResult [Line: 6919]: Type Error Undeclared identifier #t~ret781 in IdentifierExpression[#t~ret781,] - TypeErrorResult [Line: 6919]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret781,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~10,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~10,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6920]: Type Error Variable #t~ret782 modified in procedure saa7146_unregister_extension but not declared - TypeErrorResult [Line: 6920]: Type Error Undeclared identifier #t~ret782 in IdentifierExpression[#t~ret782,] - TypeErrorResult [Line: 6920]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret782,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~10,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~10,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6921]: Type Error Variable #t~ret783 modified in procedure saa7146_unregister_extension but not declared - TypeErrorResult [Line: 6921]: Type Error Undeclared identifier #t~ret783 in IdentifierExpression[#t~ret783,] - TypeErrorResult [Line: 6921]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret783,],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: 4603]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("bt %2,%1\n\tsbb %0,%0": "=r" (oldbit): "m" (*((unsigned long *)addr)), "Ir" (nr)); [4603-4604] - GenericResultAtLocation [Line: 4618]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("movb %%gs:%P1,%0": "=q" (pfo_ret__): "p" (& current_task)); [4618] - GenericResultAtLocation [Line: 4621]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("movw %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& current_task)); [4621] - GenericResultAtLocation [Line: 4624]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("movl %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& current_task)); [4624] - GenericResultAtLocation [Line: 4627]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("movq %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& current_task)); [4627] - GenericResultAtLocation [Line: 4694]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("movl %1,%0": "=r" (ret): "m" (*((unsigned int volatile *)addr)): "memory"); [4694] - GenericResultAtLocation [Line: 4701]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("movl %0,%1": : "r" (val), "m" (*((unsigned int volatile *)addr)): "memory"); [4701] - GenericResultAtLocation [Line: 5674]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tud2\n.pushsection __bug_table,\"a\"\n2:\t.long 1b - 2b, %c0 - 2b\n\t.word %c1, 0\n\t.org 2b+%c2\n.popsection": : "i" ((char *)"/work/ldvuser/exper_fp/inst/current/envs/linux-3.10-rc1.tar/linux-3.10-rc1/arch/x86/include/asm/paravirt.h"), "i" (824), "i" (12UL)); [5674-5675] - GenericResultAtLocation [Line: 5680]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("771:\n\tcall *%c2;\n772:\n.pushsection .parainstructions,\"a\"\n .balign 8 \n .quad 771b\n .byte %c1\n .byte 772b-771b\n .short %c3\n.popsection\n": "=a" (__eax): [paravirt_typenum] "i" (44UL), [paravirt_opptr] "i" (& pv_irq_ops.save_fl.func), [paravirt_clobber] "i" (1): "memory", "cc"); [5680-5682] - GenericResultAtLocation [Line: 5811]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tud2\n.pushsection __bug_table,\"a\"\n2:\t.long 1b - 2b, %c0 - 2b\n\t.word %c1, 0\n\t.org 2b+%c2\n.popsection": : "i" ((char *)"include/linux/scatterlist.h"), "i" (65), "i" (12UL)); [5811-5812] - GenericResultAtLocation [Line: 5819]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tud2\n.pushsection __bug_table,\"a\"\n2:\t.long 1b - 2b, %c0 - 2b\n\t.word %c1, 0\n\t.org 2b+%c2\n.popsection": : "i" ((char *)"include/linux/scatterlist.h"), "i" (67), "i" (12UL)); [5819-5820] - GenericResultAtLocation [Line: 5827]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tud2\n.pushsection __bug_table,\"a\"\n2:\t.long 1b - 2b, %c0 - 2b\n\t.word %c1, 0\n\t.org 2b+%c2\n.popsection": : "i" ((char *)"include/linux/scatterlist.h"), "i" (68), "i" (12UL)); [5827-5828] - GenericResultAtLocation [Line: 5854]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tud2\n.pushsection __bug_table,\"a\"\n2:\t.long 1b - 2b, %c0 - 2b\n\t.word %c1, 0\n\t.org 2b+%c2\n.popsection": : "i" ((char *)"include/linux/scatterlist.h"), "i" (98), "i" (12UL)); [5854-5855] - GenericResultAtLocation [Line: 5862]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tud2\n.pushsection __bug_table,\"a\"\n2:\t.long 1b - 2b, %c0 - 2b\n\t.word %c1, 0\n\t.org 2b+%c2\n.popsection": : "i" ((char *)"include/linux/scatterlist.h"), "i" (99), "i" (12UL)); [5862-5863] - GenericResultAtLocation [Line: 5951]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tud2\n.pushsection __bug_table,\"a\"\n2:\t.long 1b - 2b, %c0 - 2b\n\t.word %c1, 0\n\t.org 2b+%c2\n.popsection": : "i" ((char *)"include/asm-generic/dma-mapping-common.h"), "i" (52), "i" (12UL)); [5951-5952] - GenericResultAtLocation [Line: 5976]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tud2\n.pushsection __bug_table,\"a\"\n2:\t.long 1b - 2b, %c0 - 2b\n\t.word %c1, 0\n\t.org 2b+%c2\n.popsection": : "i" ((char *)"include/asm-generic/dma-mapping-common.h"), "i" (65), "i" (12UL)); [5976-5977] - GenericResultAtLocation [Line: 6174]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tud2\n.pushsection __bug_table,\"a\"\n2:\t.long 1b - 2b, %c0 - 2b\n\t.word %c1, 0\n\t.org 2b+%c2\n.popsection": : "i" ((char *)"/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_core.c.prepared"), "i" (99), "i" (12UL)); [6174-6175] - GenericResultAtLocation [Line: 6359]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tud2\n.pushsection __bug_table,\"a\"\n2:\t.long 1b - 2b, %c0 - 2b\n\t.word %c1, 0\n\t.org 2b+%c2\n.popsection": : "i" ((char *)"/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_core.c.prepared"), "i" (210), "i" (12UL)); [6359-6360] - GenericResultAtLocation [Line: 6490]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tud2\n.pushsection __bug_table,\"a\"\n2:\t.long 1b - 2b, %c0 - 2b\n\t.word %c1, 0\n\t.org 2b+%c2\n.popsection": : "i" ((char *)"/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_core.c.prepared"), "i" (301), "i" (12UL)); [6490-6491] - GenericResultAtLocation [Line: 6498]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tud2\n.pushsection __bug_table,\"a\"\n2:\t.long 1b - 2b, %c0 - 2b\n\t.word %c1, 0\n\t.org 2b+%c2\n.popsection": : "i" ((char *)"/work/ldvuser/exper_fp/work/current--X--drivers--X--defaultlinux-3.10-rc1.tar--X--32_7a--X--cpachecker/linux-3.10-rc1.tar/csd_deg_dscv/2093/dscv_tempdir/dscv/ri/32_7a/drivers/media/common/saa7146/saa7146_core.c.prepared"), "i" (302), "i" (12UL)); [6498-6499] 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 No suitable file found in config dir /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/config using search string *Termination*64bit*_Bitvector*.epf No suitable settings file found using Termination*64bit*_Bitvector ERROR: UNSUPPORTED PROPERTY Writing output log to file Ultimate.log Result: ERROR: TYPE ERROR