./Ultimate.py --spec /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/properties/unreach-call.prp --file /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--media--platform--exynos4-is--s5p-fimc.ko-entry_point.cil.out.i --full-output --architecture 64bit -------------------------------------------------------------------------------- Checking for ERROR reachability Using default analysis Version 61a67961 Calling Ultimate with: /root/.sdkman/candidates/java/current/bin/java -Dosgi.configuration.area=/storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/config -Xmx15G -Xms4m -jar /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data -tc /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/config/AutomizerReach.xml -i /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--media--platform--exynos4-is--s5p-fimc.ko-entry_point.cil.out.i -s /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/config/svcomp-Reach-64bit-Automizer_Default.epf --cacsl2boogietranslator.entry.function main --witnessprinter.witness.directory /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux --witnessprinter.witness.filename witness --witnessprinter.write.witness.besides.input.file false --witnessprinter.graph.data.specification CHECK( init(main()), LTL(G ! call(reach_error())) ) --witnessprinter.graph.data.producer Automizer --witnessprinter.graph.data.architecture 64bit --witnessprinter.graph.data.programhash eb4de422b950fb26b0ceb09bf460e482fa2160e4a1b280054c820f64e86c49f9 --- Real Ultimate output --- This is Ultimate 0.2.5-wip.fs.cvc5-61a6796-m [2024-10-14 15:28:13,457 INFO L188 SettingsManager]: Resetting all preferences to default values... [2024-10-14 15:28:13,509 INFO L114 SettingsManager]: Loading settings from /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/config/svcomp-Reach-64bit-Automizer_Default.epf [2024-10-14 15:28:13,514 WARN L101 SettingsManager]: Preference file contains the following unknown settings: [2024-10-14 15:28:13,514 WARN L103 SettingsManager]: * de.uni_freiburg.informatik.ultimate.core.Log level for class [2024-10-14 15:28:13,537 INFO L130 SettingsManager]: Preferences different from defaults after loading the file: [2024-10-14 15:28:13,538 INFO L151 SettingsManager]: Preferences of UltimateCore differ from their defaults: [2024-10-14 15:28:13,538 INFO L153 SettingsManager]: * Log level for class=de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=ERROR; [2024-10-14 15:28:13,539 INFO L151 SettingsManager]: Preferences of Boogie Preprocessor differ from their defaults: [2024-10-14 15:28:13,539 INFO L153 SettingsManager]: * Use memory slicer=true [2024-10-14 15:28:13,539 INFO L151 SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults: [2024-10-14 15:28:13,539 INFO L153 SettingsManager]: * Ignore calls to procedures called more than once=ONLY_FOR_SEQUENTIAL_PROGRAMS [2024-10-14 15:28:13,540 INFO L151 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2024-10-14 15:28:13,540 INFO L153 SettingsManager]: * Create parallel compositions if possible=false [2024-10-14 15:28:13,540 INFO L153 SettingsManager]: * Use SBE=true [2024-10-14 15:28:13,541 INFO L151 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2024-10-14 15:28:13,541 INFO L153 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2024-10-14 15:28:13,541 INFO L153 SettingsManager]: * Overapproximate operations on floating types=true [2024-10-14 15:28:13,542 INFO L153 SettingsManager]: * Check division by zero=IGNORE [2024-10-14 15:28:13,542 INFO L153 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2024-10-14 15:28:13,542 INFO L153 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2024-10-14 15:28:13,543 INFO L153 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2024-10-14 15:28:13,543 INFO L153 SettingsManager]: * Allow undefined functions=false [2024-10-14 15:28:13,544 INFO L153 SettingsManager]: * Check if freed pointer was valid=false [2024-10-14 15:28:13,544 INFO L153 SettingsManager]: * Use constant arrays=true [2024-10-14 15:28:13,544 INFO L151 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2024-10-14 15:28:13,544 INFO L153 SettingsManager]: * Size of a code block=SequenceOfStatements [2024-10-14 15:28:13,545 INFO L153 SettingsManager]: * Only consider context switches at boundaries of atomic blocks=true [2024-10-14 15:28:13,545 INFO L153 SettingsManager]: * SMT solver=External_DefaultMode [2024-10-14 15:28:13,545 INFO L153 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:4000 [2024-10-14 15:28:13,545 INFO L151 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2024-10-14 15:28:13,546 INFO L153 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2024-10-14 15:28:13,546 INFO L153 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopHeads [2024-10-14 15:28:13,546 INFO L153 SettingsManager]: * Trace refinement strategy=CAMEL [2024-10-14 15:28:13,546 INFO L153 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2024-10-14 15:28:13,547 INFO L153 SettingsManager]: * Apply one-shot large block encoding in concurrent analysis=false [2024-10-14 15:28:13,547 INFO L153 SettingsManager]: * Automaton type used in concurrency analysis=PETRI_NET [2024-10-14 15:28:13,547 INFO L153 SettingsManager]: * Order on configurations for Petri net unfoldings=DBO [2024-10-14 15:28:13,547 INFO L153 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2024-10-14 15:28:13,548 INFO L153 SettingsManager]: * Looper check in Petri net analysis=SEMANTIC WARNING: An illegal reflective access operation has occurred WARNING: Illegal reflective access by com.sun.xml.bind.v2.runtime.reflect.opt.Injector$1 (file:/storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/plugins/com.sun.xml.bind_2.2.0.v201505121915.jar) to method java.lang.ClassLoader.defineClass(java.lang.String,byte[],int,int) WARNING: Please consider reporting this to the maintainers of com.sun.xml.bind.v2.runtime.reflect.opt.Injector$1 WARNING: Use --illegal-access=warn to enable warnings of further illegal reflective access operations WARNING: All illegal access operations will be denied in a future release Applying setting for plugin de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: Entry function -> main Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Witness directory -> /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Witness filename -> witness Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Write witness besides input file -> false Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data specification -> CHECK( init(main()), LTL(G ! call(reach_error())) ) Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data producer -> Automizer Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data architecture -> 64bit Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data programhash -> eb4de422b950fb26b0ceb09bf460e482fa2160e4a1b280054c820f64e86c49f9 [2024-10-14 15:28:13,748 INFO L75 nceAwareModelManager]: Repository-Root is: /tmp [2024-10-14 15:28:13,771 INFO L261 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2024-10-14 15:28:13,774 INFO L217 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2024-10-14 15:28:13,776 INFO L270 PluginConnector]: Initializing CDTParser... [2024-10-14 15:28:13,776 INFO L274 PluginConnector]: CDTParser initialized [2024-10-14 15:28:13,777 INFO L431 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--media--platform--exynos4-is--s5p-fimc.ko-entry_point.cil.out.i [2024-10-14 15:28:14,941 INFO L533 CDTParser]: Created temporary CDT project at NULL [2024-10-14 15:28:15,472 INFO L384 CDTParser]: Found 1 translation units. [2024-10-14 15:28:15,473 INFO L180 CDTParser]: Scanning /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--media--platform--exynos4-is--s5p-fimc.ko-entry_point.cil.out.i [2024-10-14 15:28:15,539 INFO L427 CDTParser]: About to delete temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/b51aa0de5/d667f43199be42d89908ecd253e1a340/FLAG7b758fa35 [2024-10-14 15:28:16,016 INFO L435 CDTParser]: Successfully deleted /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/b51aa0de5/d667f43199be42d89908ecd253e1a340 [2024-10-14 15:28:16,019 INFO L299 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2024-10-14 15:28:16,020 INFO L133 ToolchainWalker]: Walking toolchain with 6 elements. [2024-10-14 15:28:16,021 INFO L112 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2024-10-14 15:28:16,021 INFO L270 PluginConnector]: Initializing CACSL2BoogieTranslator... [2024-10-14 15:28:16,025 INFO L274 PluginConnector]: CACSL2BoogieTranslator initialized [2024-10-14 15:28:16,026 INFO L184 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 14.10 03:28:16" (1/1) ... [2024-10-14 15:28:16,026 INFO L204 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@597ebc19 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 14.10 03:28:16, skipping insertion in model container [2024-10-14 15:28:16,027 INFO L184 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 14.10 03:28:16" (1/1) ... [2024-10-14 15:28:16,176 INFO L175 MainTranslator]: Built tables and reachable declarations [2024-10-14 15:28:16,561 WARN L1336 CHandler]: Detected problem Invalid redeclaration of the name match at C: (*match)(struct device * , struct v4l2_async_subdev * ) [4478] [2024-10-14 15:28:19,533 WARN L248 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--media--platform--exynos4-is--s5p-fimc.ko-entry_point.cil.out.i[514490,514503] [2024-10-14 15:28:19,594 INFO L210 PostProcessor]: Analyzing one entry point: main [2024-10-14 15:28:19,693 INFO L200 MainTranslator]: Completed pre-run [2024-10-14 15:28:19,739 WARN L1336 CHandler]: Detected problem Invalid redeclaration of the name match at C: (*match)(struct device * , struct v4l2_async_subdev * ) [4478] [2024-10-14 15:28:19,756 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile (".pushsection .smp_locks,\"a\"\n.balign 4\n.long 671f - .\n.popsection\n671:\n\tlock; bts %1,%0": "+m" (*((long volatile *)addr)): "Ir" (nr): "memory"); [5830] [2024-10-14 15:28:19,757 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile (".pushsection .smp_locks,\"a\"\n.balign 4\n.long 671f - .\n.popsection\n671:\n\tlock; btr %1,%0": "+m" (*((long volatile *)addr)): "Ir" (nr)); [5837] [2024-10-14 15:28:19,758 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile (".pushsection .smp_locks,\"a\"\n.balign 4\n.long 671f - .\n.popsection\n671:\n\tlock; bts %2, %0; setc %1": "+m" (*addr), "=qm" (c): "Ir" (nr): "memory"); [5845-5846] [2024-10-14 15:28:19,758 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile (".pushsection .smp_locks,\"a\"\n.balign 4\n.long 671f - .\n.popsection\n671:\n\tlock; btr %2, %0; setc %1": "+m" (*addr), "=qm" (c): "Ir" (nr): "memory"); [5854-5855] [2024-10-14 15:28:19,824 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("movl %1,%0": "=r" (ret): "m" (*((unsigned int volatile *)addr)): "memory"); [8181] [2024-10-14 15:28:19,825 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("movl %0,%1": : "r" (val), "m" (*((unsigned int volatile *)addr)): "memory"); [8188] [2024-10-14 15:28:19,890 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("bsfl %1,%0": "=r" (r): "rm" (x), "0" (-1)); [9241] [2024-10-14 15:28:19,890 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("movb %%gs:%P1,%0": "=q" (pfo_ret__): "p" (& current_task)); [9254] [2024-10-14 15:28:19,890 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("movw %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& current_task)); [9257] [2024-10-14 15:28:19,891 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("movl %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& current_task)); [9260] [2024-10-14 15:28:19,891 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("movq %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& current_task)); [9263] [2024-10-14 15:28:19,941 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/media/v4l2-subdev.h"), "i" (649), "i" (12UL)); [11118-11119] [2024-10-14 15:28:19,942 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/media/v4l2-subdev.h"), "i" (650), "i" (12UL)); [11135-11136] [2024-10-14 15:28:19,943 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/media/v4l2-subdev.h"), "i" (651), "i" (12UL)); [11152-11153] [2024-10-14 15:28:20,236 WARN L248 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--media--platform--exynos4-is--s5p-fimc.ko-entry_point.cil.out.i[514490,514503] [2024-10-14 15:28:20,247 INFO L210 PostProcessor]: Analyzing one entry point: main [2024-10-14 15:28:20,419 INFO L204 MainTranslator]: Completed translation [2024-10-14 15:28:20,419 INFO L201 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 14.10 03:28:20 WrapperNode [2024-10-14 15:28:20,420 INFO L131 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2024-10-14 15:28:20,420 INFO L112 PluginConnector]: ------------------------Boogie Procedure Inliner---------------------------- [2024-10-14 15:28:20,420 INFO L270 PluginConnector]: Initializing Boogie Procedure Inliner... [2024-10-14 15:28:20,421 INFO L274 PluginConnector]: Boogie Procedure Inliner initialized [2024-10-14 15:28:20,426 INFO L184 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 14.10 03:28:20" (1/1) ... [2024-10-14 15:28:20,484 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [6504]: Variable #t~ret208 modified in procedure fimc_prepare_addr but not declared [2024-10-14 15:28:20,485 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [6504]: Undeclared identifier #t~ret208 in IdentifierExpression[#t~ret208,] [2024-10-14 15:28:20,485 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [6504]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret208,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~0,],base],StructAccessExpression[IdentifierExpression[~#descriptor~0,],offset]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,485 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_prepare_addr" [6505]: Variable #t~ret209 modified in procedure fimc_prepare_addr but not declared [2024-10-14 15:28:20,489 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_prepare_addr" [6505]: Undeclared identifier #t~ret209 in IdentifierExpression[#t~ret209,] [2024-10-14 15:28:20,489 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_prepare_addr" [6505]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret209,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~0,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,489 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-core.c" [6506]: Variable #t~ret210 modified in procedure fimc_prepare_addr but not declared [2024-10-14 15:28:20,490 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-core.c" [6506]: Undeclared identifier #t~ret210 in IdentifierExpression[#t~ret210,] [2024-10-14 15:28:20,490 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-core.c" [6506]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret210,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~0,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,490 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: memplanes= %d, colplanes= %d, pix_size= %d\n" [6507]: Variable #t~ret211 modified in procedure fimc_prepare_addr but not declared [2024-10-14 15:28:20,490 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: memplanes= %d, colplanes= %d, pix_size= %d\n" [6507]: Undeclared identifier #t~ret211 in IdentifierExpression[#t~ret211,] [2024-10-14 15:28:20,490 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: memplanes= %d, colplanes= %d, pix_size= %d\n" [6507]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret211,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~0,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,492 ERROR L1136 TypeChecker]: C: descriptor___0.modname = "s5p_fimc" [6555]: Variable #t~ret239 modified in procedure fimc_prepare_addr but not declared [2024-10-14 15:28:20,493 ERROR L1136 TypeChecker]: C: descriptor___0.modname = "s5p_fimc" [6555]: Undeclared identifier #t~ret239 in IdentifierExpression[#t~ret239,] [2024-10-14 15:28:20,493 ERROR L1136 TypeChecker]: C: descriptor___0.modname = "s5p_fimc" [6555]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret239,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],base],StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],offset]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,493 ERROR L1136 TypeChecker]: C: descriptor___0.function = "fimc_prepare_addr" [6556]: Variable #t~ret240 modified in procedure fimc_prepare_addr but not declared [2024-10-14 15:28:20,493 ERROR L1136 TypeChecker]: C: descriptor___0.function = "fimc_prepare_addr" [6556]: Undeclared identifier #t~ret240 in IdentifierExpression[#t~ret240,] [2024-10-14 15:28:20,493 ERROR L1136 TypeChecker]: C: descriptor___0.function = "fimc_prepare_addr" [6556]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret240,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,494 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-core.c" [6557]: Variable #t~ret241 modified in procedure fimc_prepare_addr but not declared [2024-10-14 15:28:20,494 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-core.c" [6557]: Undeclared identifier #t~ret241 in IdentifierExpression[#t~ret241,] [2024-10-14 15:28:20,494 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-core.c" [6557]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret241,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,494 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s:%d: PHYS_ADDR: y= 0x%X cb= 0x%X cr= 0x%X ret= %d\n" [6558]: Variable #t~ret242 modified in procedure fimc_prepare_addr but not declared [2024-10-14 15:28:20,494 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s:%d: PHYS_ADDR: y= 0x%X cb= 0x%X cr= 0x%X ret= %d\n" [6558]: Undeclared identifier #t~ret242 in IdentifierExpression[#t~ret242,] [2024-10-14 15:28:20,494 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s:%d: PHYS_ADDR: y= 0x%X cb= 0x%X cr= 0x%X ret= %d\n" [6558]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret242,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,495 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [6595]: Variable #t~ret252 modified in procedure fimc_set_yuv_order but not declared [2024-10-14 15:28:20,495 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [6595]: Undeclared identifier #t~ret252 in IdentifierExpression[#t~ret252,] [2024-10-14 15:28:20,495 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [6595]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret252,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~1,],base],StructAccessExpression[IdentifierExpression[~#descriptor~1,],offset]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,495 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_set_yuv_order" [6596]: Variable #t~ret253 modified in procedure fimc_set_yuv_order but not declared [2024-10-14 15:28:20,495 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_set_yuv_order" [6596]: Undeclared identifier #t~ret253 in IdentifierExpression[#t~ret253,] [2024-10-14 15:28:20,496 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_set_yuv_order" [6596]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret253,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~1,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,496 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-core.c" [6597]: Variable #t~ret254 modified in procedure fimc_set_yuv_order but not declared [2024-10-14 15:28:20,497 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-core.c" [6597]: Undeclared identifier #t~ret254 in IdentifierExpression[#t~ret254,] [2024-10-14 15:28:20,497 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-core.c" [6597]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret254,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~1,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,497 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: ctx->in_order_1p= %d\n" [6598]: Variable #t~ret255 modified in procedure fimc_set_yuv_order but not declared [2024-10-14 15:28:20,497 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: ctx->in_order_1p= %d\n" [6598]: Undeclared identifier #t~ret255 in IdentifierExpression[#t~ret255,] [2024-10-14 15:28:20,497 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: ctx->in_order_1p= %d\n" [6598]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret255,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~1,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,497 ERROR L1136 TypeChecker]: C: descriptor___0.modname = "s5p_fimc" [6623]: Variable #t~ret263 modified in procedure fimc_set_yuv_order but not declared [2024-10-14 15:28:20,498 ERROR L1136 TypeChecker]: C: descriptor___0.modname = "s5p_fimc" [6623]: Undeclared identifier #t~ret263 in IdentifierExpression[#t~ret263,] [2024-10-14 15:28:20,498 ERROR L1136 TypeChecker]: C: descriptor___0.modname = "s5p_fimc" [6623]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret263,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],base],StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],offset]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,498 ERROR L1136 TypeChecker]: C: descriptor___0.function = "fimc_set_yuv_order" [6624]: Variable #t~ret264 modified in procedure fimc_set_yuv_order but not declared [2024-10-14 15:28:20,498 ERROR L1136 TypeChecker]: C: descriptor___0.function = "fimc_set_yuv_order" [6624]: Undeclared identifier #t~ret264 in IdentifierExpression[#t~ret264,] [2024-10-14 15:28:20,499 ERROR L1136 TypeChecker]: C: descriptor___0.function = "fimc_set_yuv_order" [6624]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret264,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,499 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-core.c" [6625]: Variable #t~ret265 modified in procedure fimc_set_yuv_order but not declared [2024-10-14 15:28:20,499 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-core.c" [6625]: Undeclared identifier #t~ret265 in IdentifierExpression[#t~ret265,] [2024-10-14 15:28:20,500 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-core.c" [6625]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret265,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,500 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s:%d: ctx->out_order_1p= %d\n" [6626]: Variable #t~ret266 modified in procedure fimc_set_yuv_order but not declared [2024-10-14 15:28:20,500 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s:%d: ctx->out_order_1p= %d\n" [6626]: Undeclared identifier #t~ret266 in IdentifierExpression[#t~ret266,] [2024-10-14 15:28:20,500 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s:%d: ctx->out_order_1p= %d\n" [6626]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret266,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,501 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [6681]: Variable #t~ret293 modified in procedure fimc_prepare_dma_offset but not declared [2024-10-14 15:28:20,501 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [6681]: Undeclared identifier #t~ret293 in IdentifierExpression[#t~ret293,] [2024-10-14 15:28:20,501 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [6681]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret293,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~2,],base],StructAccessExpression[IdentifierExpression[~#descriptor~2,],offset]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,501 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_prepare_dma_offset" [6682]: Variable #t~ret294 modified in procedure fimc_prepare_dma_offset but not declared [2024-10-14 15:28:20,501 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_prepare_dma_offset" [6682]: Undeclared identifier #t~ret294 in IdentifierExpression[#t~ret294,] [2024-10-14 15:28:20,501 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_prepare_dma_offset" [6682]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret294,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~2,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,501 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-core.c" [6683]: Variable #t~ret295 modified in procedure fimc_prepare_dma_offset but not declared [2024-10-14 15:28:20,501 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-core.c" [6683]: Undeclared identifier #t~ret295 in IdentifierExpression[#t~ret295,] [2024-10-14 15:28:20,502 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-core.c" [6683]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret295,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~2,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,502 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: in_offset: color= %d, y_h= %d, y_v= %d\n" [6684]: Variable #t~ret296 modified in procedure fimc_prepare_dma_offset but not declared [2024-10-14 15:28:20,502 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: in_offset: color= %d, y_h= %d, y_v= %d\n" [6684]: Undeclared identifier #t~ret296 in IdentifierExpression[#t~ret296,] [2024-10-14 15:28:20,502 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: in_offset: color= %d, y_h= %d, y_v= %d\n" [6684]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret296,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~2,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,509 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [7426]: Variable #t~ret556 modified in procedure fimc_probe but not declared [2024-10-14 15:28:20,513 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [7426]: Undeclared identifier #t~ret556 in IdentifierExpression[#t~ret556,] [2024-10-14 15:28:20,513 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [7426]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret556,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~3,],base],StructAccessExpression[IdentifierExpression[~#descriptor~3,],offset]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,513 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_probe" [7427]: Variable #t~ret557 modified in procedure fimc_probe but not declared [2024-10-14 15:28:20,513 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_probe" [7427]: Undeclared identifier #t~ret557 in IdentifierExpression[#t~ret557,] [2024-10-14 15:28:20,513 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_probe" [7427]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret557,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~3,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,513 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-core.c" [7428]: Variable #t~ret558 modified in procedure fimc_probe but not declared [2024-10-14 15:28:20,514 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-core.c" [7428]: Undeclared identifier #t~ret558 in IdentifierExpression[#t~ret558,] [2024-10-14 15:28:20,514 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-core.c" [7428]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret558,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~3,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,514 ERROR L1136 TypeChecker]: C: descriptor.format = "FIMC.%d registered successfully\n" [7429]: Variable #t~ret559 modified in procedure fimc_probe but not declared [2024-10-14 15:28:20,514 ERROR L1136 TypeChecker]: C: descriptor.format = "FIMC.%d registered successfully\n" [7429]: Undeclared identifier #t~ret559 in IdentifierExpression[#t~ret559,] [2024-10-14 15:28:20,514 ERROR L1136 TypeChecker]: C: descriptor.format = "FIMC.%d registered successfully\n" [7429]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret559,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~3,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,514 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [7470]: Variable #t~ret568 modified in procedure fimc_runtime_resume but not declared [2024-10-14 15:28:20,514 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [7470]: Undeclared identifier #t~ret568 in IdentifierExpression[#t~ret568,] [2024-10-14 15:28:20,514 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [7470]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret568,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~4,],base],StructAccessExpression[IdentifierExpression[~#descriptor~4,],offset]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,514 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_runtime_resume" [7471]: Variable #t~ret569 modified in procedure fimc_runtime_resume but not declared [2024-10-14 15:28:20,514 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_runtime_resume" [7471]: Undeclared identifier #t~ret569 in IdentifierExpression[#t~ret569,] [2024-10-14 15:28:20,515 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_runtime_resume" [7471]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret569,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~4,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~4,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,515 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-core.c" [7472]: Variable #t~ret570 modified in procedure fimc_runtime_resume but not declared [2024-10-14 15:28:20,515 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-core.c" [7472]: Undeclared identifier #t~ret570 in IdentifierExpression[#t~ret570,] [2024-10-14 15:28:20,515 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-core.c" [7472]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret570,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~4,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~4,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,515 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: fimc%d: state: 0x%lx\n" [7473]: Variable #t~ret571 modified in procedure fimc_runtime_resume but not declared [2024-10-14 15:28:20,515 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: fimc%d: state: 0x%lx\n" [7473]: Undeclared identifier #t~ret571 in IdentifierExpression[#t~ret571,] [2024-10-14 15:28:20,515 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: fimc%d: state: 0x%lx\n" [7473]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret571,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~4,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~4,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,517 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [7516]: Variable #t~ret587 modified in procedure fimc_runtime_suspend but not declared [2024-10-14 15:28:20,517 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [7516]: Undeclared identifier #t~ret587 in IdentifierExpression[#t~ret587,] [2024-10-14 15:28:20,517 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [7516]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret587,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~5,],base],StructAccessExpression[IdentifierExpression[~#descriptor~5,],offset]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,518 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_runtime_suspend" [7517]: Variable #t~ret588 modified in procedure fimc_runtime_suspend but not declared [2024-10-14 15:28:20,518 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_runtime_suspend" [7517]: Undeclared identifier #t~ret588 in IdentifierExpression[#t~ret588,] [2024-10-14 15:28:20,518 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_runtime_suspend" [7517]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret588,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~5,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~5,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,518 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-core.c" [7518]: Variable #t~ret589 modified in procedure fimc_runtime_suspend but not declared [2024-10-14 15:28:20,519 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-core.c" [7518]: Undeclared identifier #t~ret589 in IdentifierExpression[#t~ret589,] [2024-10-14 15:28:20,519 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-core.c" [7518]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret589,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~5,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~5,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,519 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: fimc%d: state: 0x%lx\n" [7519]: Variable #t~ret590 modified in procedure fimc_runtime_suspend but not declared [2024-10-14 15:28:20,520 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: fimc%d: state: 0x%lx\n" [7519]: Undeclared identifier #t~ret590 in IdentifierExpression[#t~ret590,] [2024-10-14 15:28:20,521 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: fimc%d: state: 0x%lx\n" [7519]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret590,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~5,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~5,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,521 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [7548]: Variable #t~ret597 modified in procedure fimc_resume but not declared [2024-10-14 15:28:20,521 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [7548]: Undeclared identifier #t~ret597 in IdentifierExpression[#t~ret597,] [2024-10-14 15:28:20,522 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [7548]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret597,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~6,],base],StructAccessExpression[IdentifierExpression[~#descriptor~6,],offset]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,522 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_resume" [7549]: Variable #t~ret598 modified in procedure fimc_resume but not declared [2024-10-14 15:28:20,522 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_resume" [7549]: Undeclared identifier #t~ret598 in IdentifierExpression[#t~ret598,] [2024-10-14 15:28:20,522 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_resume" [7549]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret598,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~6,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~6,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,523 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-core.c" [7550]: Variable #t~ret599 modified in procedure fimc_resume but not declared [2024-10-14 15:28:20,523 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-core.c" [7550]: Undeclared identifier #t~ret599 in IdentifierExpression[#t~ret599,] [2024-10-14 15:28:20,523 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-core.c" [7550]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret599,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~6,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~6,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,523 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: fimc%d: state: 0x%lx\n" [7551]: Variable #t~ret600 modified in procedure fimc_resume but not declared [2024-10-14 15:28:20,523 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: fimc%d: state: 0x%lx\n" [7551]: Undeclared identifier #t~ret600 in IdentifierExpression[#t~ret600,] [2024-10-14 15:28:20,523 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: fimc%d: state: 0x%lx\n" [7551]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret600,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~6,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~6,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,524 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [7603]: Variable #t~ret615 modified in procedure fimc_suspend but not declared [2024-10-14 15:28:20,524 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [7603]: Undeclared identifier #t~ret615 in IdentifierExpression[#t~ret615,] [2024-10-14 15:28:20,524 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [7603]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret615,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~7,],base],StructAccessExpression[IdentifierExpression[~#descriptor~7,],offset]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,524 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_suspend" [7604]: Variable #t~ret616 modified in procedure fimc_suspend but not declared [2024-10-14 15:28:20,524 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_suspend" [7604]: Undeclared identifier #t~ret616 in IdentifierExpression[#t~ret616,] [2024-10-14 15:28:20,524 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_suspend" [7604]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret616,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~7,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~7,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,525 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-core.c" [7605]: Variable #t~ret617 modified in procedure fimc_suspend but not declared [2024-10-14 15:28:20,525 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-core.c" [7605]: Undeclared identifier #t~ret617 in IdentifierExpression[#t~ret617,] [2024-10-14 15:28:20,525 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-core.c" [7605]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret617,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~7,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~7,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,526 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: fimc%d: state: 0x%lx\n" [7606]: Variable #t~ret618 modified in procedure fimc_suspend but not declared [2024-10-14 15:28:20,526 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: fimc%d: state: 0x%lx\n" [7606]: Undeclared identifier #t~ret618 in IdentifierExpression[#t~ret618,] [2024-10-14 15:28:20,526 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: fimc%d: state: 0x%lx\n" [7606]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret618,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~7,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~7,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,528 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [8339]: Variable #t~ret734 modified in procedure fimc_hw_set_target_format but not declared [2024-10-14 15:28:20,528 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [8339]: Undeclared identifier #t~ret734 in IdentifierExpression[#t~ret734,] [2024-10-14 15:28:20,528 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [8339]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret734,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~8,],base],StructAccessExpression[IdentifierExpression[~#descriptor~8,],offset]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,528 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_hw_set_target_format" [8340]: Variable #t~ret735 modified in procedure fimc_hw_set_target_format but not declared [2024-10-14 15:28:20,529 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_hw_set_target_format" [8340]: Undeclared identifier #t~ret735 in IdentifierExpression[#t~ret735,] [2024-10-14 15:28:20,529 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_hw_set_target_format" [8340]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret735,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~8,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~8,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,529 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-reg.c" [8341]: Variable #t~ret736 modified in procedure fimc_hw_set_target_format but not declared [2024-10-14 15:28:20,529 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-reg.c" [8341]: Undeclared identifier #t~ret736 in IdentifierExpression[#t~ret736,] [2024-10-14 15:28:20,530 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-reg.c" [8341]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret736,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~8,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~8,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,530 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: w= %d, h= %d color: %d\n" [8342]: Variable #t~ret737 modified in procedure fimc_hw_set_target_format but not declared [2024-10-14 15:28:20,530 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: w= %d, h= %d color: %d\n" [8342]: Undeclared identifier #t~ret737 in IdentifierExpression[#t~ret737,] [2024-10-14 15:28:20,530 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: w= %d, h= %d color: %d\n" [8342]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret737,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~8,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~8,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,532 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [8593]: Variable #t~ret868 modified in procedure fimc_hw_set_mainscaler but not declared [2024-10-14 15:28:20,536 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [8593]: Undeclared identifier #t~ret868 in IdentifierExpression[#t~ret868,] [2024-10-14 15:28:20,536 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [8593]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret868,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~9,],base],StructAccessExpression[IdentifierExpression[~#descriptor~9,],offset]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,536 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_hw_set_mainscaler" [8594]: Variable #t~ret869 modified in procedure fimc_hw_set_mainscaler but not declared [2024-10-14 15:28:20,536 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_hw_set_mainscaler" [8594]: Undeclared identifier #t~ret869 in IdentifierExpression[#t~ret869,] [2024-10-14 15:28:20,537 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_hw_set_mainscaler" [8594]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret869,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~9,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~9,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,537 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-reg.c" [8595]: Variable #t~ret870 modified in procedure fimc_hw_set_mainscaler but not declared [2024-10-14 15:28:20,537 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-reg.c" [8595]: Undeclared identifier #t~ret870 in IdentifierExpression[#t~ret870,] [2024-10-14 15:28:20,537 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-reg.c" [8595]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret870,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~9,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~9,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,537 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: main_hratio= 0x%X main_vratio= 0x%X\n" [8596]: Variable #t~ret871 modified in procedure fimc_hw_set_mainscaler but not declared [2024-10-14 15:28:20,537 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: main_hratio= 0x%X main_vratio= 0x%X\n" [8596]: Undeclared identifier #t~ret871 in IdentifierExpression[#t~ret871,] [2024-10-14 15:28:20,538 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: main_hratio= 0x%X main_vratio= 0x%X\n" [8596]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret871,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~9,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~9,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,539 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [8856]: Variable #t~ret1024 modified in procedure fimc_hw_set_output_addr but not declared [2024-10-14 15:28:20,539 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [8856]: Undeclared identifier #t~ret1024 in IdentifierExpression[#t~ret1024,] [2024-10-14 15:28:20,539 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [8856]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1024,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~10,],base],StructAccessExpression[IdentifierExpression[~#descriptor~10,],offset]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,540 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_hw_set_output_addr" [8857]: Variable #t~ret1025 modified in procedure fimc_hw_set_output_addr but not declared [2024-10-14 15:28:20,540 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_hw_set_output_addr" [8857]: Undeclared identifier #t~ret1025 in IdentifierExpression[#t~ret1025,] [2024-10-14 15:28:20,540 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_hw_set_output_addr" [8857]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1025,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~10,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~10,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,540 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-reg.c" [8858]: Variable #t~ret1026 modified in procedure fimc_hw_set_output_addr but not declared [2024-10-14 15:28:20,540 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-reg.c" [8858]: Undeclared identifier #t~ret1026 in IdentifierExpression[#t~ret1026,] [2024-10-14 15:28:20,540 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-reg.c" [8858]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1026,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~10,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~10,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,540 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: dst_buf[%d]: 0x%X, cb: 0x%X, cr: 0x%X\n" [8859]: Variable #t~ret1027 modified in procedure fimc_hw_set_output_addr but not declared [2024-10-14 15:28:20,540 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: dst_buf[%d]: 0x%X, cb: 0x%X, cr: 0x%X\n" [8859]: Undeclared identifier #t~ret1027 in IdentifierExpression[#t~ret1027,] [2024-10-14 15:28:20,540 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: dst_buf[%d]: 0x%X, cb: 0x%X, cr: 0x%X\n" [8859]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1027,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~10,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~10,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,551 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [10175]: Variable #t~ret1510 modified in procedure fimc_m2m_try_crop but not declared [2024-10-14 15:28:20,551 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [10175]: Undeclared identifier #t~ret1510 in IdentifierExpression[#t~ret1510,] [2024-10-14 15:28:20,552 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [10175]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1510,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~11,],base],StructAccessExpression[IdentifierExpression[~#descriptor~11,],offset]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,552 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_m2m_try_crop" [10176]: Variable #t~ret1511 modified in procedure fimc_m2m_try_crop but not declared [2024-10-14 15:28:20,553 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_m2m_try_crop" [10176]: Undeclared identifier #t~ret1511 in IdentifierExpression[#t~ret1511,] [2024-10-14 15:28:20,553 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_m2m_try_crop" [10176]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1511,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~11,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~11,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,553 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-m2m.c" [10177]: Variable #t~ret1512 modified in procedure fimc_m2m_try_crop but not declared [2024-10-14 15:28:20,553 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-m2m.c" [10177]: Undeclared identifier #t~ret1512 in IdentifierExpression[#t~ret1512,] [2024-10-14 15:28:20,554 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-m2m.c" [10177]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1512,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~11,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~11,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,554 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: l:%d, t:%d, w:%d, h:%d, f_w: %d, f_h: %d\n" [10178]: Variable #t~ret1513 modified in procedure fimc_m2m_try_crop but not declared [2024-10-14 15:28:20,554 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: l:%d, t:%d, w:%d, h:%d, f_w: %d, f_h: %d\n" [10178]: Undeclared identifier #t~ret1513 in IdentifierExpression[#t~ret1513,] [2024-10-14 15:28:20,554 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: l:%d, t:%d, w:%d, h:%d, f_w: %d, f_h: %d\n" [10178]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1513,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~11,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~11,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,555 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [10350]: Variable #t~ret1556 modified in procedure fimc_m2m_open but not declared [2024-10-14 15:28:20,555 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [10350]: Undeclared identifier #t~ret1556 in IdentifierExpression[#t~ret1556,] [2024-10-14 15:28:20,555 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [10350]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1556,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~12,],base],StructAccessExpression[IdentifierExpression[~#descriptor~12,],offset]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,555 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_m2m_open" [10351]: Variable #t~ret1557 modified in procedure fimc_m2m_open but not declared [2024-10-14 15:28:20,556 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_m2m_open" [10351]: Undeclared identifier #t~ret1557 in IdentifierExpression[#t~ret1557,] [2024-10-14 15:28:20,556 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_m2m_open" [10351]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1557,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~12,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~12,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,556 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-m2m.c" [10352]: Variable #t~ret1558 modified in procedure fimc_m2m_open but not declared [2024-10-14 15:28:20,556 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-m2m.c" [10352]: Undeclared identifier #t~ret1558 in IdentifierExpression[#t~ret1558,] [2024-10-14 15:28:20,556 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-m2m.c" [10352]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1558,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~12,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~12,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,556 ERROR L1136 TypeChecker]: C: descriptor.format = "pid: %d, state: %#lx\n" [10353]: Variable #t~ret1559 modified in procedure fimc_m2m_open but not declared [2024-10-14 15:28:20,556 ERROR L1136 TypeChecker]: C: descriptor.format = "pid: %d, state: %#lx\n" [10353]: Undeclared identifier #t~ret1559 in IdentifierExpression[#t~ret1559,] [2024-10-14 15:28:20,557 ERROR L1136 TypeChecker]: C: descriptor.format = "pid: %d, state: %#lx\n" [10353]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1559,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~12,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~12,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,557 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [10444]: Variable #t~ret1584 modified in procedure fimc_m2m_release but not declared [2024-10-14 15:28:20,557 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [10444]: Undeclared identifier #t~ret1584 in IdentifierExpression[#t~ret1584,] [2024-10-14 15:28:20,557 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [10444]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1584,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~13,],base],StructAccessExpression[IdentifierExpression[~#descriptor~13,],offset]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,557 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_m2m_release" [10445]: Variable #t~ret1585 modified in procedure fimc_m2m_release but not declared [2024-10-14 15:28:20,557 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_m2m_release" [10445]: Undeclared identifier #t~ret1585 in IdentifierExpression[#t~ret1585,] [2024-10-14 15:28:20,558 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_m2m_release" [10445]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1585,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~13,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~13,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,558 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-m2m.c" [10446]: Variable #t~ret1586 modified in procedure fimc_m2m_release but not declared [2024-10-14 15:28:20,558 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-m2m.c" [10446]: Undeclared identifier #t~ret1586 in IdentifierExpression[#t~ret1586,] [2024-10-14 15:28:20,558 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-m2m.c" [10446]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1586,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~13,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~13,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,558 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: pid: %d, state: 0x%lx, refcnt= %d\n" [10447]: Variable #t~ret1587 modified in procedure fimc_m2m_release but not declared [2024-10-14 15:28:20,558 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: pid: %d, state: 0x%lx, refcnt= %d\n" [10447]: Undeclared identifier #t~ret1587 in IdentifierExpression[#t~ret1587,] [2024-10-14 15:28:20,559 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: pid: %d, state: 0x%lx, refcnt= %d\n" [10447]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1587,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~13,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~13,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,563 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [11662]: Variable #t~ret1876 modified in procedure fimc_capture_irq_handler but not declared [2024-10-14 15:28:20,564 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [11662]: Undeclared identifier #t~ret1876 in IdentifierExpression[#t~ret1876,] [2024-10-14 15:28:20,564 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [11662]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1876,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~14,],base],StructAccessExpression[IdentifierExpression[~#descriptor~14,],offset]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,565 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_capture_irq_handler" [11663]: Variable #t~ret1877 modified in procedure fimc_capture_irq_handler but not declared [2024-10-14 15:28:20,565 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_capture_irq_handler" [11663]: Undeclared identifier #t~ret1877 in IdentifierExpression[#t~ret1877,] [2024-10-14 15:28:20,565 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_capture_irq_handler" [11663]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1877,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~14,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~14,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,565 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-capture.c" [11664]: Variable #t~ret1878 modified in procedure fimc_capture_irq_handler but not declared [2024-10-14 15:28:20,565 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-capture.c" [11664]: Undeclared identifier #t~ret1878 in IdentifierExpression[#t~ret1878,] [2024-10-14 15:28:20,565 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-capture.c" [11664]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1878,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~14,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~14,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,566 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: next frame: %d, done frame: %d\n" [11665]: Variable #t~ret1879 modified in procedure fimc_capture_irq_handler but not declared [2024-10-14 15:28:20,566 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: next frame: %d, done frame: %d\n" [11665]: Undeclared identifier #t~ret1879 in IdentifierExpression[#t~ret1879,] [2024-10-14 15:28:20,566 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: next frame: %d, done frame: %d\n" [11665]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1879,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~14,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~14,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,566 ERROR L1136 TypeChecker]: C: descriptor___0.modname = "s5p_fimc" [11746]: Variable #t~ret1922 modified in procedure fimc_capture_irq_handler but not declared [2024-10-14 15:28:20,567 ERROR L1136 TypeChecker]: C: descriptor___0.modname = "s5p_fimc" [11746]: Undeclared identifier #t~ret1922 in IdentifierExpression[#t~ret1922,] [2024-10-14 15:28:20,567 ERROR L1136 TypeChecker]: C: descriptor___0.modname = "s5p_fimc" [11746]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1922,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],base],StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],offset]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,567 ERROR L1136 TypeChecker]: C: descriptor___0.function = "fimc_capture_irq_handler" [11747]: Variable #t~ret1923 modified in procedure fimc_capture_irq_handler but not declared [2024-10-14 15:28:20,567 ERROR L1136 TypeChecker]: C: descriptor___0.function = "fimc_capture_irq_handler" [11747]: Undeclared identifier #t~ret1923 in IdentifierExpression[#t~ret1923,] [2024-10-14 15:28:20,568 ERROR L1136 TypeChecker]: C: descriptor___0.function = "fimc_capture_irq_handler" [11747]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1923,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,568 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-capture.c" [11748]: Variable #t~ret1924 modified in procedure fimc_capture_irq_handler but not declared [2024-10-14 15:28:20,568 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-capture.c" [11748]: Undeclared identifier #t~ret1924 in IdentifierExpression[#t~ret1924,] [2024-10-14 15:28:20,569 ERROR L1136 TypeChecker]: C: descriptor___0.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-capture.c" [11748]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1924,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,569 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s:%d: frame: %d, active_buf_cnt: %d\n" [11749]: Variable #t~ret1925 modified in procedure fimc_capture_irq_handler but not declared [2024-10-14 15:28:20,569 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s:%d: frame: %d, active_buf_cnt: %d\n" [11749]: Undeclared identifier #t~ret1925 in IdentifierExpression[#t~ret1925,] [2024-10-14 15:28:20,569 ERROR L1136 TypeChecker]: C: descriptor___0.format = "%s:%d: frame: %d, active_buf_cnt: %d\n" [11749]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1925,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,570 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [12131]: Variable #t~ret2066 modified in procedure fimc_capture_open but not declared [2024-10-14 15:28:20,570 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [12131]: Undeclared identifier #t~ret2066 in IdentifierExpression[#t~ret2066,] [2024-10-14 15:28:20,570 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [12131]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2066,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~15,],base],StructAccessExpression[IdentifierExpression[~#descriptor~15,],offset]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,570 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_capture_open" [12132]: Variable #t~ret2067 modified in procedure fimc_capture_open but not declared [2024-10-14 15:28:20,570 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_capture_open" [12132]: Undeclared identifier #t~ret2067 in IdentifierExpression[#t~ret2067,] [2024-10-14 15:28:20,570 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_capture_open" [12132]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2067,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~15,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~15,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,570 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-capture.c" [12133]: Variable #t~ret2068 modified in procedure fimc_capture_open but not declared [2024-10-14 15:28:20,570 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-capture.c" [12133]: Undeclared identifier #t~ret2068 in IdentifierExpression[#t~ret2068,] [2024-10-14 15:28:20,571 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-capture.c" [12133]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2068,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~15,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~15,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,571 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: pid: %d, state: 0x%lx\n" [12134]: Variable #t~ret2069 modified in procedure fimc_capture_open but not declared [2024-10-14 15:28:20,571 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: pid: %d, state: 0x%lx\n" [12134]: Undeclared identifier #t~ret2069 in IdentifierExpression[#t~ret2069,] [2024-10-14 15:28:20,571 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: pid: %d, state: 0x%lx\n" [12134]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2069,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~15,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~15,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,582 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [12228]: Variable #t~ret2114 modified in procedure fimc_capture_release but not declared [2024-10-14 15:28:20,583 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [12228]: Undeclared identifier #t~ret2114 in IdentifierExpression[#t~ret2114,] [2024-10-14 15:28:20,583 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [12228]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2114,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~16,],base],StructAccessExpression[IdentifierExpression[~#descriptor~16,],offset]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,583 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_capture_release" [12229]: Variable #t~ret2115 modified in procedure fimc_capture_release but not declared [2024-10-14 15:28:20,583 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_capture_release" [12229]: Undeclared identifier #t~ret2115 in IdentifierExpression[#t~ret2115,] [2024-10-14 15:28:20,583 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_capture_release" [12229]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2115,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~16,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~16,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,583 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-capture.c" [12230]: Variable #t~ret2116 modified in procedure fimc_capture_release but not declared [2024-10-14 15:28:20,583 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-capture.c" [12230]: Undeclared identifier #t~ret2116 in IdentifierExpression[#t~ret2116,] [2024-10-14 15:28:20,583 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-capture.c" [12230]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2116,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~16,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~16,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,583 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: pid: %d, state: 0x%lx\n" [12231]: Variable #t~ret2117 modified in procedure fimc_capture_release but not declared [2024-10-14 15:28:20,583 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: pid: %d, state: 0x%lx\n" [12231]: Undeclared identifier #t~ret2117 in IdentifierExpression[#t~ret2117,] [2024-10-14 15:28:20,583 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: pid: %d, state: 0x%lx\n" [12231]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2117,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~16,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~16,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,584 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [12373]: Variable #t~ret2198 modified in procedure fimc_capture_try_format but not declared [2024-10-14 15:28:20,584 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [12373]: Undeclared identifier #t~ret2198 in IdentifierExpression[#t~ret2198,] [2024-10-14 15:28:20,584 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [12373]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2198,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~17,],base],StructAccessExpression[IdentifierExpression[~#descriptor~17,],offset]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,584 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_capture_try_format" [12374]: Variable #t~ret2199 modified in procedure fimc_capture_try_format but not declared [2024-10-14 15:28:20,584 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_capture_try_format" [12374]: Undeclared identifier #t~ret2199 in IdentifierExpression[#t~ret2199,] [2024-10-14 15:28:20,584 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_capture_try_format" [12374]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2199,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~17,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~17,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,584 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-capture.c" [12375]: Variable #t~ret2200 modified in procedure fimc_capture_try_format but not declared [2024-10-14 15:28:20,584 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-capture.c" [12375]: Undeclared identifier #t~ret2200 in IdentifierExpression[#t~ret2200,] [2024-10-14 15:28:20,585 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-capture.c" [12375]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2200,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~17,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~17,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,585 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: pad%d: code: 0x%x, %dx%d. dst fmt: %dx%d\n" [12376]: Variable #t~ret2201 modified in procedure fimc_capture_try_format but not declared [2024-10-14 15:28:20,586 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: pad%d: code: 0x%x, %dx%d. dst fmt: %dx%d\n" [12376]: Undeclared identifier #t~ret2201 in IdentifierExpression[#t~ret2201,] [2024-10-14 15:28:20,586 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: pad%d: code: 0x%x, %dx%d. dst fmt: %dx%d\n" [12376]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2201,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~17,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~17,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,587 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [12517]: Variable #t~ret2254 modified in procedure fimc_capture_try_selection but not declared [2024-10-14 15:28:20,587 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [12517]: Undeclared identifier #t~ret2254 in IdentifierExpression[#t~ret2254,] [2024-10-14 15:28:20,588 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [12517]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2254,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~18,],base],StructAccessExpression[IdentifierExpression[~#descriptor~18,],offset]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,588 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_capture_try_selection" [12518]: Variable #t~ret2255 modified in procedure fimc_capture_try_selection but not declared [2024-10-14 15:28:20,588 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_capture_try_selection" [12518]: Undeclared identifier #t~ret2255 in IdentifierExpression[#t~ret2255,] [2024-10-14 15:28:20,588 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_capture_try_selection" [12518]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2255,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~18,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~18,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,588 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-capture.c" [12519]: Variable #t~ret2256 modified in procedure fimc_capture_try_selection but not declared [2024-10-14 15:28:20,588 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-capture.c" [12519]: Undeclared identifier #t~ret2256 in IdentifierExpression[#t~ret2256,] [2024-10-14 15:28:20,588 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-capture.c" [12519]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2256,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~18,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~18,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,588 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: target %#x: (%d,%d)/%dx%d, sink fmt: %dx%d\n" [12520]: Variable #t~ret2257 modified in procedure fimc_capture_try_selection but not declared [2024-10-14 15:28:20,588 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: target %#x: (%d,%d)/%dx%d, sink fmt: %dx%d\n" [12520]: Undeclared identifier #t~ret2257 in IdentifierExpression[#t~ret2257,] [2024-10-14 15:28:20,589 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: target %#x: (%d,%d)/%dx%d, sink fmt: %dx%d\n" [12520]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2257,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~18,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~18,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,595 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [13444]: Variable #t~ret2639 modified in procedure fimc_link_setup but not declared [2024-10-14 15:28:20,595 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [13444]: Undeclared identifier #t~ret2639 in IdentifierExpression[#t~ret2639,] [2024-10-14 15:28:20,595 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [13444]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2639,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~19,],base],StructAccessExpression[IdentifierExpression[~#descriptor~19,],offset]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,595 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_link_setup" [13445]: Variable #t~ret2640 modified in procedure fimc_link_setup but not declared [2024-10-14 15:28:20,595 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_link_setup" [13445]: Undeclared identifier #t~ret2640 in IdentifierExpression[#t~ret2640,] [2024-10-14 15:28:20,595 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_link_setup" [13445]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2640,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~19,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~19,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,595 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-capture.c" [13446]: Variable #t~ret2641 modified in procedure fimc_link_setup but not declared [2024-10-14 15:28:20,596 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-capture.c" [13446]: Undeclared identifier #t~ret2641 in IdentifierExpression[#t~ret2641,] [2024-10-14 15:28:20,596 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-capture.c" [13446]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2641,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~19,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~19,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,596 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: %s --> %s, flags: 0x%x. input: 0x%x\n" [13447]: Variable #t~ret2642 modified in procedure fimc_link_setup but not declared [2024-10-14 15:28:20,596 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: %s --> %s, flags: 0x%x. input: 0x%x\n" [13447]: Undeclared identifier #t~ret2642 in IdentifierExpression[#t~ret2642,] [2024-10-14 15:28:20,596 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: %s --> %s, flags: 0x%x. input: 0x%x\n" [13447]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2642,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~19,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~19,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,599 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [13627]: Variable #t~ret2752 modified in procedure fimc_subdev_set_fmt but not declared [2024-10-14 15:28:20,599 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [13627]: Undeclared identifier #t~ret2752 in IdentifierExpression[#t~ret2752,] [2024-10-14 15:28:20,599 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [13627]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2752,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~20,],base],StructAccessExpression[IdentifierExpression[~#descriptor~20,],offset]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,599 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_subdev_set_fmt" [13628]: Variable #t~ret2753 modified in procedure fimc_subdev_set_fmt but not declared [2024-10-14 15:28:20,599 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_subdev_set_fmt" [13628]: Undeclared identifier #t~ret2753 in IdentifierExpression[#t~ret2753,] [2024-10-14 15:28:20,599 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_subdev_set_fmt" [13628]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2753,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~20,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~20,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,599 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-capture.c" [13629]: Variable #t~ret2754 modified in procedure fimc_subdev_set_fmt but not declared [2024-10-14 15:28:20,600 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-capture.c" [13629]: Undeclared identifier #t~ret2754 in IdentifierExpression[#t~ret2754,] [2024-10-14 15:28:20,600 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-capture.c" [13629]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2754,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~20,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~20,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,600 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: pad%d: code: 0x%x, %dx%d\n" [13630]: Variable #t~ret2755 modified in procedure fimc_subdev_set_fmt but not declared [2024-10-14 15:28:20,600 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: pad%d: code: 0x%x, %dx%d\n" [13630]: Undeclared identifier #t~ret2755 in IdentifierExpression[#t~ret2755,] [2024-10-14 15:28:20,600 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: pad%d: code: 0x%x, %dx%d\n" [13630]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2755,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~20,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~20,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,601 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [13753]: Variable #t~ret2870 modified in procedure fimc_subdev_get_selection but not declared [2024-10-14 15:28:20,601 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [13753]: Undeclared identifier #t~ret2870 in IdentifierExpression[#t~ret2870,] [2024-10-14 15:28:20,601 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [13753]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2870,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~21,],base],StructAccessExpression[IdentifierExpression[~#descriptor~21,],offset]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,602 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_subdev_get_selection" [13754]: Variable #t~ret2871 modified in procedure fimc_subdev_get_selection but not declared [2024-10-14 15:28:20,602 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_subdev_get_selection" [13754]: Undeclared identifier #t~ret2871 in IdentifierExpression[#t~ret2871,] [2024-10-14 15:28:20,602 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_subdev_get_selection" [13754]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2871,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~21,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~21,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,602 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-capture.c" [13755]: Variable #t~ret2872 modified in procedure fimc_subdev_get_selection but not declared [2024-10-14 15:28:20,602 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-capture.c" [13755]: Undeclared identifier #t~ret2872 in IdentifierExpression[#t~ret2872,] [2024-10-14 15:28:20,602 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-capture.c" [13755]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2872,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~21,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~21,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,602 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: target %#x: l:%d, t:%d, %dx%d, f_w: %d, f_h: %d\n" [13756]: Variable #t~ret2873 modified in procedure fimc_subdev_get_selection but not declared [2024-10-14 15:28:20,602 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: target %#x: l:%d, t:%d, %dx%d, f_w: %d, f_h: %d\n" [13756]: Undeclared identifier #t~ret2873 in IdentifierExpression[#t~ret2873,] [2024-10-14 15:28:20,602 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: target %#x: l:%d, t:%d, %dx%d, f_w: %d, f_h: %d\n" [13756]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2873,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~21,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~21,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,603 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [13821]: Variable #t~ret2907 modified in procedure fimc_subdev_set_selection but not declared [2024-10-14 15:28:20,603 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [13821]: Undeclared identifier #t~ret2907 in IdentifierExpression[#t~ret2907,] [2024-10-14 15:28:20,603 ERROR L1136 TypeChecker]: C: descriptor.modname = "s5p_fimc" [13821]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2907,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~22,],base],StructAccessExpression[IdentifierExpression[~#descriptor~22,],offset]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,603 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_subdev_set_selection" [13822]: Variable #t~ret2908 modified in procedure fimc_subdev_set_selection but not declared [2024-10-14 15:28:20,603 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_subdev_set_selection" [13822]: Undeclared identifier #t~ret2908 in IdentifierExpression[#t~ret2908,] [2024-10-14 15:28:20,603 ERROR L1136 TypeChecker]: C: descriptor.function = "fimc_subdev_set_selection" [13822]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2908,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~22,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~22,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,604 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-capture.c" [13823]: Variable #t~ret2909 modified in procedure fimc_subdev_set_selection but not declared [2024-10-14 15:28:20,604 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-capture.c" [13823]: Undeclared identifier #t~ret2909 in IdentifierExpression[#t~ret2909,] [2024-10-14 15:28:20,604 ERROR L1136 TypeChecker]: C: descriptor.filename = "/work/ldvuser/mutilin/launch/work/current--X--drivers/--X--defaultlinux-4.2-rc1.tar.xz--X--08_1a--X--cpachecker/linux-4.2-rc1.tar.xz/csd_deg_dscv/3559/dscv_tempdir/dscv/ri/08_1a/drivers/media/platform/exynos4-is/fimc-capture.c" [13823]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2909,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~22,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~22,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,604 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: target %#x: (%d,%d)/%dx%d\n" [13824]: Variable #t~ret2910 modified in procedure fimc_subdev_set_selection but not declared [2024-10-14 15:28:20,604 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: target %#x: (%d,%d)/%dx%d\n" [13824]: Undeclared identifier #t~ret2910 in IdentifierExpression[#t~ret2910,] [2024-10-14 15:28:20,604 ERROR L1136 TypeChecker]: C: descriptor.format = "%s:%d: target %#x: (%d,%d)/%dx%d\n" [13824]: Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2910,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~22,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~22,],offset]]]],IntegerLiteral[8]]] [2024-10-14 15:28:20,616 INFO L184 PluginConnector]: Executing the observer Inliner from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 14.10 03:28:20" (1/1) ... [2024-10-14 15:28:20,616 INFO L131 PluginConnector]: ------------------------ END Boogie Procedure Inliner---------------------------- [2024-10-14 15:28:20,616 INFO L186 ToolchainWalker]: Toolchain execution was canceled (user or tool) before executing de.uni_freiburg.informatik.ultimate.boogie.preprocessor [2024-10-14 15:28:20,618 INFO L158 Benchmark]: Toolchain (without parser) took 4596.65ms. Allocated memory was 163.6MB in the beginning and 392.2MB in the end (delta: 228.6MB). Free memory was 65.4MB in the beginning and 182.5MB in the end (delta: -117.1MB). Peak memory consumption was 114.6MB. Max. memory is 16.1GB. [2024-10-14 15:28:20,618 INFO L158 Benchmark]: CDTParser took 0.14ms. Allocated memory is still 163.6MB. Free memory is still 112.4MB. There was no memory consumed. Max. memory is 16.1GB. [2024-10-14 15:28:20,618 INFO L158 Benchmark]: CACSL2BoogieTranslator took 4398.61ms. Allocated memory was 163.6MB in the beginning and 392.2MB in the end (delta: 228.6MB). Free memory was 65.4MB in the beginning and 207.7MB in the end (delta: -142.2MB). Peak memory consumption was 171.2MB. Max. memory is 16.1GB. [2024-10-14 15:28:20,619 INFO L158 Benchmark]: Boogie Procedure Inliner took 195.72ms. Allocated memory is still 392.2MB. Free memory was 207.7MB in the beginning and 182.5MB in the end (delta: 25.1MB). Peak memory consumption was 25.2MB. Max. memory is 16.1GB. [2024-10-14 15:28:20,620 INFO L338 ainManager$Toolchain]: ####################### End [Toolchain 1] ####################### --- Results --- * Results from de.uni_freiburg.informatik.ultimate.core: - StatisticsResult: Toolchain Benchmarks Benchmark results are: * CDTParser took 0.14ms. Allocated memory is still 163.6MB. Free memory is still 112.4MB. There was no memory consumed. Max. memory is 16.1GB. * CACSL2BoogieTranslator took 4398.61ms. Allocated memory was 163.6MB in the beginning and 392.2MB in the end (delta: 228.6MB). Free memory was 65.4MB in the beginning and 207.7MB in the end (delta: -142.2MB). Peak memory consumption was 171.2MB. Max. memory is 16.1GB. * Boogie Procedure Inliner took 195.72ms. Allocated memory is still 392.2MB. Free memory was 207.7MB in the beginning and 182.5MB in the end (delta: 25.1MB). Peak memory consumption was 25.2MB. Max. memory is 16.1GB. * Results from de.uni_freiburg.informatik.ultimate.boogie.preprocessor: - TypeErrorResult [Line: 6504]: Type Error Variable #t~ret208 modified in procedure fimc_prepare_addr but not declared - TypeErrorResult [Line: 6504]: Type Error Undeclared identifier #t~ret208 in IdentifierExpression[#t~ret208,] - TypeErrorResult [Line: 6504]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret208,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~0,],base],StructAccessExpression[IdentifierExpression[~#descriptor~0,],offset]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6505]: Type Error Variable #t~ret209 modified in procedure fimc_prepare_addr but not declared - TypeErrorResult [Line: 6505]: Type Error Undeclared identifier #t~ret209 in IdentifierExpression[#t~ret209,] - TypeErrorResult [Line: 6505]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret209,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6506]: Type Error Variable #t~ret210 modified in procedure fimc_prepare_addr but not declared - TypeErrorResult [Line: 6506]: Type Error Undeclared identifier #t~ret210 in IdentifierExpression[#t~ret210,] - TypeErrorResult [Line: 6506]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret210,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6507]: Type Error Variable #t~ret211 modified in procedure fimc_prepare_addr but not declared - TypeErrorResult [Line: 6507]: Type Error Undeclared identifier #t~ret211 in IdentifierExpression[#t~ret211,] - TypeErrorResult [Line: 6507]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret211,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6555]: Type Error Variable #t~ret239 modified in procedure fimc_prepare_addr but not declared - TypeErrorResult [Line: 6555]: Type Error Undeclared identifier #t~ret239 in IdentifierExpression[#t~ret239,] - TypeErrorResult [Line: 6555]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret239,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],base],StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],offset]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6556]: Type Error Variable #t~ret240 modified in procedure fimc_prepare_addr but not declared - TypeErrorResult [Line: 6556]: Type Error Undeclared identifier #t~ret240 in IdentifierExpression[#t~ret240,] - TypeErrorResult [Line: 6556]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret240,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6557]: Type Error Variable #t~ret241 modified in procedure fimc_prepare_addr but not declared - TypeErrorResult [Line: 6557]: Type Error Undeclared identifier #t~ret241 in IdentifierExpression[#t~ret241,] - TypeErrorResult [Line: 6557]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret241,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6558]: Type Error Variable #t~ret242 modified in procedure fimc_prepare_addr but not declared - TypeErrorResult [Line: 6558]: Type Error Undeclared identifier #t~ret242 in IdentifierExpression[#t~ret242,] - TypeErrorResult [Line: 6558]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret242,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___0~0,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6595]: Type Error Variable #t~ret252 modified in procedure fimc_set_yuv_order but not declared - TypeErrorResult [Line: 6595]: Type Error Undeclared identifier #t~ret252 in IdentifierExpression[#t~ret252,] - TypeErrorResult [Line: 6595]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret252,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~1,],base],StructAccessExpression[IdentifierExpression[~#descriptor~1,],offset]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6596]: Type Error Variable #t~ret253 modified in procedure fimc_set_yuv_order but not declared - TypeErrorResult [Line: 6596]: Type Error Undeclared identifier #t~ret253 in IdentifierExpression[#t~ret253,] - TypeErrorResult [Line: 6596]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret253,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6597]: Type Error Variable #t~ret254 modified in procedure fimc_set_yuv_order but not declared - TypeErrorResult [Line: 6597]: Type Error Undeclared identifier #t~ret254 in IdentifierExpression[#t~ret254,] - TypeErrorResult [Line: 6597]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret254,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6598]: Type Error Variable #t~ret255 modified in procedure fimc_set_yuv_order but not declared - TypeErrorResult [Line: 6598]: Type Error Undeclared identifier #t~ret255 in IdentifierExpression[#t~ret255,] - TypeErrorResult [Line: 6598]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret255,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6623]: Type Error Variable #t~ret263 modified in procedure fimc_set_yuv_order but not declared - TypeErrorResult [Line: 6623]: Type Error Undeclared identifier #t~ret263 in IdentifierExpression[#t~ret263,] - TypeErrorResult [Line: 6623]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret263,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],base],StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],offset]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6624]: Type Error Variable #t~ret264 modified in procedure fimc_set_yuv_order but not declared - TypeErrorResult [Line: 6624]: Type Error Undeclared identifier #t~ret264 in IdentifierExpression[#t~ret264,] - TypeErrorResult [Line: 6624]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret264,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6625]: Type Error Variable #t~ret265 modified in procedure fimc_set_yuv_order but not declared - TypeErrorResult [Line: 6625]: Type Error Undeclared identifier #t~ret265 in IdentifierExpression[#t~ret265,] - TypeErrorResult [Line: 6625]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret265,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6626]: Type Error Variable #t~ret266 modified in procedure fimc_set_yuv_order but not declared - TypeErrorResult [Line: 6626]: Type Error Undeclared identifier #t~ret266 in IdentifierExpression[#t~ret266,] - TypeErrorResult [Line: 6626]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret266,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___0~1,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6681]: Type Error Variable #t~ret293 modified in procedure fimc_prepare_dma_offset but not declared - TypeErrorResult [Line: 6681]: Type Error Undeclared identifier #t~ret293 in IdentifierExpression[#t~ret293,] - TypeErrorResult [Line: 6681]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret293,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~2,],base],StructAccessExpression[IdentifierExpression[~#descriptor~2,],offset]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6682]: Type Error Variable #t~ret294 modified in procedure fimc_prepare_dma_offset but not declared - TypeErrorResult [Line: 6682]: Type Error Undeclared identifier #t~ret294 in IdentifierExpression[#t~ret294,] - TypeErrorResult [Line: 6682]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret294,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~2,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6683]: Type Error Variable #t~ret295 modified in procedure fimc_prepare_dma_offset but not declared - TypeErrorResult [Line: 6683]: Type Error Undeclared identifier #t~ret295 in IdentifierExpression[#t~ret295,] - TypeErrorResult [Line: 6683]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret295,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~2,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 6684]: Type Error Variable #t~ret296 modified in procedure fimc_prepare_dma_offset but not declared - TypeErrorResult [Line: 6684]: Type Error Undeclared identifier #t~ret296 in IdentifierExpression[#t~ret296,] - TypeErrorResult [Line: 6684]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret296,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~2,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7426]: Type Error Variable #t~ret556 modified in procedure fimc_probe but not declared - TypeErrorResult [Line: 7426]: Type Error Undeclared identifier #t~ret556 in IdentifierExpression[#t~ret556,] - TypeErrorResult [Line: 7426]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret556,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~3,],base],StructAccessExpression[IdentifierExpression[~#descriptor~3,],offset]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7427]: Type Error Variable #t~ret557 modified in procedure fimc_probe but not declared - TypeErrorResult [Line: 7427]: Type Error Undeclared identifier #t~ret557 in IdentifierExpression[#t~ret557,] - TypeErrorResult [Line: 7427]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret557,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~3,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7428]: Type Error Variable #t~ret558 modified in procedure fimc_probe but not declared - TypeErrorResult [Line: 7428]: Type Error Undeclared identifier #t~ret558 in IdentifierExpression[#t~ret558,] - TypeErrorResult [Line: 7428]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret558,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~3,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7429]: Type Error Variable #t~ret559 modified in procedure fimc_probe but not declared - TypeErrorResult [Line: 7429]: Type Error Undeclared identifier #t~ret559 in IdentifierExpression[#t~ret559,] - TypeErrorResult [Line: 7429]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret559,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~3,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~3,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7470]: Type Error Variable #t~ret568 modified in procedure fimc_runtime_resume but not declared - TypeErrorResult [Line: 7470]: Type Error Undeclared identifier #t~ret568 in IdentifierExpression[#t~ret568,] - TypeErrorResult [Line: 7470]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret568,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~4,],base],StructAccessExpression[IdentifierExpression[~#descriptor~4,],offset]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7471]: Type Error Variable #t~ret569 modified in procedure fimc_runtime_resume but not declared - TypeErrorResult [Line: 7471]: Type Error Undeclared identifier #t~ret569 in IdentifierExpression[#t~ret569,] - TypeErrorResult [Line: 7471]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret569,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~4,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~4,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7472]: Type Error Variable #t~ret570 modified in procedure fimc_runtime_resume but not declared - TypeErrorResult [Line: 7472]: Type Error Undeclared identifier #t~ret570 in IdentifierExpression[#t~ret570,] - TypeErrorResult [Line: 7472]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret570,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~4,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~4,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7473]: Type Error Variable #t~ret571 modified in procedure fimc_runtime_resume but not declared - TypeErrorResult [Line: 7473]: Type Error Undeclared identifier #t~ret571 in IdentifierExpression[#t~ret571,] - TypeErrorResult [Line: 7473]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret571,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~4,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~4,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7516]: Type Error Variable #t~ret587 modified in procedure fimc_runtime_suspend but not declared - TypeErrorResult [Line: 7516]: Type Error Undeclared identifier #t~ret587 in IdentifierExpression[#t~ret587,] - TypeErrorResult [Line: 7516]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret587,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~5,],base],StructAccessExpression[IdentifierExpression[~#descriptor~5,],offset]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7517]: Type Error Variable #t~ret588 modified in procedure fimc_runtime_suspend but not declared - TypeErrorResult [Line: 7517]: Type Error Undeclared identifier #t~ret588 in IdentifierExpression[#t~ret588,] - TypeErrorResult [Line: 7517]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret588,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~5,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~5,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7518]: Type Error Variable #t~ret589 modified in procedure fimc_runtime_suspend but not declared - TypeErrorResult [Line: 7518]: Type Error Undeclared identifier #t~ret589 in IdentifierExpression[#t~ret589,] - TypeErrorResult [Line: 7518]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret589,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~5,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~5,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7519]: Type Error Variable #t~ret590 modified in procedure fimc_runtime_suspend but not declared - TypeErrorResult [Line: 7519]: Type Error Undeclared identifier #t~ret590 in IdentifierExpression[#t~ret590,] - TypeErrorResult [Line: 7519]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret590,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~5,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~5,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7548]: Type Error Variable #t~ret597 modified in procedure fimc_resume but not declared - TypeErrorResult [Line: 7548]: Type Error Undeclared identifier #t~ret597 in IdentifierExpression[#t~ret597,] - TypeErrorResult [Line: 7548]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret597,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~6,],base],StructAccessExpression[IdentifierExpression[~#descriptor~6,],offset]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7549]: Type Error Variable #t~ret598 modified in procedure fimc_resume but not declared - TypeErrorResult [Line: 7549]: Type Error Undeclared identifier #t~ret598 in IdentifierExpression[#t~ret598,] - TypeErrorResult [Line: 7549]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret598,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~6,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~6,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7550]: Type Error Variable #t~ret599 modified in procedure fimc_resume but not declared - TypeErrorResult [Line: 7550]: Type Error Undeclared identifier #t~ret599 in IdentifierExpression[#t~ret599,] - TypeErrorResult [Line: 7550]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret599,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~6,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~6,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7551]: Type Error Variable #t~ret600 modified in procedure fimc_resume but not declared - TypeErrorResult [Line: 7551]: Type Error Undeclared identifier #t~ret600 in IdentifierExpression[#t~ret600,] - TypeErrorResult [Line: 7551]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret600,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~6,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~6,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7603]: Type Error Variable #t~ret615 modified in procedure fimc_suspend but not declared - TypeErrorResult [Line: 7603]: Type Error Undeclared identifier #t~ret615 in IdentifierExpression[#t~ret615,] - TypeErrorResult [Line: 7603]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret615,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~7,],base],StructAccessExpression[IdentifierExpression[~#descriptor~7,],offset]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7604]: Type Error Variable #t~ret616 modified in procedure fimc_suspend but not declared - TypeErrorResult [Line: 7604]: Type Error Undeclared identifier #t~ret616 in IdentifierExpression[#t~ret616,] - TypeErrorResult [Line: 7604]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret616,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~7,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~7,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7605]: Type Error Variable #t~ret617 modified in procedure fimc_suspend but not declared - TypeErrorResult [Line: 7605]: Type Error Undeclared identifier #t~ret617 in IdentifierExpression[#t~ret617,] - TypeErrorResult [Line: 7605]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret617,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~7,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~7,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 7606]: Type Error Variable #t~ret618 modified in procedure fimc_suspend but not declared - TypeErrorResult [Line: 7606]: Type Error Undeclared identifier #t~ret618 in IdentifierExpression[#t~ret618,] - TypeErrorResult [Line: 7606]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret618,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~7,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~7,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 8339]: Type Error Variable #t~ret734 modified in procedure fimc_hw_set_target_format but not declared - TypeErrorResult [Line: 8339]: Type Error Undeclared identifier #t~ret734 in IdentifierExpression[#t~ret734,] - TypeErrorResult [Line: 8339]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret734,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~8,],base],StructAccessExpression[IdentifierExpression[~#descriptor~8,],offset]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 8340]: Type Error Variable #t~ret735 modified in procedure fimc_hw_set_target_format but not declared - TypeErrorResult [Line: 8340]: Type Error Undeclared identifier #t~ret735 in IdentifierExpression[#t~ret735,] - TypeErrorResult [Line: 8340]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret735,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~8,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~8,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 8341]: Type Error Variable #t~ret736 modified in procedure fimc_hw_set_target_format but not declared - TypeErrorResult [Line: 8341]: Type Error Undeclared identifier #t~ret736 in IdentifierExpression[#t~ret736,] - TypeErrorResult [Line: 8341]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret736,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~8,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~8,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 8342]: Type Error Variable #t~ret737 modified in procedure fimc_hw_set_target_format but not declared - TypeErrorResult [Line: 8342]: Type Error Undeclared identifier #t~ret737 in IdentifierExpression[#t~ret737,] - TypeErrorResult [Line: 8342]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret737,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~8,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~8,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 8593]: Type Error Variable #t~ret868 modified in procedure fimc_hw_set_mainscaler but not declared - TypeErrorResult [Line: 8593]: Type Error Undeclared identifier #t~ret868 in IdentifierExpression[#t~ret868,] - TypeErrorResult [Line: 8593]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret868,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~9,],base],StructAccessExpression[IdentifierExpression[~#descriptor~9,],offset]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 8594]: Type Error Variable #t~ret869 modified in procedure fimc_hw_set_mainscaler but not declared - TypeErrorResult [Line: 8594]: Type Error Undeclared identifier #t~ret869 in IdentifierExpression[#t~ret869,] - TypeErrorResult [Line: 8594]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret869,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~9,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~9,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 8595]: Type Error Variable #t~ret870 modified in procedure fimc_hw_set_mainscaler but not declared - TypeErrorResult [Line: 8595]: Type Error Undeclared identifier #t~ret870 in IdentifierExpression[#t~ret870,] - TypeErrorResult [Line: 8595]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret870,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~9,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~9,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 8596]: Type Error Variable #t~ret871 modified in procedure fimc_hw_set_mainscaler but not declared - TypeErrorResult [Line: 8596]: Type Error Undeclared identifier #t~ret871 in IdentifierExpression[#t~ret871,] - TypeErrorResult [Line: 8596]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret871,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~9,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~9,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 8856]: Type Error Variable #t~ret1024 modified in procedure fimc_hw_set_output_addr but not declared - TypeErrorResult [Line: 8856]: Type Error Undeclared identifier #t~ret1024 in IdentifierExpression[#t~ret1024,] - TypeErrorResult [Line: 8856]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1024,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~10,],base],StructAccessExpression[IdentifierExpression[~#descriptor~10,],offset]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 8857]: Type Error Variable #t~ret1025 modified in procedure fimc_hw_set_output_addr but not declared - TypeErrorResult [Line: 8857]: Type Error Undeclared identifier #t~ret1025 in IdentifierExpression[#t~ret1025,] - TypeErrorResult [Line: 8857]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1025,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~10,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~10,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 8858]: Type Error Variable #t~ret1026 modified in procedure fimc_hw_set_output_addr but not declared - TypeErrorResult [Line: 8858]: Type Error Undeclared identifier #t~ret1026 in IdentifierExpression[#t~ret1026,] - TypeErrorResult [Line: 8858]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1026,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~10,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~10,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 8859]: Type Error Variable #t~ret1027 modified in procedure fimc_hw_set_output_addr but not declared - TypeErrorResult [Line: 8859]: Type Error Undeclared identifier #t~ret1027 in IdentifierExpression[#t~ret1027,] - TypeErrorResult [Line: 8859]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1027,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~10,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~10,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 10175]: Type Error Variable #t~ret1510 modified in procedure fimc_m2m_try_crop but not declared - TypeErrorResult [Line: 10175]: Type Error Undeclared identifier #t~ret1510 in IdentifierExpression[#t~ret1510,] - TypeErrorResult [Line: 10175]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1510,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~11,],base],StructAccessExpression[IdentifierExpression[~#descriptor~11,],offset]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 10176]: Type Error Variable #t~ret1511 modified in procedure fimc_m2m_try_crop but not declared - TypeErrorResult [Line: 10176]: Type Error Undeclared identifier #t~ret1511 in IdentifierExpression[#t~ret1511,] - TypeErrorResult [Line: 10176]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1511,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~11,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~11,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 10177]: Type Error Variable #t~ret1512 modified in procedure fimc_m2m_try_crop but not declared - TypeErrorResult [Line: 10177]: Type Error Undeclared identifier #t~ret1512 in IdentifierExpression[#t~ret1512,] - TypeErrorResult [Line: 10177]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1512,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~11,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~11,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 10178]: Type Error Variable #t~ret1513 modified in procedure fimc_m2m_try_crop but not declared - TypeErrorResult [Line: 10178]: Type Error Undeclared identifier #t~ret1513 in IdentifierExpression[#t~ret1513,] - TypeErrorResult [Line: 10178]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1513,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~11,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~11,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 10350]: Type Error Variable #t~ret1556 modified in procedure fimc_m2m_open but not declared - TypeErrorResult [Line: 10350]: Type Error Undeclared identifier #t~ret1556 in IdentifierExpression[#t~ret1556,] - TypeErrorResult [Line: 10350]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1556,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~12,],base],StructAccessExpression[IdentifierExpression[~#descriptor~12,],offset]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 10351]: Type Error Variable #t~ret1557 modified in procedure fimc_m2m_open but not declared - TypeErrorResult [Line: 10351]: Type Error Undeclared identifier #t~ret1557 in IdentifierExpression[#t~ret1557,] - TypeErrorResult [Line: 10351]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1557,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~12,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~12,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 10352]: Type Error Variable #t~ret1558 modified in procedure fimc_m2m_open but not declared - TypeErrorResult [Line: 10352]: Type Error Undeclared identifier #t~ret1558 in IdentifierExpression[#t~ret1558,] - TypeErrorResult [Line: 10352]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1558,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~12,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~12,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 10353]: Type Error Variable #t~ret1559 modified in procedure fimc_m2m_open but not declared - TypeErrorResult [Line: 10353]: Type Error Undeclared identifier #t~ret1559 in IdentifierExpression[#t~ret1559,] - TypeErrorResult [Line: 10353]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1559,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~12,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~12,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 10444]: Type Error Variable #t~ret1584 modified in procedure fimc_m2m_release but not declared - TypeErrorResult [Line: 10444]: Type Error Undeclared identifier #t~ret1584 in IdentifierExpression[#t~ret1584,] - TypeErrorResult [Line: 10444]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1584,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~13,],base],StructAccessExpression[IdentifierExpression[~#descriptor~13,],offset]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 10445]: Type Error Variable #t~ret1585 modified in procedure fimc_m2m_release but not declared - TypeErrorResult [Line: 10445]: Type Error Undeclared identifier #t~ret1585 in IdentifierExpression[#t~ret1585,] - TypeErrorResult [Line: 10445]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1585,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~13,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~13,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 10446]: Type Error Variable #t~ret1586 modified in procedure fimc_m2m_release but not declared - TypeErrorResult [Line: 10446]: Type Error Undeclared identifier #t~ret1586 in IdentifierExpression[#t~ret1586,] - TypeErrorResult [Line: 10446]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1586,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~13,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~13,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 10447]: Type Error Variable #t~ret1587 modified in procedure fimc_m2m_release but not declared - TypeErrorResult [Line: 10447]: Type Error Undeclared identifier #t~ret1587 in IdentifierExpression[#t~ret1587,] - TypeErrorResult [Line: 10447]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1587,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~13,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~13,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 11662]: Type Error Variable #t~ret1876 modified in procedure fimc_capture_irq_handler but not declared - TypeErrorResult [Line: 11662]: Type Error Undeclared identifier #t~ret1876 in IdentifierExpression[#t~ret1876,] - TypeErrorResult [Line: 11662]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1876,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~14,],base],StructAccessExpression[IdentifierExpression[~#descriptor~14,],offset]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 11663]: Type Error Variable #t~ret1877 modified in procedure fimc_capture_irq_handler but not declared - TypeErrorResult [Line: 11663]: Type Error Undeclared identifier #t~ret1877 in IdentifierExpression[#t~ret1877,] - TypeErrorResult [Line: 11663]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1877,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~14,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~14,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 11664]: Type Error Variable #t~ret1878 modified in procedure fimc_capture_irq_handler but not declared - TypeErrorResult [Line: 11664]: Type Error Undeclared identifier #t~ret1878 in IdentifierExpression[#t~ret1878,] - TypeErrorResult [Line: 11664]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1878,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~14,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~14,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 11665]: Type Error Variable #t~ret1879 modified in procedure fimc_capture_irq_handler but not declared - TypeErrorResult [Line: 11665]: Type Error Undeclared identifier #t~ret1879 in IdentifierExpression[#t~ret1879,] - TypeErrorResult [Line: 11665]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1879,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~14,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~14,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 11746]: Type Error Variable #t~ret1922 modified in procedure fimc_capture_irq_handler but not declared - TypeErrorResult [Line: 11746]: Type Error Undeclared identifier #t~ret1922 in IdentifierExpression[#t~ret1922,] - TypeErrorResult [Line: 11746]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1922,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],base],StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],offset]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 11747]: Type Error Variable #t~ret1923 modified in procedure fimc_capture_irq_handler but not declared - TypeErrorResult [Line: 11747]: Type Error Undeclared identifier #t~ret1923 in IdentifierExpression[#t~ret1923,] - TypeErrorResult [Line: 11747]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1923,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 11748]: Type Error Variable #t~ret1924 modified in procedure fimc_capture_irq_handler but not declared - TypeErrorResult [Line: 11748]: Type Error Undeclared identifier #t~ret1924 in IdentifierExpression[#t~ret1924,] - TypeErrorResult [Line: 11748]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1924,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 11749]: Type Error Variable #t~ret1925 modified in procedure fimc_capture_irq_handler but not declared - TypeErrorResult [Line: 11749]: Type Error Undeclared identifier #t~ret1925 in IdentifierExpression[#t~ret1925,] - TypeErrorResult [Line: 11749]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret1925,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___0~2,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 12131]: Type Error Variable #t~ret2066 modified in procedure fimc_capture_open but not declared - TypeErrorResult [Line: 12131]: Type Error Undeclared identifier #t~ret2066 in IdentifierExpression[#t~ret2066,] - TypeErrorResult [Line: 12131]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2066,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~15,],base],StructAccessExpression[IdentifierExpression[~#descriptor~15,],offset]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 12132]: Type Error Variable #t~ret2067 modified in procedure fimc_capture_open but not declared - TypeErrorResult [Line: 12132]: Type Error Undeclared identifier #t~ret2067 in IdentifierExpression[#t~ret2067,] - TypeErrorResult [Line: 12132]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2067,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~15,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~15,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 12133]: Type Error Variable #t~ret2068 modified in procedure fimc_capture_open but not declared - TypeErrorResult [Line: 12133]: Type Error Undeclared identifier #t~ret2068 in IdentifierExpression[#t~ret2068,] - TypeErrorResult [Line: 12133]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2068,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~15,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~15,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 12134]: Type Error Variable #t~ret2069 modified in procedure fimc_capture_open but not declared - TypeErrorResult [Line: 12134]: Type Error Undeclared identifier #t~ret2069 in IdentifierExpression[#t~ret2069,] - TypeErrorResult [Line: 12134]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2069,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~15,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~15,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 12228]: Type Error Variable #t~ret2114 modified in procedure fimc_capture_release but not declared - TypeErrorResult [Line: 12228]: Type Error Undeclared identifier #t~ret2114 in IdentifierExpression[#t~ret2114,] - TypeErrorResult [Line: 12228]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2114,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~16,],base],StructAccessExpression[IdentifierExpression[~#descriptor~16,],offset]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 12229]: Type Error Variable #t~ret2115 modified in procedure fimc_capture_release but not declared - TypeErrorResult [Line: 12229]: Type Error Undeclared identifier #t~ret2115 in IdentifierExpression[#t~ret2115,] - TypeErrorResult [Line: 12229]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2115,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~16,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~16,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 12230]: Type Error Variable #t~ret2116 modified in procedure fimc_capture_release but not declared - TypeErrorResult [Line: 12230]: Type Error Undeclared identifier #t~ret2116 in IdentifierExpression[#t~ret2116,] - TypeErrorResult [Line: 12230]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2116,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~16,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~16,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 12231]: Type Error Variable #t~ret2117 modified in procedure fimc_capture_release but not declared - TypeErrorResult [Line: 12231]: Type Error Undeclared identifier #t~ret2117 in IdentifierExpression[#t~ret2117,] - TypeErrorResult [Line: 12231]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2117,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~16,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~16,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 12373]: Type Error Variable #t~ret2198 modified in procedure fimc_capture_try_format but not declared - TypeErrorResult [Line: 12373]: Type Error Undeclared identifier #t~ret2198 in IdentifierExpression[#t~ret2198,] - TypeErrorResult [Line: 12373]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2198,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~17,],base],StructAccessExpression[IdentifierExpression[~#descriptor~17,],offset]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 12374]: Type Error Variable #t~ret2199 modified in procedure fimc_capture_try_format but not declared - TypeErrorResult [Line: 12374]: Type Error Undeclared identifier #t~ret2199 in IdentifierExpression[#t~ret2199,] - TypeErrorResult [Line: 12374]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2199,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~17,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~17,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 12375]: Type Error Variable #t~ret2200 modified in procedure fimc_capture_try_format but not declared - TypeErrorResult [Line: 12375]: Type Error Undeclared identifier #t~ret2200 in IdentifierExpression[#t~ret2200,] - TypeErrorResult [Line: 12375]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2200,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~17,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~17,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 12376]: Type Error Variable #t~ret2201 modified in procedure fimc_capture_try_format but not declared - TypeErrorResult [Line: 12376]: Type Error Undeclared identifier #t~ret2201 in IdentifierExpression[#t~ret2201,] - TypeErrorResult [Line: 12376]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2201,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~17,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~17,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 12517]: Type Error Variable #t~ret2254 modified in procedure fimc_capture_try_selection but not declared - TypeErrorResult [Line: 12517]: Type Error Undeclared identifier #t~ret2254 in IdentifierExpression[#t~ret2254,] - TypeErrorResult [Line: 12517]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2254,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~18,],base],StructAccessExpression[IdentifierExpression[~#descriptor~18,],offset]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 12518]: Type Error Variable #t~ret2255 modified in procedure fimc_capture_try_selection but not declared - TypeErrorResult [Line: 12518]: Type Error Undeclared identifier #t~ret2255 in IdentifierExpression[#t~ret2255,] - TypeErrorResult [Line: 12518]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2255,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~18,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~18,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 12519]: Type Error Variable #t~ret2256 modified in procedure fimc_capture_try_selection but not declared - TypeErrorResult [Line: 12519]: Type Error Undeclared identifier #t~ret2256 in IdentifierExpression[#t~ret2256,] - TypeErrorResult [Line: 12519]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2256,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~18,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~18,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 12520]: Type Error Variable #t~ret2257 modified in procedure fimc_capture_try_selection but not declared - TypeErrorResult [Line: 12520]: Type Error Undeclared identifier #t~ret2257 in IdentifierExpression[#t~ret2257,] - TypeErrorResult [Line: 12520]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2257,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~18,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~18,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 13444]: Type Error Variable #t~ret2639 modified in procedure fimc_link_setup but not declared - TypeErrorResult [Line: 13444]: Type Error Undeclared identifier #t~ret2639 in IdentifierExpression[#t~ret2639,] - TypeErrorResult [Line: 13444]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2639,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~19,],base],StructAccessExpression[IdentifierExpression[~#descriptor~19,],offset]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 13445]: Type Error Variable #t~ret2640 modified in procedure fimc_link_setup but not declared - TypeErrorResult [Line: 13445]: Type Error Undeclared identifier #t~ret2640 in IdentifierExpression[#t~ret2640,] - TypeErrorResult [Line: 13445]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2640,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~19,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~19,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 13446]: Type Error Variable #t~ret2641 modified in procedure fimc_link_setup but not declared - TypeErrorResult [Line: 13446]: Type Error Undeclared identifier #t~ret2641 in IdentifierExpression[#t~ret2641,] - TypeErrorResult [Line: 13446]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2641,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~19,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~19,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 13447]: Type Error Variable #t~ret2642 modified in procedure fimc_link_setup but not declared - TypeErrorResult [Line: 13447]: Type Error Undeclared identifier #t~ret2642 in IdentifierExpression[#t~ret2642,] - TypeErrorResult [Line: 13447]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2642,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~19,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~19,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 13627]: Type Error Variable #t~ret2752 modified in procedure fimc_subdev_set_fmt but not declared - TypeErrorResult [Line: 13627]: Type Error Undeclared identifier #t~ret2752 in IdentifierExpression[#t~ret2752,] - TypeErrorResult [Line: 13627]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2752,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~20,],base],StructAccessExpression[IdentifierExpression[~#descriptor~20,],offset]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 13628]: Type Error Variable #t~ret2753 modified in procedure fimc_subdev_set_fmt but not declared - TypeErrorResult [Line: 13628]: Type Error Undeclared identifier #t~ret2753 in IdentifierExpression[#t~ret2753,] - TypeErrorResult [Line: 13628]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2753,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~20,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~20,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 13629]: Type Error Variable #t~ret2754 modified in procedure fimc_subdev_set_fmt but not declared - TypeErrorResult [Line: 13629]: Type Error Undeclared identifier #t~ret2754 in IdentifierExpression[#t~ret2754,] - TypeErrorResult [Line: 13629]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2754,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~20,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~20,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 13630]: Type Error Variable #t~ret2755 modified in procedure fimc_subdev_set_fmt but not declared - TypeErrorResult [Line: 13630]: Type Error Undeclared identifier #t~ret2755 in IdentifierExpression[#t~ret2755,] - TypeErrorResult [Line: 13630]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2755,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~20,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~20,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 13753]: Type Error Variable #t~ret2870 modified in procedure fimc_subdev_get_selection but not declared - TypeErrorResult [Line: 13753]: Type Error Undeclared identifier #t~ret2870 in IdentifierExpression[#t~ret2870,] - TypeErrorResult [Line: 13753]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2870,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~21,],base],StructAccessExpression[IdentifierExpression[~#descriptor~21,],offset]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 13754]: Type Error Variable #t~ret2871 modified in procedure fimc_subdev_get_selection but not declared - TypeErrorResult [Line: 13754]: Type Error Undeclared identifier #t~ret2871 in IdentifierExpression[#t~ret2871,] - TypeErrorResult [Line: 13754]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2871,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~21,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~21,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 13755]: Type Error Variable #t~ret2872 modified in procedure fimc_subdev_get_selection but not declared - TypeErrorResult [Line: 13755]: Type Error Undeclared identifier #t~ret2872 in IdentifierExpression[#t~ret2872,] - TypeErrorResult [Line: 13755]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2872,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~21,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~21,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 13756]: Type Error Variable #t~ret2873 modified in procedure fimc_subdev_get_selection but not declared - TypeErrorResult [Line: 13756]: Type Error Undeclared identifier #t~ret2873 in IdentifierExpression[#t~ret2873,] - TypeErrorResult [Line: 13756]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2873,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~21,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~21,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 13821]: Type Error Variable #t~ret2907 modified in procedure fimc_subdev_set_selection but not declared - TypeErrorResult [Line: 13821]: Type Error Undeclared identifier #t~ret2907 in IdentifierExpression[#t~ret2907,] - TypeErrorResult [Line: 13821]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2907,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~22,],base],StructAccessExpression[IdentifierExpression[~#descriptor~22,],offset]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 13822]: Type Error Variable #t~ret2908 modified in procedure fimc_subdev_set_selection but not declared - TypeErrorResult [Line: 13822]: Type Error Undeclared identifier #t~ret2908 in IdentifierExpression[#t~ret2908,] - TypeErrorResult [Line: 13822]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2908,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~22,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~22,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 13823]: Type Error Variable #t~ret2909 modified in procedure fimc_subdev_set_selection but not declared - TypeErrorResult [Line: 13823]: Type Error Undeclared identifier #t~ret2909 in IdentifierExpression[#t~ret2909,] - TypeErrorResult [Line: 13823]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2909,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~22,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~22,],offset]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 13824]: Type Error Variable #t~ret2910 modified in procedure fimc_subdev_set_selection but not declared - TypeErrorResult [Line: 13824]: Type Error Undeclared identifier #t~ret2910 in IdentifierExpression[#t~ret2910,] - TypeErrorResult [Line: 13824]: Type Error Wrong parameter type at index 0: CallStatement[null,false,[],write~$Pointer$,[IdentifierExpression[#t~ret2910,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~22,],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~22,],offset]]]],IntegerLiteral[8]]] * Results from de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: - GenericResultAtLocation [Line: 5830]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile (".pushsection .smp_locks,\"a\"\n.balign 4\n.long 671f - .\n.popsection\n671:\n\tlock; bts %1,%0": "+m" (*((long volatile *)addr)): "Ir" (nr): "memory"); [5830] - GenericResultAtLocation [Line: 5837]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile (".pushsection .smp_locks,\"a\"\n.balign 4\n.long 671f - .\n.popsection\n671:\n\tlock; btr %1,%0": "+m" (*((long volatile *)addr)): "Ir" (nr)); [5837] - GenericResultAtLocation [Line: 5845]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile (".pushsection .smp_locks,\"a\"\n.balign 4\n.long 671f - .\n.popsection\n671:\n\tlock; bts %2, %0; setc %1": "+m" (*addr), "=qm" (c): "Ir" (nr): "memory"); [5845-5846] - GenericResultAtLocation [Line: 5854]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile (".pushsection .smp_locks,\"a\"\n.balign 4\n.long 671f - .\n.popsection\n671:\n\tlock; btr %2, %0; setc %1": "+m" (*addr), "=qm" (c): "Ir" (nr): "memory"); [5854-5855] - GenericResultAtLocation [Line: 8181]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("movl %1,%0": "=r" (ret): "m" (*((unsigned int volatile *)addr)): "memory"); [8181] - GenericResultAtLocation [Line: 8188]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("movl %0,%1": : "r" (val), "m" (*((unsigned int volatile *)addr)): "memory"); [8188] - GenericResultAtLocation [Line: 9241]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("bsfl %1,%0": "=r" (r): "rm" (x), "0" (-1)); [9241] - GenericResultAtLocation [Line: 9254]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("movb %%gs:%P1,%0": "=q" (pfo_ret__): "p" (& current_task)); [9254] - GenericResultAtLocation [Line: 9257]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("movw %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& current_task)); [9257] - GenericResultAtLocation [Line: 9260]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("movl %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& current_task)); [9260] - GenericResultAtLocation [Line: 9263]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("movq %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& current_task)); [9263] - GenericResultAtLocation [Line: 11118]: 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/media/v4l2-subdev.h"), "i" (649), "i" (12UL)); [11118-11119] - GenericResultAtLocation [Line: 11135]: 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/media/v4l2-subdev.h"), "i" (650), "i" (12UL)); [11135-11136] - GenericResultAtLocation [Line: 11152]: 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/media/v4l2-subdev.h"), "i" (651), "i" (12UL)); [11152-11153] RESULT: Ultimate could not prove your program: Toolchain returned no result. Received shutdown request... --- End real Ultimate output --- Execution finished normally Using bit-precise analysis Retrying with bit-precise analysis ### Bit-precise run ### Calling Ultimate with: /root/.sdkman/candidates/java/current/bin/java -Dosgi.configuration.area=/storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/config -Xmx15G -Xms4m -jar /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data -tc /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/config/AutomizerReach.xml -i /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--media--platform--exynos4-is--s5p-fimc.ko-entry_point.cil.out.i -s /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/config/svcomp-Reach-64bit-Automizer_Bitvector.epf --cacsl2boogietranslator.entry.function main --witnessprinter.witness.directory /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux --witnessprinter.witness.filename witness --witnessprinter.write.witness.besides.input.file false --witnessprinter.graph.data.specification CHECK( init(main()), LTL(G ! call(reach_error())) ) --witnessprinter.graph.data.producer Automizer --witnessprinter.graph.data.architecture 64bit --witnessprinter.graph.data.programhash eb4de422b950fb26b0ceb09bf460e482fa2160e4a1b280054c820f64e86c49f9 --- Real Ultimate output --- This is Ultimate 0.2.5-wip.fs.cvc5-61a6796-m [2024-10-14 15:28:22,184 INFO L188 SettingsManager]: Resetting all preferences to default values... [2024-10-14 15:28:22,247 INFO L114 SettingsManager]: Loading settings from /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/config/svcomp-Reach-64bit-Automizer_Bitvector.epf [2024-10-14 15:28:22,252 WARN L101 SettingsManager]: Preference file contains the following unknown settings: [2024-10-14 15:28:22,253 WARN L103 SettingsManager]: * de.uni_freiburg.informatik.ultimate.core.Log level for class [2024-10-14 15:28:22,278 INFO L130 SettingsManager]: Preferences different from defaults after loading the file: [2024-10-14 15:28:22,281 INFO L151 SettingsManager]: Preferences of UltimateCore differ from their defaults: [2024-10-14 15:28:22,282 INFO L153 SettingsManager]: * Log level for class=de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=ERROR; [2024-10-14 15:28:22,282 INFO L151 SettingsManager]: Preferences of Boogie Preprocessor differ from their defaults: [2024-10-14 15:28:22,282 INFO L153 SettingsManager]: * Use memory slicer=true [2024-10-14 15:28:22,283 INFO L151 SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults: [2024-10-14 15:28:22,283 INFO L153 SettingsManager]: * Ignore calls to procedures called more than once=ONLY_FOR_SEQUENTIAL_PROGRAMS [2024-10-14 15:28:22,283 INFO L151 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2024-10-14 15:28:22,285 INFO L153 SettingsManager]: * Create parallel compositions if possible=false [2024-10-14 15:28:22,285 INFO L153 SettingsManager]: * Use SBE=true [2024-10-14 15:28:22,286 INFO L151 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2024-10-14 15:28:22,286 INFO L153 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2024-10-14 15:28:22,286 INFO L153 SettingsManager]: * Check division by zero=IGNORE [2024-10-14 15:28:22,286 INFO L153 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2024-10-14 15:28:22,287 INFO L153 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2024-10-14 15:28:22,287 INFO L153 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2024-10-14 15:28:22,287 INFO L153 SettingsManager]: * Adapt memory model on pointer casts if necessary=true [2024-10-14 15:28:22,287 INFO L153 SettingsManager]: * Use bitvectors instead of ints=true [2024-10-14 15:28:22,289 INFO L153 SettingsManager]: * Allow undefined functions=false [2024-10-14 15:28:22,290 INFO L153 SettingsManager]: * Memory model=HoenickeLindenmann_4ByteResolution [2024-10-14 15:28:22,290 INFO L153 SettingsManager]: * Check if freed pointer was valid=false [2024-10-14 15:28:22,290 INFO L153 SettingsManager]: * Use constant arrays=true [2024-10-14 15:28:22,290 INFO L151 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2024-10-14 15:28:22,290 INFO L153 SettingsManager]: * Size of a code block=SequenceOfStatements [2024-10-14 15:28:22,290 INFO L153 SettingsManager]: * Only consider context switches at boundaries of atomic blocks=true [2024-10-14 15:28:22,291 INFO L153 SettingsManager]: * SMT solver=External_DefaultMode [2024-10-14 15:28:22,291 INFO L153 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:4000 [2024-10-14 15:28:22,291 INFO L151 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2024-10-14 15:28:22,291 INFO L153 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2024-10-14 15:28:22,291 INFO L153 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopHeads [2024-10-14 15:28:22,291 INFO L153 SettingsManager]: * Trace refinement strategy=WOLF [2024-10-14 15:28:22,292 INFO L153 SettingsManager]: * Command for external solver=cvc5 --incremental --print-success --lang smt [2024-10-14 15:28:22,292 INFO L153 SettingsManager]: * Apply one-shot large block encoding in concurrent analysis=false [2024-10-14 15:28:22,292 INFO L153 SettingsManager]: * Automaton type used in concurrency analysis=PETRI_NET [2024-10-14 15:28:22,292 INFO L153 SettingsManager]: * Order on configurations for Petri net unfoldings=DBO [2024-10-14 15:28:22,292 INFO L153 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2024-10-14 15:28:22,293 INFO L153 SettingsManager]: * Logic for external solver=AUFBV [2024-10-14 15:28:22,293 INFO L153 SettingsManager]: * Looper check in Petri net analysis=SEMANTIC WARNING: An illegal reflective access operation has occurred WARNING: Illegal reflective access by com.sun.xml.bind.v2.runtime.reflect.opt.Injector$1 (file:/storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/plugins/com.sun.xml.bind_2.2.0.v201505121915.jar) to method java.lang.ClassLoader.defineClass(java.lang.String,byte[],int,int) WARNING: Please consider reporting this to the maintainers of com.sun.xml.bind.v2.runtime.reflect.opt.Injector$1 WARNING: Use --illegal-access=warn to enable warnings of further illegal reflective access operations WARNING: All illegal access operations will be denied in a future release Applying setting for plugin de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: Entry function -> main Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Witness directory -> /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Witness filename -> witness Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Write witness besides input file -> false Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data specification -> CHECK( init(main()), LTL(G ! call(reach_error())) ) Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data producer -> Automizer Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data architecture -> 64bit Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data programhash -> eb4de422b950fb26b0ceb09bf460e482fa2160e4a1b280054c820f64e86c49f9 [2024-10-14 15:28:22,544 INFO L75 nceAwareModelManager]: Repository-Root is: /tmp [2024-10-14 15:28:22,562 INFO L261 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2024-10-14 15:28:22,565 INFO L217 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2024-10-14 15:28:22,566 INFO L270 PluginConnector]: Initializing CDTParser... [2024-10-14 15:28:22,566 INFO L274 PluginConnector]: CDTParser initialized [2024-10-14 15:28:22,567 INFO L431 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--media--platform--exynos4-is--s5p-fimc.ko-entry_point.cil.out.i [2024-10-14 15:28:23,803 INFO L533 CDTParser]: Created temporary CDT project at NULL [2024-10-14 15:28:24,329 INFO L384 CDTParser]: Found 1 translation units. [2024-10-14 15:28:24,330 INFO L180 CDTParser]: Scanning /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--media--platform--exynos4-is--s5p-fimc.ko-entry_point.cil.out.i [2024-10-14 15:28:24,390 INFO L427 CDTParser]: About to delete temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/5dbad2bad/fa2c8b20114a4e7595ff85754290d49b/FLAG2d6c9958a [2024-10-14 15:28:24,857 INFO L435 CDTParser]: Successfully deleted /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/5dbad2bad/fa2c8b20114a4e7595ff85754290d49b [2024-10-14 15:28:24,859 INFO L299 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2024-10-14 15:28:24,860 INFO L133 ToolchainWalker]: Walking toolchain with 6 elements. [2024-10-14 15:28:24,861 INFO L112 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2024-10-14 15:28:24,861 INFO L270 PluginConnector]: Initializing CACSL2BoogieTranslator... [2024-10-14 15:28:24,865 INFO L274 PluginConnector]: CACSL2BoogieTranslator initialized [2024-10-14 15:28:24,865 INFO L184 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 14.10 03:28:24" (1/1) ... [2024-10-14 15:28:24,866 INFO L204 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@3b2569cd and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 14.10 03:28:24, skipping insertion in model container [2024-10-14 15:28:24,866 INFO L184 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 14.10 03:28:24" (1/1) ... [2024-10-14 15:28:25,088 INFO L175 MainTranslator]: Built tables and reachable declarations [2024-10-14 15:28:25,485 WARN L1336 CHandler]: Detected problem Invalid redeclaration of the name match at C: (*match)(struct device * , struct v4l2_async_subdev * ) [4478] [2024-10-14 15:28:26,341 FATAL L? ?]: The Plugin de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator has thrown an exception: java.lang.IllegalArgumentException: cannot determine size of incomplete type at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.constructSizeTValueAndOffsetsStructAndUnion(TypeSizeAndOffsetComputer.java:233) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:184) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.constructBytesizeExpression(TypeSizeAndOffsetComputer.java:121) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.checkIfNecessaryMemoryModelAdaption(CHandler.java:1083) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1023) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.PRDispatcher.dispatch(PRDispatcher.java:283) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:789) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.PRDispatcher.dispatch(PRDispatcher.java:286) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1494) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.PRDispatcher.dispatch(PRDispatcher.java:224) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.handleCompoundStatement(CHandler.java:1150) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1133) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.PRDispatcher.dispatch(PRDispatcher.java:236) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.handleCompoundStatement(CHandler.java:1150) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1133) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.PRDispatcher.dispatch(PRDispatcher.java:236) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.FunctionHandler.handleFunctionDefinition(FunctionHandler.java:387) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1613) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.PRDispatcher.dispatch(PRDispatcher.java:159) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.processTUchild(CHandler.java:3471) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:2497) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:639) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.PRDispatcher.dispatch(PRDispatcher.java:135) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.MainTranslator.translate(MainTranslator.java:189) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.MainTranslator.run(MainTranslator.java:116) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.MainTranslator.(MainTranslator.java:94) at de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.CACSL2BoogieTranslatorObserver.finish(CACSL2BoogieTranslatorObserver.java:145) at de.uni_freiburg.informatik.ultimate.core.coreplugin.PluginConnector.runObserver(PluginConnector.java:167) at de.uni_freiburg.informatik.ultimate.core.coreplugin.PluginConnector.runTool(PluginConnector.java:150) at de.uni_freiburg.informatik.ultimate.core.coreplugin.PluginConnector.run(PluginConnector.java:127) at de.uni_freiburg.informatik.ultimate.core.coreplugin.ToolchainWalker.executePluginConnector(ToolchainWalker.java:233) at de.uni_freiburg.informatik.ultimate.core.coreplugin.ToolchainWalker.processPlugin(ToolchainWalker.java:227) at de.uni_freiburg.informatik.ultimate.core.coreplugin.ToolchainWalker.walkUnprotected(ToolchainWalker.java:144) at de.uni_freiburg.informatik.ultimate.core.coreplugin.ToolchainWalker.walk(ToolchainWalker.java:106) at de.uni_freiburg.informatik.ultimate.core.coreplugin.ToolchainManager$Toolchain.processToolchain(ToolchainManager.java:319) at de.uni_freiburg.informatik.ultimate.core.coreplugin.toolchain.DefaultToolchainJob.run(DefaultToolchainJob.java:145) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:63) [2024-10-14 15:28:26,347 INFO L158 Benchmark]: Toolchain (without parser) took 1486.32ms. Allocated memory was 71.3MB in the beginning and 102.8MB in the end (delta: 31.5MB). Free memory was 31.8MB in the beginning and 38.9MB in the end (delta: -7.0MB). Peak memory consumption was 36.7MB. Max. memory is 16.1GB. [2024-10-14 15:28:26,348 INFO L158 Benchmark]: CDTParser took 0.15ms. Allocated memory is still 71.3MB. Free memory was 48.1MB in the beginning and 48.0MB in the end (delta: 83.9kB). There was no memory consumed. Max. memory is 16.1GB. [2024-10-14 15:28:26,348 INFO L158 Benchmark]: CACSL2BoogieTranslator took 1484.95ms. Allocated memory was 71.3MB in the beginning and 102.8MB in the end (delta: 31.5MB). Free memory was 31.6MB in the beginning and 38.9MB in the end (delta: -7.2MB). Peak memory consumption was 36.7MB. Max. memory is 16.1GB. [2024-10-14 15:28:26,350 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.15ms. Allocated memory is still 71.3MB. Free memory was 48.1MB in the beginning and 48.0MB in the end (delta: 83.9kB). There was no memory consumed. Max. memory is 16.1GB. * CACSL2BoogieTranslator took 1484.95ms. Allocated memory was 71.3MB in the beginning and 102.8MB in the end (delta: 31.5MB). Free memory was 31.6MB in the beginning and 38.9MB in the end (delta: -7.2MB). Peak memory consumption was 36.7MB. Max. memory is 16.1GB. * Results from de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: - ExceptionOrErrorResult: IllegalArgumentException: cannot determine size of incomplete type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: IllegalArgumentException: cannot determine size of incomplete type: de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.constructSizeTValueAndOffsetsStructAndUnion(TypeSizeAndOffsetComputer.java:233) RESULT: Ultimate could not prove your program: Toolchain returned no result. Received shutdown request... --- End real Ultimate output --- Execution finished normally Writing output log to file Ultimate.log Result: ERROR: ExceptionOrErrorResult: IllegalArgumentException: cannot determine size of incomplete type