./Ultimate.py --spec ../../sv-benchmarks/c/properties/unreach-call.prp --file ../../sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i --full-output --architecture 64bit -------------------------------------------------------------------------------- Checking for ERROR reachability Using default analysis Version 826ab2ba Calling Ultimate with: /usr/bin/java -Dosgi.configuration.area=/tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/bin/ukojak-verify-EEHR8qb7sm/data/config -Xmx15G -Xms4m -jar /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/bin/ukojak-verify-EEHR8qb7sm/plugins/org.eclipse.equinox.launcher_1.6.800.v20240513-1750.jar -data @noDefault -ultimatedata /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/bin/ukojak-verify-EEHR8qb7sm/data -tc /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/bin/ukojak-verify-EEHR8qb7sm/config/KojakReach.xml -i ../../sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i -s /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/bin/ukojak-verify-EEHR8qb7sm/config/svcomp-Reach-64bit-Kojak_Default.epf --cacsl2boogietranslator.entry.function main --witnessprinter.witness.directory /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/bin/ukojak-verify-EEHR8qb7sm --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 Kojak --witnessprinter.graph.data.architecture 64bit --witnessprinter.graph.data.programhash bac1c479ecb94b6deb95126013b1c4dbd0d92e2f4672788b7bb567e3d6bf83aa --- Real Ultimate output --- This is Ultimate 0.3.0-dev-826ab2b [2024-11-13 22:30:35,514 INFO L188 SettingsManager]: Resetting all preferences to default values... [2024-11-13 22:30:35,602 INFO L114 SettingsManager]: Loading settings from /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/bin/ukojak-verify-EEHR8qb7sm/config/svcomp-Reach-64bit-Kojak_Default.epf [2024-11-13 22:30:35,612 WARN L101 SettingsManager]: Preference file contains the following unknown settings: [2024-11-13 22:30:35,613 WARN L103 SettingsManager]: * de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck.Interpolating solver [2024-11-13 22:30:35,653 INFO L130 SettingsManager]: Preferences different from defaults after loading the file: [2024-11-13 22:30:35,654 INFO L151 SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults: [2024-11-13 22:30:35,654 INFO L153 SettingsManager]: * Ignore calls to procedures called more than once=ALWAYS [2024-11-13 22:30:35,655 INFO L151 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2024-11-13 22:30:35,655 INFO L153 SettingsManager]: * Create parallel compositions if possible=false [2024-11-13 22:30:35,655 INFO L151 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2024-11-13 22:30:35,655 INFO L153 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2024-11-13 22:30:35,655 INFO L153 SettingsManager]: * Overapproximate operations on floating types=true [2024-11-13 22:30:35,655 INFO L153 SettingsManager]: * Check division by zero=IGNORE [2024-11-13 22:30:35,656 INFO L153 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2024-11-13 22:30:35,656 INFO L153 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2024-11-13 22:30:35,656 INFO L153 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2024-11-13 22:30:35,656 INFO L153 SettingsManager]: * Allow undefined functions=false [2024-11-13 22:30:35,658 INFO L153 SettingsManager]: * Check if freed pointer was valid=false [2024-11-13 22:30:35,658 INFO L153 SettingsManager]: * Use constant arrays=true [2024-11-13 22:30:35,658 INFO L151 SettingsManager]: Preferences of CodeCheck differ from their defaults: [2024-11-13 22:30:35,658 INFO L153 SettingsManager]: * Timeout in seconds=1000000 [2024-11-13 22:30:35,658 INFO L153 SettingsManager]: * Theory for external solver=ALL [2024-11-13 22:30:35,658 INFO L151 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2024-11-13 22:30:35,659 INFO L153 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:10000 [2024-11-13 22:30:35,659 INFO L151 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2024-11-13 22:30:35,659 INFO L153 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2024-11-13 22:30:35,660 INFO L153 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopHeads [2024-11-13 22:30:35,660 INFO L153 SettingsManager]: * Trace refinement strategy=PENGUIN [2024-11-13 22:30:35,660 INFO L153 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2024-11-13 22:30:35,660 INFO L153 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode 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 -> /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/bin/ukojak-verify-EEHR8qb7sm 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 -> Kojak 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 -> bac1c479ecb94b6deb95126013b1c4dbd0d92e2f4672788b7bb567e3d6bf83aa [2024-11-13 22:30:36,030 INFO L75 nceAwareModelManager]: Repository-Root is: /tmp [2024-11-13 22:30:36,045 INFO L261 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2024-11-13 22:30:36,048 INFO L217 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2024-11-13 22:30:36,050 INFO L270 PluginConnector]: Initializing CDTParser... [2024-11-13 22:30:36,053 INFO L274 PluginConnector]: CDTParser initialized [2024-11-13 22:30:36,055 INFO L431 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/bin/ukojak-verify-EEHR8qb7sm/../../sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i Unable to find full path for "g++" [2024-11-13 22:30:38,555 INFO L533 CDTParser]: Created temporary CDT project at NULL [2024-11-13 22:30:40,333 INFO L384 CDTParser]: Found 1 translation units. [2024-11-13 22:30:40,334 INFO L180 CDTParser]: Scanning /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i [2024-11-13 22:30:40,523 INFO L427 CDTParser]: About to delete temporary CDT project at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/bin/ukojak-verify-EEHR8qb7sm/data/39f6c3ffb/0e1175af7488493ab763ad56a6cec950/FLAGfe4c76f7a [2024-11-13 22:30:40,546 INFO L435 CDTParser]: Successfully deleted /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/bin/ukojak-verify-EEHR8qb7sm/data/39f6c3ffb/0e1175af7488493ab763ad56a6cec950 [2024-11-13 22:30:40,549 INFO L299 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2024-11-13 22:30:40,551 INFO L133 ToolchainWalker]: Walking toolchain with 6 elements. [2024-11-13 22:30:40,554 INFO L112 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2024-11-13 22:30:40,554 INFO L270 PluginConnector]: Initializing CACSL2BoogieTranslator... [2024-11-13 22:30:40,559 INFO L274 PluginConnector]: CACSL2BoogieTranslator initialized [2024-11-13 22:30:40,560 INFO L184 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 13.11 10:30:40" (1/1) ... [2024-11-13 22:30:40,563 INFO L204 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@18674f7 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.11 10:30:40, skipping insertion in model container [2024-11-13 22:30:40,563 INFO L184 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 13.11 10:30:40" (1/1) ... [2024-11-13 22:30:41,275 INFO L175 MainTranslator]: Built tables and reachable declarations [2024-11-13 22:31:10,351 WARN L635 FunctionHandler]: implicit declaration of function __builtin___memcpy_chk [2024-11-13 22:31:10,353 WARN L635 FunctionHandler]: implicit declaration of function __builtin___memmove_chk [2024-11-13 22:31:10,355 WARN L635 FunctionHandler]: implicit declaration of function __builtin___mempcpy_chk [2024-11-13 22:31:10,356 WARN L635 FunctionHandler]: implicit declaration of function __builtin___memset_chk [2024-11-13 22:31:10,359 WARN L635 FunctionHandler]: implicit declaration of function __builtin___strcpy_chk [2024-11-13 22:31:10,361 WARN L635 FunctionHandler]: implicit declaration of function __builtin___stpcpy_chk [2024-11-13 22:31:10,362 WARN L635 FunctionHandler]: implicit declaration of function __builtin___strncpy_chk [2024-11-13 22:31:10,365 WARN L635 FunctionHandler]: implicit declaration of function __builtin___strcat_chk [2024-11-13 22:31:10,366 WARN L635 FunctionHandler]: implicit declaration of function __builtin___strncat_chk [2024-11-13 22:31:10,385 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[482532,482545] [2024-11-13 22:31:10,391 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[483018,483031] [2024-11-13 22:31:10,471 WARN L635 FunctionHandler]: implicit declaration of function __builtin___vsnprintf_chk [2024-11-13 22:31:10,650 WARN L635 FunctionHandler]: implicit declaration of function __builtin_strspn [2024-11-13 22:31:10,669 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[579981,579994] [2024-11-13 22:31:10,670 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[580082,580095] [2024-11-13 22:31:10,671 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[580247,580260] [2024-11-13 22:31:10,672 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[580485,580498] [2024-11-13 22:31:10,673 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[580762,580775] [2024-11-13 22:31:10,678 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[582710,582723] [2024-11-13 22:31:10,679 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[582977,582990] [2024-11-13 22:31:10,681 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[583413,583426] [2024-11-13 22:31:10,681 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[583525,583538] [2024-11-13 22:31:10,683 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[583695,583708] [2024-11-13 22:31:10,683 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[583790,583803] [2024-11-13 22:31:10,684 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[583998,584011] [2024-11-13 22:31:11,611 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[792360,792373] [2024-11-13 22:31:11,613 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[792885,792898] [2024-11-13 22:31:11,627 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[797738,797751] [2024-11-13 22:31:11,630 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[797897,797910] [2024-11-13 22:31:11,632 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[798389,798402] [2024-11-13 22:31:11,632 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[798548,798561] [2024-11-13 22:31:11,682 WARN L635 FunctionHandler]: implicit declaration of function __builtin_strcspn [2024-11-13 22:31:11,910 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[984124,984137] [2024-11-13 22:31:11,911 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[984287,984300] [2024-11-13 22:31:11,995 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1039122,1039135] [2024-11-13 22:31:11,997 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1039338,1039351] [2024-11-13 22:31:11,998 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1039641,1039654] [2024-11-13 22:31:11,998 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1039708,1039721] [2024-11-13 22:31:11,999 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1040337,1040350] [2024-11-13 22:31:12,000 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1040609,1040622] [2024-11-13 22:31:12,002 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1040876,1040889] [2024-11-13 22:31:12,002 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1040983,1040996] [2024-11-13 22:31:12,003 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1041139,1041152] [2024-11-13 22:31:12,004 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1041275,1041288] [2024-11-13 22:31:12,005 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1041426,1041439] [2024-11-13 22:31:12,006 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1041732,1041745] [2024-11-13 22:31:12,008 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1043157,1043170] [2024-11-13 22:31:12,009 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1043232,1043245] [2024-11-13 22:31:12,009 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1043315,1043328] [2024-11-13 22:31:12,010 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1043390,1043403] [2024-11-13 22:31:12,011 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1043462,1043475] [2024-11-13 22:31:12,011 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1043527,1043540] [2024-11-13 22:31:12,012 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1043578,1043591] [2024-11-13 22:31:12,012 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1043664,1043677] [2024-11-13 22:31:12,013 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1043738,1043751] [2024-11-13 22:31:12,013 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1043851,1043864] [2024-11-13 22:31:12,014 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1043987,1044000] [2024-11-13 22:31:12,015 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1044289,1044302] [2024-11-13 22:31:12,015 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1044387,1044400] [2024-11-13 22:31:12,016 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1044554,1044567] [2024-11-13 22:31:12,019 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1044852,1044865] [2024-11-13 22:31:12,020 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1044912,1044925] [2024-11-13 22:31:12,020 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1044964,1044977] [2024-11-13 22:31:12,021 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1045029,1045042] [2024-11-13 22:31:12,021 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1045082,1045095] [2024-11-13 22:31:12,022 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1045133,1045146] [2024-11-13 22:31:12,023 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1045199,1045212] [2024-11-13 22:31:12,024 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1045463,1045476] [2024-11-13 22:31:12,027 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1045590,1045603] [2024-11-13 22:31:12,028 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1045821,1045834] [2024-11-13 22:31:12,029 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1046010,1046023] [2024-11-13 22:31:12,029 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1046077,1046090] [2024-11-13 22:31:12,030 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1046188,1046201] [2024-11-13 22:31:12,030 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1046319,1046332] [2024-11-13 22:31:12,031 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1046390,1046403] [2024-11-13 22:31:12,032 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1046705,1046718] [2024-11-13 22:31:12,033 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1047183,1047196] [2024-11-13 22:31:12,035 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1047421,1047434] [2024-11-13 22:31:12,037 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1047483,1047496] [2024-11-13 22:31:12,039 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1047537,1047550] [2024-11-13 22:31:12,040 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1047604,1047617] [2024-11-13 22:31:12,040 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1047659,1047672] [2024-11-13 22:31:12,041 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1047712,1047725] [2024-11-13 22:31:12,042 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1047780,1047793] [2024-11-13 22:31:12,042 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1047921,1047934] [2024-11-13 22:31:12,043 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1048004,1048017] [2024-11-13 22:31:12,044 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1048355,1048368] [2024-11-13 22:31:12,046 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1048826,1048839] [2024-11-13 22:31:12,047 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1048880,1048893] [2024-11-13 22:31:12,048 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1048947,1048960] [2024-11-13 22:31:12,048 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1049002,1049015] [2024-11-13 22:31:12,049 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1049055,1049068] [2024-11-13 22:31:12,050 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1049123,1049136] [2024-11-13 22:31:12,050 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1049276,1049289] [2024-11-13 22:31:12,051 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1049426,1049439] [2024-11-13 22:31:12,052 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1049482,1049495] [2024-11-13 22:31:12,052 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1049542,1049555] [2024-11-13 22:31:12,054 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1049831,1049844] [2024-11-13 22:31:12,055 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1049887,1049900] [2024-11-13 22:31:12,055 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1049956,1049969] [2024-11-13 22:31:12,056 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1050013,1050026] [2024-11-13 22:31:12,056 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1050068,1050081] [2024-11-13 22:31:12,056 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1050138,1050151] [2024-11-13 22:31:12,057 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1050198,1050211] [2024-11-13 22:31:12,057 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1050265,1050278] [2024-11-13 22:31:12,057 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1050412,1050425] [2024-11-13 22:31:12,058 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1050516,1050529] [2024-11-13 22:31:12,060 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1050572,1050585] [2024-11-13 22:31:12,060 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1050662,1050675] [2024-11-13 22:31:12,062 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1051038,1051051] [2024-11-13 22:31:12,062 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1051098,1051111] [2024-11-13 22:31:12,063 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1051171,1051184] [2024-11-13 22:31:12,063 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1051232,1051245] [2024-11-13 22:31:12,063 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1051291,1051304] [2024-11-13 22:31:12,064 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1051365,1051378] [2024-11-13 22:31:12,066 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1051436,1051449] [2024-11-13 22:31:12,067 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1051595,1051608] [2024-11-13 22:31:12,068 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1051812,1051825] [2024-11-13 22:31:12,069 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1051864,1051877] [2024-11-13 22:31:12,069 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1051929,1051942] [2024-11-13 22:31:12,070 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1051982,1051995] [2024-11-13 22:31:12,070 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1052033,1052046] [2024-11-13 22:31:12,071 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1052099,1052112] [2024-11-13 22:31:12,072 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1052162,1052175] [2024-11-13 22:31:12,073 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1052334,1052347] [2024-11-13 22:31:12,073 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1052394,1052407] [2024-11-13 22:31:12,074 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1052446,1052459] [2024-11-13 22:31:12,076 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1052511,1052524] [2024-11-13 22:31:12,076 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1052564,1052577] [2024-11-13 22:31:12,077 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1052615,1052628] [2024-11-13 22:31:12,077 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1052681,1052694] [2024-11-13 22:31:12,077 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1052760,1052773] [2024-11-13 22:31:12,077 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1052842,1052855] [2024-11-13 22:31:12,078 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1052948,1052961] [2024-11-13 22:31:12,081 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1053455,1053468] [2024-11-13 22:31:12,082 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1053642,1053655] [2024-11-13 22:31:12,084 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1053832,1053845] [2024-11-13 22:31:12,087 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1053890,1053903] [2024-11-13 22:31:12,088 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1053961,1053974] [2024-11-13 22:31:12,088 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1054020,1054033] [2024-11-13 22:31:12,088 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1054077,1054090] [2024-11-13 22:31:12,089 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1054149,1054162] [2024-11-13 22:31:12,090 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1054312,1054325] [2024-11-13 22:31:12,090 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1054716,1054729] [2024-11-13 22:31:12,092 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1054899,1054912] [2024-11-13 22:31:12,093 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1055020,1055033] [2024-11-13 22:31:12,093 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1055136,1055149] [2024-11-13 22:31:12,094 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1055455,1055468] [2024-11-13 22:31:12,095 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1055526,1055539] [2024-11-13 22:31:12,096 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1055756,1055769] [2024-11-13 22:31:12,096 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1055814,1055827] [2024-11-13 22:31:12,097 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1055885,1055898] [2024-11-13 22:31:12,097 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1055944,1055957] [2024-11-13 22:31:12,097 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1056001,1056014] [2024-11-13 22:31:12,098 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1056073,1056086] [2024-11-13 22:31:12,098 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1056171,1056184] [2024-11-13 22:31:12,099 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1056292,1056305] [2024-11-13 22:31:12,099 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1056413,1056426] [2024-11-13 22:31:12,100 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1056751,1056764] [2024-11-13 22:31:12,100 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1056905,1056918] [2024-11-13 22:31:12,101 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1056969,1056982] [2024-11-13 22:31:12,102 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1057046,1057059] [2024-11-13 22:31:12,102 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1057111,1057124] [2024-11-13 22:31:12,103 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1057174,1057187] [2024-11-13 22:31:12,103 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1057252,1057265] [2024-11-13 22:31:12,104 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1057589,1057602] [2024-11-13 22:31:12,105 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1057653,1057666] [2024-11-13 22:31:12,106 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1057730,1057743] [2024-11-13 22:31:12,106 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1057795,1057808] [2024-11-13 22:31:12,106 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1057858,1057871] [2024-11-13 22:31:12,108 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1057936,1057949] [2024-11-13 22:31:12,109 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1058032,1058045] [2024-11-13 22:31:12,109 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1058318,1058331] [2024-11-13 22:31:12,110 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1058491,1058504] [2024-11-13 22:31:12,110 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1058594,1058607] [2024-11-13 22:31:12,110 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1058868,1058881] [2024-11-13 22:31:12,111 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1058933,1058946] [2024-11-13 22:31:12,111 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1059091,1059104] [2024-11-13 22:31:12,111 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1059143,1059156] [2024-11-13 22:31:12,111 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1059208,1059221] [2024-11-13 22:31:12,112 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1059261,1059274] [2024-11-13 22:31:12,113 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1059312,1059325] [2024-11-13 22:31:12,114 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1059378,1059391] [2024-11-13 22:31:12,114 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1059458,1059471] [2024-11-13 22:31:12,114 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1059567,1059580] [2024-11-13 22:31:12,116 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1059673,1059686] [2024-11-13 22:31:12,116 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1059732,1059745] [2024-11-13 22:31:12,117 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1059851,1059864] [2024-11-13 22:31:12,117 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1060004,1060017] [2024-11-13 22:31:12,118 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1060317,1060330] [2024-11-13 22:31:12,119 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1060379,1060392] [2024-11-13 22:31:12,119 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1060454,1060467] [2024-11-13 22:31:12,119 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1060517,1060530] [2024-11-13 22:31:12,120 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1060578,1060591] [2024-11-13 22:31:12,120 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1060641,1060654] [2024-11-13 22:31:12,121 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1060717,1060730] [2024-11-13 22:31:12,122 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1060782,1060795] [2024-11-13 22:31:12,125 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1060902,1060915] [2024-11-13 22:31:12,125 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1060962,1060975] [2024-11-13 22:31:12,126 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1061035,1061048] [2024-11-13 22:31:12,126 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1061096,1061109] [2024-11-13 22:31:12,126 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1061155,1061168] [2024-11-13 22:31:12,126 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1061216,1061229] [2024-11-13 22:31:12,127 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1061290,1061303] [2024-11-13 22:31:12,127 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1061353,1061366] [2024-11-13 22:31:12,128 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1061922,1061935] [2024-11-13 22:31:12,133 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1061974,1061987] [2024-11-13 22:31:12,134 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1062039,1062052] [2024-11-13 22:31:12,134 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1062092,1062105] [2024-11-13 22:31:12,134 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1062143,1062156] [2024-11-13 22:31:12,135 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1062209,1062222] [2024-11-13 22:31:12,135 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1062287,1062300] [2024-11-13 22:31:12,135 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1062468,1062481] [2024-11-13 22:31:12,136 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1062520,1062533] [2024-11-13 22:31:12,136 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1062585,1062598] [2024-11-13 22:31:12,136 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1062638,1062651] [2024-11-13 22:31:12,136 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1062689,1062702] [2024-11-13 22:31:12,137 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1062755,1062768] [2024-11-13 22:31:12,139 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1062835,1062848] [2024-11-13 22:31:12,139 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1062927,1062940] [2024-11-13 22:31:12,140 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1063015,1063028] [2024-11-13 22:31:12,140 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1063540,1063553] [2024-11-13 22:31:12,141 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1063594,1063607] [2024-11-13 22:31:12,141 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1063661,1063674] [2024-11-13 22:31:12,141 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1063716,1063729] [2024-11-13 22:31:12,141 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1063769,1063782] [2024-11-13 22:31:12,142 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1063837,1063850] [2024-11-13 22:31:12,142 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1063936,1063949] [2024-11-13 22:31:12,142 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1064027,1064040] [2024-11-13 22:31:12,146 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1064253,1064266] [2024-11-13 22:31:12,146 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1064408,1064421] [2024-11-13 22:31:12,146 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1064513,1064526] [2024-11-13 22:31:12,147 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1064676,1064689] [2024-11-13 22:31:12,147 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1064740,1064753] [2024-11-13 22:31:12,148 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1064932,1064945] [2024-11-13 22:31:12,149 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1065121,1065134] [2024-11-13 22:31:12,149 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1065212,1065225] [2024-11-13 22:31:12,150 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1065312,1065325] [2024-11-13 22:31:12,212 ERROR L321 MainTranslator]: Unsupported Syntax: The second argument of the pthread_mutex_init is not a null pointer. This means that non-default attributes are used. We support only the default attributes. [2024-11-13 22:31:12,213 INFO L204 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.CACSL2BoogieTranslatorObserver@a2c4dfd and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.11 10:31:12, skipping insertion in model container [2024-11-13 22:31:12,213 INFO L131 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2024-11-13 22:31:12,214 INFO L186 ToolchainWalker]: Toolchain execution was canceled (user or tool) before executing de.uni_freiburg.informatik.ultimate.boogie.procedureinliner [2024-11-13 22:31:12,218 INFO L158 Benchmark]: Toolchain (without parser) took 31663.44ms. Allocated memory was 117.4MB in the beginning and 251.7MB in the end (delta: 134.2MB). Free memory was 54.1MB in the beginning and 51.1MB in the end (delta: 3.0MB). Peak memory consumption was 189.2MB. Max. memory is 16.1GB. [2024-11-13 22:31:12,221 INFO L158 Benchmark]: CDTParser took 1.97ms. Allocated memory is still 117.4MB. Free memory is still 72.3MB. There was no memory consumed. Max. memory is 16.1GB. [2024-11-13 22:31:12,222 INFO L158 Benchmark]: CACSL2BoogieTranslator took 31660.07ms. Allocated memory was 117.4MB in the beginning and 251.7MB in the end (delta: 134.2MB). Free memory was 54.1MB in the beginning and 51.1MB in the end (delta: 3.0MB). Peak memory consumption was 189.2MB. Max. memory is 16.1GB. [2024-11-13 22:31:12,223 INFO L338 ainManager$Toolchain]: ####################### End [Toolchain 1] ####################### --- Results --- * Results from de.uni_freiburg.informatik.ultimate.core: - StatisticsResult: Toolchain Benchmarks Benchmark results are: * CDTParser took 1.97ms. Allocated memory is still 117.4MB. Free memory is still 72.3MB. There was no memory consumed. Max. memory is 16.1GB. * CACSL2BoogieTranslator took 31660.07ms. Allocated memory was 117.4MB in the beginning and 251.7MB in the end (delta: 134.2MB). Free memory was 54.1MB in the beginning and 51.1MB in the end (delta: 3.0MB). Peak memory consumption was 189.2MB. Max. memory is 16.1GB. * Results from de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: - UnsupportedSyntaxResult [Line: 36501]: Unsupported Syntax The second argument of the pthread_mutex_init is not a null pointer. This means that non-default attributes are used. We support only the default attributes. 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: /usr/bin/java -Dosgi.configuration.area=/tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/bin/ukojak-verify-EEHR8qb7sm/data/config -Xmx15G -Xms4m -jar /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/bin/ukojak-verify-EEHR8qb7sm/plugins/org.eclipse.equinox.launcher_1.6.800.v20240513-1750.jar -data @noDefault -ultimatedata /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/bin/ukojak-verify-EEHR8qb7sm/data -tc /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/bin/ukojak-verify-EEHR8qb7sm/config/KojakReach.xml -i ../../sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i -s /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/bin/ukojak-verify-EEHR8qb7sm/config/svcomp-Reach-64bit-Kojak_Bitvector.epf --cacsl2boogietranslator.entry.function main --witnessprinter.witness.directory /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/bin/ukojak-verify-EEHR8qb7sm --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 Kojak --witnessprinter.graph.data.architecture 64bit --witnessprinter.graph.data.programhash bac1c479ecb94b6deb95126013b1c4dbd0d92e2f4672788b7bb567e3d6bf83aa --- Real Ultimate output --- This is Ultimate 0.3.0-dev-826ab2b [2024-11-13 22:31:15,041 INFO L188 SettingsManager]: Resetting all preferences to default values... [2024-11-13 22:31:15,189 INFO L114 SettingsManager]: Loading settings from /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/bin/ukojak-verify-EEHR8qb7sm/config/svcomp-Reach-64bit-Kojak_Bitvector.epf [2024-11-13 22:31:15,227 INFO L130 SettingsManager]: Preferences different from defaults after loading the file: [2024-11-13 22:31:15,228 INFO L151 SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults: [2024-11-13 22:31:15,228 INFO L153 SettingsManager]: * Ignore calls to procedures called more than once=ALWAYS [2024-11-13 22:31:15,228 INFO L151 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2024-11-13 22:31:15,228 INFO L153 SettingsManager]: * Create parallel compositions if possible=false [2024-11-13 22:31:15,229 INFO L151 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2024-11-13 22:31:15,229 INFO L153 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2024-11-13 22:31:15,229 INFO L153 SettingsManager]: * Check division by zero=IGNORE [2024-11-13 22:31:15,229 INFO L153 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2024-11-13 22:31:15,229 INFO L153 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2024-11-13 22:31:15,229 INFO L153 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2024-11-13 22:31:15,230 INFO L153 SettingsManager]: * Adapt memory model on pointer casts if necessary=true [2024-11-13 22:31:15,230 INFO L153 SettingsManager]: * Use bitvectors instead of ints=true [2024-11-13 22:31:15,230 INFO L153 SettingsManager]: * Allow undefined functions=false [2024-11-13 22:31:15,230 INFO L153 SettingsManager]: * Memory model=HoenickeLindenmann_4ByteResolution [2024-11-13 22:31:15,230 INFO L153 SettingsManager]: * Check if freed pointer was valid=false [2024-11-13 22:31:15,230 INFO L153 SettingsManager]: * Use constant arrays=true [2024-11-13 22:31:15,230 INFO L151 SettingsManager]: Preferences of CodeCheck differ from their defaults: [2024-11-13 22:31:15,231 INFO L153 SettingsManager]: * Timeout in seconds=1000000 [2024-11-13 22:31:15,231 INFO L153 SettingsManager]: * Theory for external solver=ALL [2024-11-13 22:31:15,231 INFO L153 SettingsManager]: * Command for calling external solver=cvc4 --incremental --print-success --lang smt [2024-11-13 22:31:15,231 INFO L153 SettingsManager]: * Choose which separate solver to use for tracechecks=External_ModelsAndUnsatCoreMode [2024-11-13 22:31:15,231 INFO L151 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2024-11-13 22:31:15,231 INFO L153 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:10000 [2024-11-13 22:31:15,231 INFO L151 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2024-11-13 22:31:15,232 INFO L153 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2024-11-13 22:31:15,232 INFO L153 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopHeads [2024-11-13 22:31:15,232 INFO L153 SettingsManager]: * Trace refinement strategy=WALRUS [2024-11-13 22:31:15,232 INFO L153 SettingsManager]: * Command for external solver=cvc4 --incremental --print-success --lang smt [2024-11-13 22:31:15,232 INFO L153 SettingsManager]: * Use separate solver for trace checks=false [2024-11-13 22:31:15,233 INFO L153 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode 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 -> /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/bin/ukojak-verify-EEHR8qb7sm 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 -> Kojak 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 -> bac1c479ecb94b6deb95126013b1c4dbd0d92e2f4672788b7bb567e3d6bf83aa [2024-11-13 22:31:15,579 INFO L75 nceAwareModelManager]: Repository-Root is: /tmp [2024-11-13 22:31:15,588 INFO L261 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2024-11-13 22:31:15,590 INFO L217 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2024-11-13 22:31:15,592 INFO L270 PluginConnector]: Initializing CDTParser... [2024-11-13 22:31:15,592 INFO L274 PluginConnector]: CDTParser initialized [2024-11-13 22:31:15,593 INFO L431 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/bin/ukojak-verify-EEHR8qb7sm/../../sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i Unable to find full path for "g++" [2024-11-13 22:31:17,627 INFO L533 CDTParser]: Created temporary CDT project at NULL [2024-11-13 22:31:19,788 INFO L384 CDTParser]: Found 1 translation units. [2024-11-13 22:31:19,792 INFO L180 CDTParser]: Scanning /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i [2024-11-13 22:31:20,084 INFO L427 CDTParser]: About to delete temporary CDT project at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/bin/ukojak-verify-EEHR8qb7sm/data/353e9bfed/d11b0c9787554f2497cbeecdb1b81759/FLAGca4a666b8 [2024-11-13 22:31:20,129 INFO L435 CDTParser]: Successfully deleted /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/bin/ukojak-verify-EEHR8qb7sm/data/353e9bfed/d11b0c9787554f2497cbeecdb1b81759 [2024-11-13 22:31:20,137 INFO L299 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2024-11-13 22:31:20,139 INFO L133 ToolchainWalker]: Walking toolchain with 6 elements. [2024-11-13 22:31:20,151 INFO L112 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2024-11-13 22:31:20,151 INFO L270 PluginConnector]: Initializing CACSL2BoogieTranslator... [2024-11-13 22:31:20,157 INFO L274 PluginConnector]: CACSL2BoogieTranslator initialized [2024-11-13 22:31:20,160 INFO L184 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 13.11 10:31:20" (1/1) ... [2024-11-13 22:31:20,162 INFO L204 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@33b74e34 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.11 10:31:20, skipping insertion in model container [2024-11-13 22:31:20,162 INFO L184 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 13.11 10:31:20" (1/1) ... [2024-11-13 22:31:21,015 INFO L175 MainTranslator]: Built tables and reachable declarations [2024-11-13 22:31:42,580 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:44,125 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:46,635 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:46,637 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:46,637 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:46,638 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:46,999 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:47,022 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:47,027 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:47,045 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:47,047 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:47,065 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:47,071 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:47,165 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:47,303 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:48,921 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:48,922 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:48,987 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,003 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,005 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,006 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,007 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,037 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,041 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,044 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,052 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,056 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,060 WARN L635 FunctionHandler]: implicit declaration of function __builtin___memcpy_chk [2024-11-13 22:31:49,062 WARN L635 FunctionHandler]: implicit declaration of function __builtin___memmove_chk [2024-11-13 22:31:49,063 WARN L635 FunctionHandler]: implicit declaration of function __builtin___mempcpy_chk [2024-11-13 22:31:49,065 WARN L635 FunctionHandler]: implicit declaration of function __builtin___memset_chk [2024-11-13 22:31:49,068 WARN L635 FunctionHandler]: implicit declaration of function __builtin___strcpy_chk [2024-11-13 22:31:49,069 WARN L635 FunctionHandler]: implicit declaration of function __builtin___stpcpy_chk [2024-11-13 22:31:49,073 WARN L635 FunctionHandler]: implicit declaration of function __builtin___strncpy_chk [2024-11-13 22:31:49,076 WARN L635 FunctionHandler]: implicit declaration of function __builtin___strcat_chk [2024-11-13 22:31:49,080 WARN L635 FunctionHandler]: implicit declaration of function __builtin___strncat_chk [2024-11-13 22:31:49,088 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,095 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,109 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[482532,482545] [2024-11-13 22:31:49,115 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[483018,483031] [2024-11-13 22:31:49,170 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,174 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,178 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,182 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,184 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,186 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,187 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,189 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,190 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,192 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,215 WARN L635 FunctionHandler]: implicit declaration of function __builtin___vsnprintf_chk [2024-11-13 22:31:49,225 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,230 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,232 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,237 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,239 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,241 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,246 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,249 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,249 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,250 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,254 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,255 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,257 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,258 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,261 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,261 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,266 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,267 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,276 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,279 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,280 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,285 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,286 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,286 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,287 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,288 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,288 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,292 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,294 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,296 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,298 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,300 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,310 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,310 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,310 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,311 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,312 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,317 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,317 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,317 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,321 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,324 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,325 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,325 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,326 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,326 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,328 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,329 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,332 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,335 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,342 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,343 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,344 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,348 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,350 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,351 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,351 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,351 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,355 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,356 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,356 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,356 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,357 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,358 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,359 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,359 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,359 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,375 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,375 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,379 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,403 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,404 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,404 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,446 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,447 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,453 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,454 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,455 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,456 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,457 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,458 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,461 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,464 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,464 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,465 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,466 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,467 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,468 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,468 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,469 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,469 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,473 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,483 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,483 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,486 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,487 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,487 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,487 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,487 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,489 WARN L635 FunctionHandler]: implicit declaration of function __builtin_strspn [2024-11-13 22:31:49,493 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,494 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,494 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,495 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,495 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,496 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,496 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,496 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,496 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,497 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,499 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,501 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,502 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,503 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,503 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,503 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,504 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,510 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,511 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,512 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,512 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,512 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,513 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,513 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,514 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,514 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,515 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,517 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,517 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,519 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,523 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[579981,579994] [2024-11-13 22:31:49,524 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[580082,580095] [2024-11-13 22:31:49,525 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[580247,580260] [2024-11-13 22:31:49,525 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[580485,580498] [2024-11-13 22:31:49,526 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[580762,580775] [2024-11-13 22:31:49,528 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,535 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[582710,582723] [2024-11-13 22:31:49,536 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[582977,582990] [2024-11-13 22:31:49,536 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,545 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[583413,583426] [2024-11-13 22:31:49,546 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[583525,583538] [2024-11-13 22:31:49,547 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[583695,583708] [2024-11-13 22:31:49,547 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[583790,583803] [2024-11-13 22:31:49,548 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[583998,584011] [2024-11-13 22:31:49,554 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,554 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,555 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,555 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,556 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,559 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,562 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,563 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,563 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,564 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,565 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,567 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,567 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,568 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,569 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,569 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,570 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,571 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,573 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,573 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,573 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,574 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,575 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,575 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,576 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,577 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,577 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,578 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,578 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,579 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,579 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,580 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,580 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,580 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,580 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,581 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,581 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,581 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,582 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,582 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,588 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,660 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,675 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,675 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,676 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,676 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,676 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,679 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,680 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,684 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,685 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,686 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,686 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,687 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,687 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,689 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,689 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,689 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,689 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,690 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,691 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,691 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,692 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,692 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,692 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,692 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,693 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,693 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,694 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,699 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,699 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,699 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,700 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,700 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,700 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,701 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,701 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,705 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,836 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,840 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,849 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,849 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,849 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,850 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,850 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,852 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,857 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,857 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,858 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,859 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,859 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,861 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,864 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,865 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,866 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,867 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,867 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,868 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,868 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,869 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,870 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,872 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,873 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,873 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,873 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,874 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,874 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,874 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,875 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,875 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,875 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,875 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,876 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,876 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,877 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,877 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,877 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,877 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,878 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,878 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,878 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,878 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,879 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:49,880 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,070 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,071 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,071 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,071 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,072 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,075 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,083 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,083 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,084 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,084 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,084 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,086 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,087 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,087 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,088 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,089 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,089 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,090 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,091 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,092 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,092 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,093 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,093 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,094 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,094 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,095 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,096 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,097 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,098 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,098 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,098 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,098 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,099 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,099 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,099 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,099 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,100 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,100 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,100 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,101 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,101 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,102 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,102 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,102 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,103 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,103 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,103 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,104 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,104 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,108 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,276 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,278 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,279 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,279 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,280 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,281 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,281 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,282 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,282 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,283 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,283 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,284 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,284 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,284 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,286 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,286 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,287 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,287 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,287 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,288 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,288 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,288 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,289 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,291 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,294 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,299 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,299 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,300 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,300 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,300 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,300 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,302 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[792360,792373] [2024-11-13 22:31:50,303 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[792885,792898] [2024-11-13 22:31:50,310 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,315 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[797738,797751] [2024-11-13 22:31:50,316 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[797897,797910] [2024-11-13 22:31:50,317 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[798389,798402] [2024-11-13 22:31:50,318 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[798548,798561] [2024-11-13 22:31:50,319 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,320 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,354 WARN L635 FunctionHandler]: implicit declaration of function __builtin_strcspn [2024-11-13 22:31:50,357 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,358 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,359 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,359 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,362 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,362 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,362 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,363 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,363 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,363 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,365 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,365 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,366 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,367 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,369 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,369 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,370 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,372 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,372 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,373 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,373 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,374 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,375 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,375 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,376 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,378 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,384 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,387 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,388 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,389 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,391 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,391 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,393 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,394 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,394 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,396 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,398 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,398 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,399 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,399 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,409 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,409 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,409 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,410 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,411 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,412 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,412 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,413 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,414 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,415 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,416 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,417 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,417 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,418 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,419 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,420 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,421 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,431 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,431 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,432 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,432 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,432 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,432 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,432 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,433 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,433 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,434 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,434 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,434 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,435 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,436 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,437 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,447 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,447 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,448 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,448 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,450 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,450 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,451 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,451 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,454 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,454 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,455 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,455 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,457 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,458 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,458 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,459 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,461 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,462 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,462 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,463 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,466 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,467 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,467 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,467 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,471 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,472 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,482 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,494 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,501 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,521 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,547 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,552 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,558 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,558 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,562 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,562 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,565 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,566 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,567 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,572 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,573 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,573 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,574 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,575 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,577 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,578 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,579 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,581 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,582 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,583 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,583 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,583 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,583 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,585 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[984124,984137] [2024-11-13 22:31:50,586 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[984287,984300] [2024-11-13 22:31:50,588 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,589 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,589 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,590 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,594 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,595 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,595 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,596 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,597 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,601 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,605 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,606 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,607 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,611 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,611 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,612 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,612 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,614 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,615 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,615 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,616 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,617 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,626 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,627 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,627 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,628 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,630 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,632 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,633 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,641 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,642 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,643 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,643 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,644 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,644 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,649 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,651 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,652 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,652 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,653 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,654 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,655 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,661 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,663 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,664 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,665 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,669 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,670 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,672 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,673 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,676 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,677 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,678 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,681 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,682 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,683 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,684 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,685 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,685 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,686 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,686 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,688 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,688 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,689 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,689 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,690 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,690 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,692 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,692 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,693 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,694 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,694 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,696 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,696 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,697 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,697 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,700 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,700 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,701 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,701 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,703 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,703 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,706 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1039122,1039135] [2024-11-13 22:31:50,707 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1039338,1039351] [2024-11-13 22:31:50,708 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1039641,1039654] [2024-11-13 22:31:50,708 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1039708,1039721] [2024-11-13 22:31:50,709 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1040337,1040350] [2024-11-13 22:31:50,710 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,710 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,710 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,710 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,710 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1040609,1040622] [2024-11-13 22:31:50,711 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1040876,1040889] [2024-11-13 22:31:50,712 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1040983,1040996] [2024-11-13 22:31:50,712 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1041139,1041152] [2024-11-13 22:31:50,713 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1041275,1041288] [2024-11-13 22:31:50,714 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1041426,1041439] [2024-11-13 22:31:50,714 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,715 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,715 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,715 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,715 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1041732,1041745] [2024-11-13 22:31:50,716 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,716 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,716 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,716 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,718 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1043157,1043170] [2024-11-13 22:31:50,719 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1043232,1043245] [2024-11-13 22:31:50,719 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1043315,1043328] [2024-11-13 22:31:50,720 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1043390,1043403] [2024-11-13 22:31:50,720 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1043462,1043475] [2024-11-13 22:31:50,720 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1043527,1043540] [2024-11-13 22:31:50,721 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1043578,1043591] [2024-11-13 22:31:50,721 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1043664,1043677] [2024-11-13 22:31:50,722 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1043738,1043751] [2024-11-13 22:31:50,722 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1043851,1043864] [2024-11-13 22:31:50,723 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1043987,1044000] [2024-11-13 22:31:50,724 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1044289,1044302] [2024-11-13 22:31:50,725 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1044387,1044400] [2024-11-13 22:31:50,725 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1044554,1044567] [2024-11-13 22:31:50,726 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1044852,1044865] [2024-11-13 22:31:50,727 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1044912,1044925] [2024-11-13 22:31:50,727 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1044964,1044977] [2024-11-13 22:31:50,727 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1045029,1045042] [2024-11-13 22:31:50,728 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1045082,1045095] [2024-11-13 22:31:50,728 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1045133,1045146] [2024-11-13 22:31:50,728 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1045199,1045212] [2024-11-13 22:31:50,729 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1045463,1045476] [2024-11-13 22:31:50,730 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1045590,1045603] [2024-11-13 22:31:50,731 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1045821,1045834] [2024-11-13 22:31:50,731 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1046010,1046023] [2024-11-13 22:31:50,732 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1046077,1046090] [2024-11-13 22:31:50,732 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1046188,1046201] [2024-11-13 22:31:50,732 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1046319,1046332] [2024-11-13 22:31:50,733 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1046390,1046403] [2024-11-13 22:31:50,734 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1046705,1046718] [2024-11-13 22:31:50,735 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1047183,1047196] [2024-11-13 22:31:50,736 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1047421,1047434] [2024-11-13 22:31:50,737 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1047483,1047496] [2024-11-13 22:31:50,737 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1047537,1047550] [2024-11-13 22:31:50,738 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1047604,1047617] [2024-11-13 22:31:50,738 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1047659,1047672] [2024-11-13 22:31:50,738 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1047712,1047725] [2024-11-13 22:31:50,739 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1047780,1047793] [2024-11-13 22:31:50,739 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1047921,1047934] [2024-11-13 22:31:50,740 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1048004,1048017] [2024-11-13 22:31:50,741 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1048355,1048368] [2024-11-13 22:31:50,742 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1048826,1048839] [2024-11-13 22:31:50,742 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1048880,1048893] [2024-11-13 22:31:50,743 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1048947,1048960] [2024-11-13 22:31:50,743 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1049002,1049015] [2024-11-13 22:31:50,743 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1049055,1049068] [2024-11-13 22:31:50,744 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1049123,1049136] [2024-11-13 22:31:50,744 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1049276,1049289] [2024-11-13 22:31:50,745 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1049426,1049439] [2024-11-13 22:31:50,745 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1049482,1049495] [2024-11-13 22:31:50,745 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1049542,1049555] [2024-11-13 22:31:50,747 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1049831,1049844] [2024-11-13 22:31:50,747 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1049887,1049900] [2024-11-13 22:31:50,747 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1049956,1049969] [2024-11-13 22:31:50,748 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1050013,1050026] [2024-11-13 22:31:50,748 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1050068,1050081] [2024-11-13 22:31:50,749 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1050138,1050151] [2024-11-13 22:31:50,749 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1050198,1050211] [2024-11-13 22:31:50,750 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1050265,1050278] [2024-11-13 22:31:50,750 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1050412,1050425] [2024-11-13 22:31:50,751 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1050516,1050529] [2024-11-13 22:31:50,751 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1050572,1050585] [2024-11-13 22:31:50,751 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1050662,1050675] [2024-11-13 22:31:50,753 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1051038,1051051] [2024-11-13 22:31:50,753 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1051098,1051111] [2024-11-13 22:31:50,754 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1051171,1051184] [2024-11-13 22:31:50,754 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1051232,1051245] [2024-11-13 22:31:50,754 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1051291,1051304] [2024-11-13 22:31:50,755 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1051365,1051378] [2024-11-13 22:31:50,755 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1051436,1051449] [2024-11-13 22:31:50,756 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1051595,1051608] [2024-11-13 22:31:50,757 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,757 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,757 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1051812,1051825] [2024-11-13 22:31:50,757 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1051864,1051877] [2024-11-13 22:31:50,758 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1051929,1051942] [2024-11-13 22:31:50,758 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1051982,1051995] [2024-11-13 22:31:50,758 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1052033,1052046] [2024-11-13 22:31:50,759 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1052099,1052112] [2024-11-13 22:31:50,759 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1052162,1052175] [2024-11-13 22:31:50,760 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1052334,1052347] [2024-11-13 22:31:50,760 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1052394,1052407] [2024-11-13 22:31:50,760 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1052446,1052459] [2024-11-13 22:31:50,760 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1052511,1052524] [2024-11-13 22:31:50,761 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1052564,1052577] [2024-11-13 22:31:50,761 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1052615,1052628] [2024-11-13 22:31:50,761 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1052681,1052694] [2024-11-13 22:31:50,761 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1052760,1052773] [2024-11-13 22:31:50,761 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1052842,1052855] [2024-11-13 22:31:50,762 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1052948,1052961] [2024-11-13 22:31:50,763 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1053455,1053468] [2024-11-13 22:31:50,764 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1053642,1053655] [2024-11-13 22:31:50,765 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1053832,1053845] [2024-11-13 22:31:50,765 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1053890,1053903] [2024-11-13 22:31:50,765 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1053961,1053974] [2024-11-13 22:31:50,766 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1054020,1054033] [2024-11-13 22:31:50,766 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1054077,1054090] [2024-11-13 22:31:50,767 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1054149,1054162] [2024-11-13 22:31:50,767 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1054312,1054325] [2024-11-13 22:31:50,768 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1054716,1054729] [2024-11-13 22:31:50,768 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1054899,1054912] [2024-11-13 22:31:50,769 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1055020,1055033] [2024-11-13 22:31:50,769 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1055136,1055149] [2024-11-13 22:31:50,770 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1055455,1055468] [2024-11-13 22:31:50,770 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1055526,1055539] [2024-11-13 22:31:50,771 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1055756,1055769] [2024-11-13 22:31:50,771 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1055814,1055827] [2024-11-13 22:31:50,772 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1055885,1055898] [2024-11-13 22:31:50,772 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1055944,1055957] [2024-11-13 22:31:50,772 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1056001,1056014] [2024-11-13 22:31:50,772 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1056073,1056086] [2024-11-13 22:31:50,773 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1056171,1056184] [2024-11-13 22:31:50,773 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1056292,1056305] [2024-11-13 22:31:50,774 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1056413,1056426] [2024-11-13 22:31:50,774 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1056751,1056764] [2024-11-13 22:31:50,775 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1056905,1056918] [2024-11-13 22:31:50,775 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1056969,1056982] [2024-11-13 22:31:50,775 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1057046,1057059] [2024-11-13 22:31:50,776 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1057111,1057124] [2024-11-13 22:31:50,776 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1057174,1057187] [2024-11-13 22:31:50,776 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1057252,1057265] [2024-11-13 22:31:50,777 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,777 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,778 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,778 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,778 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1057589,1057602] [2024-11-13 22:31:50,779 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1057653,1057666] [2024-11-13 22:31:50,779 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1057730,1057743] [2024-11-13 22:31:50,779 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1057795,1057808] [2024-11-13 22:31:50,780 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1057858,1057871] [2024-11-13 22:31:50,780 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1057936,1057949] [2024-11-13 22:31:50,781 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1058032,1058045] [2024-11-13 22:31:50,781 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1058318,1058331] [2024-11-13 22:31:50,782 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1058491,1058504] [2024-11-13 22:31:50,782 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1058594,1058607] [2024-11-13 22:31:50,783 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1058868,1058881] [2024-11-13 22:31:50,783 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1058933,1058946] [2024-11-13 22:31:50,783 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1059091,1059104] [2024-11-13 22:31:50,784 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1059143,1059156] [2024-11-13 22:31:50,784 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1059208,1059221] [2024-11-13 22:31:50,784 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1059261,1059274] [2024-11-13 22:31:50,785 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1059312,1059325] [2024-11-13 22:31:50,785 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1059378,1059391] [2024-11-13 22:31:50,785 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1059458,1059471] [2024-11-13 22:31:50,786 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1059567,1059580] [2024-11-13 22:31:50,786 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1059673,1059686] [2024-11-13 22:31:50,787 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1059732,1059745] [2024-11-13 22:31:50,787 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1059851,1059864] [2024-11-13 22:31:50,788 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1060004,1060017] [2024-11-13 22:31:50,788 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,789 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,789 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,789 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,789 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1060317,1060330] [2024-11-13 22:31:50,790 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1060379,1060392] [2024-11-13 22:31:50,790 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1060454,1060467] [2024-11-13 22:31:50,790 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1060517,1060530] [2024-11-13 22:31:50,790 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1060578,1060591] [2024-11-13 22:31:50,791 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1060641,1060654] [2024-11-13 22:31:50,791 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1060717,1060730] [2024-11-13 22:31:50,791 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1060782,1060795] [2024-11-13 22:31:50,791 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1060902,1060915] [2024-11-13 22:31:50,792 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1060962,1060975] [2024-11-13 22:31:50,792 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1061035,1061048] [2024-11-13 22:31:50,793 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1061096,1061109] [2024-11-13 22:31:50,793 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1061155,1061168] [2024-11-13 22:31:50,793 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1061216,1061229] [2024-11-13 22:31:50,794 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1061290,1061303] [2024-11-13 22:31:50,794 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1061353,1061366] [2024-11-13 22:31:50,795 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1061922,1061935] [2024-11-13 22:31:50,795 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1061974,1061987] [2024-11-13 22:31:50,796 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1062039,1062052] [2024-11-13 22:31:50,796 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1062092,1062105] [2024-11-13 22:31:50,796 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1062143,1062156] [2024-11-13 22:31:50,797 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1062209,1062222] [2024-11-13 22:31:50,797 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1062287,1062300] [2024-11-13 22:31:50,798 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1062468,1062481] [2024-11-13 22:31:50,798 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1062520,1062533] [2024-11-13 22:31:50,798 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1062585,1062598] [2024-11-13 22:31:50,799 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1062638,1062651] [2024-11-13 22:31:50,799 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1062689,1062702] [2024-11-13 22:31:50,799 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1062755,1062768] [2024-11-13 22:31:50,800 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1062835,1062848] [2024-11-13 22:31:50,800 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1062927,1062940] [2024-11-13 22:31:50,800 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1063015,1063028] [2024-11-13 22:31:50,801 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1063540,1063553] [2024-11-13 22:31:50,802 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1063594,1063607] [2024-11-13 22:31:50,802 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1063661,1063674] [2024-11-13 22:31:50,802 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1063716,1063729] [2024-11-13 22:31:50,803 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1063769,1063782] [2024-11-13 22:31:50,803 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1063837,1063850] [2024-11-13 22:31:50,803 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1063936,1063949] [2024-11-13 22:31:50,804 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1064027,1064040] [2024-11-13 22:31:50,805 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1064253,1064266] [2024-11-13 22:31:50,809 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1064408,1064421] [2024-11-13 22:31:50,809 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1064513,1064526] [2024-11-13 22:31:50,810 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1064676,1064689] [2024-11-13 22:31:50,810 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1064740,1064753] [2024-11-13 22:31:50,811 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1064932,1064945] [2024-11-13 22:31:50,811 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1065121,1065134] [2024-11-13 22:31:50,812 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1065212,1065225] [2024-11-13 22:31:50,812 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_87f7dd63-0b27-4044-83ca-be2c5f78cd20/sv-benchmarks/c/goblint-coreutils/instrumented_dd_comb.i[1065312,1065325] [2024-11-13 22:31:50,828 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,832 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,832 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,834 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,834 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,835 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,835 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,837 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,838 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,916 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,916 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,917 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,917 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,918 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,919 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,920 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,921 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,922 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,922 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,923 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,923 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,925 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,925 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,925 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,926 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,927 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,929 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,930 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,931 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,932 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,933 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,933 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,934 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,934 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,934 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,935 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,935 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,935 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,936 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,936 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,936 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,937 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,951 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,952 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,953 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,954 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,954 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,955 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,955 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,956 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,959 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,959 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,960 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,960 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,960 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,960 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,961 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,961 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,961 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,962 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,964 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,965 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,965 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,965 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,967 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,969 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,969 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,970 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,970 WARN L1072 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-13 22:31:50,975 ERROR L321 MainTranslator]: Unsupported Syntax: The second argument of the pthread_mutex_init is not a null pointer. This means that non-default attributes are used. We support only the default attributes. [2024-11-13 22:31:50,975 INFO L204 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.CACSL2BoogieTranslatorObserver@6086f768 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.11 10:31:50, skipping insertion in model container [2024-11-13 22:31:50,975 INFO L131 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2024-11-13 22:31:50,976 INFO L186 ToolchainWalker]: Toolchain execution was canceled (user or tool) before executing de.uni_freiburg.informatik.ultimate.boogie.procedureinliner [2024-11-13 22:31:50,981 INFO L158 Benchmark]: Toolchain (without parser) took 30838.25ms. Allocated memory was 92.3MB in the beginning and 260.0MB in the end (delta: 167.8MB). Free memory was 30.6MB in the beginning and 144.4MB in the end (delta: -113.7MB). Peak memory consumption was 194.8MB. Max. memory is 16.1GB. [2024-11-13 22:31:50,981 INFO L158 Benchmark]: CDTParser took 0.33ms. Allocated memory is still 83.9MB. Free memory is still 63.7MB. There was no memory consumed. Max. memory is 16.1GB. [2024-11-13 22:31:50,982 INFO L158 Benchmark]: CACSL2BoogieTranslator took 30835.05ms. Allocated memory was 92.3MB in the beginning and 260.0MB in the end (delta: 167.8MB). Free memory was 30.5MB in the beginning and 144.4MB in the end (delta: -113.9MB). Peak memory consumption was 194.8MB. Max. memory is 16.1GB. [2024-11-13 22:31:50,983 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.33ms. Allocated memory is still 83.9MB. Free memory is still 63.7MB. There was no memory consumed. Max. memory is 16.1GB. * CACSL2BoogieTranslator took 30835.05ms. Allocated memory was 92.3MB in the beginning and 260.0MB in the end (delta: 167.8MB). Free memory was 30.5MB in the beginning and 144.4MB in the end (delta: -113.9MB). Peak memory consumption was 194.8MB. Max. memory is 16.1GB. * Results from de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: - UnsupportedSyntaxResult [Line: 36501]: Unsupported Syntax The second argument of the pthread_mutex_init is not a null pointer. This means that non-default attributes are used. We support only the default attributes. 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: UNKNOWN