./Ultimate.py --spec ../../sv-benchmarks/c/properties/unreach-call.prp --file ../../sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i --full-output --architecture 64bit -------------------------------------------------------------------------------- Checking for ERROR reachability Using default analysis Version 9ad7fb26 Calling Ultimate with: /usr/bin/java -Dosgi.configuration.area=/tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/bin/utaipan-aC7eJsxGYH/data/config -Xmx15G -Xms4m -jar /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/bin/utaipan-aC7eJsxGYH/plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/bin/utaipan-aC7eJsxGYH/data -tc /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/bin/utaipan-aC7eJsxGYH/config/TaipanReach.xml -i ../../sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i -s /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/bin/utaipan-aC7eJsxGYH/config/svcomp-Reach-64bit-Taipan_Default.epf --cacsl2boogietranslator.entry.function main --witnessprinter.witness.directory /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/bin/utaipan-aC7eJsxGYH --witnessprinter.witness.filename witness.graphml --witnessprinter.write.witness.besides.input.file false --witnessprinter.graph.data.specification CHECK( init(main()), LTL(G ! call(reach_error())) ) --witnessprinter.graph.data.producer Taipan --witnessprinter.graph.data.architecture 64bit --witnessprinter.graph.data.programhash 9900e85a343bc08b56faef7aac8f9272ad00f54ef516e54f6ff40f7d952a426b --- Real Ultimate output --- This is Ultimate 0.2.1-dev-9ad7fb2 [2021-11-03 05:04:46,945 INFO L177 SettingsManager]: Resetting all preferences to default values... [2021-11-03 05:04:46,947 INFO L181 SettingsManager]: Resetting UltimateCore preferences to default values [2021-11-03 05:04:46,980 INFO L184 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2021-11-03 05:04:46,981 INFO L181 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2021-11-03 05:04:46,982 INFO L181 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2021-11-03 05:04:46,984 INFO L181 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2021-11-03 05:04:46,986 INFO L181 SettingsManager]: Resetting LassoRanker preferences to default values [2021-11-03 05:04:46,997 INFO L181 SettingsManager]: Resetting Reaching Definitions preferences to default values [2021-11-03 05:04:46,998 INFO L181 SettingsManager]: Resetting SyntaxChecker preferences to default values [2021-11-03 05:04:47,000 INFO L181 SettingsManager]: Resetting Sifa preferences to default values [2021-11-03 05:04:47,001 INFO L184 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2021-11-03 05:04:47,003 INFO L181 SettingsManager]: Resetting LTL2Aut preferences to default values [2021-11-03 05:04:47,007 INFO L181 SettingsManager]: Resetting PEA to Boogie preferences to default values [2021-11-03 05:04:47,009 INFO L181 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2021-11-03 05:04:47,013 INFO L181 SettingsManager]: Resetting ChcToBoogie preferences to default values [2021-11-03 05:04:47,015 INFO L181 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2021-11-03 05:04:47,023 INFO L181 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2021-11-03 05:04:47,025 INFO L181 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2021-11-03 05:04:47,027 INFO L181 SettingsManager]: Resetting CodeCheck preferences to default values [2021-11-03 05:04:47,031 INFO L181 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2021-11-03 05:04:47,033 INFO L181 SettingsManager]: Resetting RCFGBuilder preferences to default values [2021-11-03 05:04:47,034 INFO L181 SettingsManager]: Resetting Referee preferences to default values [2021-11-03 05:04:47,037 INFO L181 SettingsManager]: Resetting TraceAbstraction preferences to default values [2021-11-03 05:04:47,047 INFO L184 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2021-11-03 05:04:47,048 INFO L184 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2021-11-03 05:04:47,049 INFO L181 SettingsManager]: Resetting TreeAutomizer preferences to default values [2021-11-03 05:04:47,051 INFO L181 SettingsManager]: Resetting IcfgToChc preferences to default values [2021-11-03 05:04:47,052 INFO L181 SettingsManager]: Resetting IcfgTransformer preferences to default values [2021-11-03 05:04:47,053 INFO L184 SettingsManager]: ReqToTest provides no preferences, ignoring... [2021-11-03 05:04:47,055 INFO L181 SettingsManager]: Resetting Boogie Printer preferences to default values [2021-11-03 05:04:47,056 INFO L181 SettingsManager]: Resetting ChcSmtPrinter preferences to default values [2021-11-03 05:04:47,058 INFO L181 SettingsManager]: Resetting ReqPrinter preferences to default values [2021-11-03 05:04:47,059 INFO L181 SettingsManager]: Resetting Witness Printer preferences to default values [2021-11-03 05:04:47,061 INFO L184 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2021-11-03 05:04:47,061 INFO L181 SettingsManager]: Resetting CDTParser preferences to default values [2021-11-03 05:04:47,062 INFO L184 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2021-11-03 05:04:47,062 INFO L184 SettingsManager]: ReqParser provides no preferences, ignoring... [2021-11-03 05:04:47,062 INFO L181 SettingsManager]: Resetting SmtParser preferences to default values [2021-11-03 05:04:47,063 INFO L181 SettingsManager]: Resetting Witness Parser preferences to default values [2021-11-03 05:04:47,064 INFO L188 SettingsManager]: Finished resetting all preferences to default values... [2021-11-03 05:04:47,065 INFO L101 SettingsManager]: Beginning loading settings from /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/bin/utaipan-aC7eJsxGYH/config/svcomp-Reach-64bit-Taipan_Default.epf [2021-11-03 05:04:47,113 INFO L113 SettingsManager]: Loading preferences was successful [2021-11-03 05:04:47,114 INFO L115 SettingsManager]: Preferences different from defaults after loading the file: [2021-11-03 05:04:47,114 INFO L136 SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults: [2021-11-03 05:04:47,115 INFO L138 SettingsManager]: * User list type=DISABLED [2021-11-03 05:04:47,115 INFO L136 SettingsManager]: Preferences of Abstract Interpretation differ from their defaults: [2021-11-03 05:04:47,115 INFO L138 SettingsManager]: * Explicit value domain=true [2021-11-03 05:04:47,115 INFO L138 SettingsManager]: * Abstract domain for RCFG-of-the-future=PoormanAbstractDomain [2021-11-03 05:04:47,115 INFO L138 SettingsManager]: * Octagon Domain=false [2021-11-03 05:04:47,116 INFO L138 SettingsManager]: * Abstract domain=CompoundDomain [2021-11-03 05:04:47,116 INFO L138 SettingsManager]: * Check feasibility of abstract posts with an SMT solver=true [2021-11-03 05:04:47,116 INFO L138 SettingsManager]: * Use the RCFG-of-the-future interface=true [2021-11-03 05:04:47,116 INFO L138 SettingsManager]: * Interval Domain=false [2021-11-03 05:04:47,116 INFO L136 SettingsManager]: Preferences of Sifa differ from their defaults: [2021-11-03 05:04:47,117 INFO L138 SettingsManager]: * Call Summarizer=TopInputCallSummarizer [2021-11-03 05:04:47,117 INFO L138 SettingsManager]: * Simplification Technique=SIMPLIFY_QUICK [2021-11-03 05:04:47,117 INFO L136 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2021-11-03 05:04:47,118 INFO L138 SettingsManager]: * Overapproximate operations on floating types=true [2021-11-03 05:04:47,118 INFO L138 SettingsManager]: * Check division by zero=IGNORE [2021-11-03 05:04:47,118 INFO L138 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2021-11-03 05:04:47,118 INFO L138 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2021-11-03 05:04:47,118 INFO L138 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2021-11-03 05:04:47,118 INFO L138 SettingsManager]: * Adapt memory model on pointer casts if necessary=true [2021-11-03 05:04:47,119 INFO L138 SettingsManager]: * Check if freed pointer was valid=false [2021-11-03 05:04:47,119 INFO L138 SettingsManager]: * Use constant arrays=true [2021-11-03 05:04:47,119 INFO L138 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2021-11-03 05:04:47,119 INFO L136 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2021-11-03 05:04:47,119 INFO L138 SettingsManager]: * SMT solver=External_DefaultMode [2021-11-03 05:04:47,120 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2021-11-03 05:04:47,120 INFO L136 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2021-11-03 05:04:47,120 INFO L138 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2021-11-03 05:04:47,120 INFO L138 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2021-11-03 05:04:47,120 INFO L138 SettingsManager]: * Trace refinement strategy=SIFA_TAIPAN [2021-11-03 05:04:47,121 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2021-11-03 05:04:47,121 INFO L138 SettingsManager]: * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true [2021-11-03 05:04:47,121 INFO L138 SettingsManager]: * Trace refinement exception blacklist=NONE [2021-11-03 05:04:47,121 INFO L138 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2021-11-03 05:04:47,121 INFO L138 SettingsManager]: * Abstract interpretation Mode=USE_PREDICATES WARNING: An illegal reflective access operation has occurred WARNING: Illegal reflective access by com.sun.xml.bind.v2.runtime.reflect.opt.Injector$1 (file:/tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/bin/utaipan-aC7eJsxGYH/plugins/com.sun.xml.bind_2.2.0.v201505121915.jar) to method java.lang.ClassLoader.defineClass(java.lang.String,byte[],int,int) WARNING: Please consider reporting this to the maintainers of com.sun.xml.bind.v2.runtime.reflect.opt.Injector$1 WARNING: Use --illegal-access=warn to enable warnings of further illegal reflective access operations WARNING: All illegal access operations will be denied in a future release Applying setting for plugin de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: Entry function -> main Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Witness directory -> /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/bin/utaipan-aC7eJsxGYH Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Witness filename -> witness.graphml 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 -> Taipan 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 -> 9900e85a343bc08b56faef7aac8f9272ad00f54ef516e54f6ff40f7d952a426b [2021-11-03 05:04:47,377 INFO L75 nceAwareModelManager]: Repository-Root is: /tmp [2021-11-03 05:04:47,399 INFO L261 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2021-11-03 05:04:47,402 INFO L217 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2021-11-03 05:04:47,403 INFO L271 PluginConnector]: Initializing CDTParser... [2021-11-03 05:04:47,408 INFO L275 PluginConnector]: CDTParser initialized [2021-11-03 05:04:47,409 INFO L432 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/bin/utaipan-aC7eJsxGYH/../../sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i [2021-11-03 05:04:47,479 INFO L220 CDTParser]: Created temporary CDT project at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/bin/utaipan-aC7eJsxGYH/data/a16d0441d/cb84bd4df5f24a8f94e9b4c681e0a621/FLAG51cd8892a [2021-11-03 05:04:48,665 INFO L306 CDTParser]: Found 1 translation units. [2021-11-03 05:04:48,668 INFO L160 CDTParser]: Scanning /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i [2021-11-03 05:04:48,743 INFO L349 CDTParser]: About to delete temporary CDT project at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/bin/utaipan-aC7eJsxGYH/data/a16d0441d/cb84bd4df5f24a8f94e9b4c681e0a621/FLAG51cd8892a [2021-11-03 05:04:48,900 INFO L357 CDTParser]: Successfully deleted /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/bin/utaipan-aC7eJsxGYH/data/a16d0441d/cb84bd4df5f24a8f94e9b4c681e0a621 [2021-11-03 05:04:48,903 INFO L299 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2021-11-03 05:04:48,906 INFO L131 ToolchainWalker]: Walking toolchain with 6 elements. [2021-11-03 05:04:48,909 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2021-11-03 05:04:48,909 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2021-11-03 05:04:48,912 INFO L275 PluginConnector]: CACSL2BoogieTranslator initialized [2021-11-03 05:04:48,913 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 03.11 05:04:48" (1/1) ... [2021-11-03 05:04:48,915 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@207d0f20 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 03.11 05:04:48, skipping insertion in model container [2021-11-03 05:04:48,915 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 03.11 05:04:48" (1/1) ... [2021-11-03 05:04:48,922 INFO L145 MainTranslator]: Starting translation in SV-COMP mode [2021-11-03 05:04:49,153 INFO L178 MainTranslator]: Built tables and reachable declarations [2021-11-03 05:04:51,728 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-03 05:04:52,741 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-03 05:04:53,009 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-03 05:04:53,036 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-03 05:04:53,377 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-03 05:04:53,378 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-03 05:04:53,381 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-03 05:04:53,382 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-03 05:04:53,383 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-03 05:04:53,386 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-03 05:04:55,518 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[566986,566999] [2021-11-03 05:04:55,524 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[567131,567144] [2021-11-03 05:04:55,525 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[567277,567290] [2021-11-03 05:04:55,525 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[567442,567455] [2021-11-03 05:04:55,528 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[567600,567613] [2021-11-03 05:04:55,529 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[567758,567771] [2021-11-03 05:04:55,529 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[567916,567929] [2021-11-03 05:04:55,531 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[568076,568089] [2021-11-03 05:04:55,536 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[568235,568248] [2021-11-03 05:04:55,537 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[568374,568387] [2021-11-03 05:04:55,538 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[568516,568529] [2021-11-03 05:04:55,538 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[568665,568678] [2021-11-03 05:04:55,539 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[568804,568817] [2021-11-03 05:04:55,540 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[568959,568972] [2021-11-03 05:04:55,541 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[569119,569132] [2021-11-03 05:04:55,542 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[569270,569283] [2021-11-03 05:04:55,542 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[569421,569434] [2021-11-03 05:04:55,543 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[569573,569586] [2021-11-03 05:04:55,544 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[569722,569735] [2021-11-03 05:04:55,545 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[569870,569883] [2021-11-03 05:04:55,546 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[570027,570040] [2021-11-03 05:04:55,547 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[570176,570189] [2021-11-03 05:04:55,547 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[570332,570345] [2021-11-03 05:04:55,552 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[570485,570498] [2021-11-03 05:04:55,554 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[570631,570644] [2021-11-03 05:04:55,554 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[570774,570787] [2021-11-03 05:04:55,555 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[570926,570939] [2021-11-03 05:04:55,555 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[571072,571085] [2021-11-03 05:04:55,556 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[571217,571230] [2021-11-03 05:04:55,557 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[571371,571384] [2021-11-03 05:04:55,559 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[571522,571535] [2021-11-03 05:04:55,560 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[571677,571690] [2021-11-03 05:04:55,561 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[571829,571842] [2021-11-03 05:04:55,561 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[571984,571997] [2021-11-03 05:04:55,575 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[572148,572161] [2021-11-03 05:04:55,575 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[572304,572317] [2021-11-03 05:04:55,576 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[572468,572481] [2021-11-03 05:04:55,576 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[572610,572623] [2021-11-03 05:04:55,577 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[572768,572781] [2021-11-03 05:04:55,577 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[572935,572948] [2021-11-03 05:04:55,578 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[573094,573107] [2021-11-03 05:04:55,578 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[573253,573266] [2021-11-03 05:04:55,578 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[573402,573415] [2021-11-03 05:04:55,579 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[573549,573562] [2021-11-03 05:04:55,579 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[573688,573701] [2021-11-03 05:04:55,580 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[573851,573864] [2021-11-03 05:04:55,580 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[574017,574030] [2021-11-03 05:04:55,581 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[574181,574194] [2021-11-03 05:04:55,581 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[574346,574359] [2021-11-03 05:04:55,596 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[574511,574524] [2021-11-03 05:04:55,596 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[574677,574690] [2021-11-03 05:04:55,597 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[574842,574855] [2021-11-03 05:04:55,597 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[575009,575022] [2021-11-03 05:04:55,598 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[575169,575182] [2021-11-03 05:04:55,598 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[575331,575344] [2021-11-03 05:04:55,599 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[575490,575503] [2021-11-03 05:04:55,599 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[575636,575649] [2021-11-03 05:04:55,599 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[575779,575792] [2021-11-03 05:04:55,600 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[575923,575936] [2021-11-03 05:04:55,600 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[576066,576079] [2021-11-03 05:04:55,601 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[576210,576223] [2021-11-03 05:04:55,601 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[576351,576364] [2021-11-03 05:04:55,601 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[576489,576502] [2021-11-03 05:04:55,602 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[576647,576660] [2021-11-03 05:04:55,602 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[576806,576819] [2021-11-03 05:04:55,603 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[576962,576975] [2021-11-03 05:04:55,603 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[577111,577124] [2021-11-03 05:04:55,604 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[577263,577276] [2021-11-03 05:04:55,604 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[577414,577427] [2021-11-03 05:04:55,604 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[577563,577576] [2021-11-03 05:04:55,605 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[577715,577728] [2021-11-03 05:04:55,605 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[577863,577876] [2021-11-03 05:04:55,606 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[578016,578029] [2021-11-03 05:04:55,606 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[578167,578180] [2021-11-03 05:04:55,606 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[578317,578330] [2021-11-03 05:04:55,607 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[578464,578477] [2021-11-03 05:04:55,607 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[578615,578628] [2021-11-03 05:04:55,608 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[578766,578779] [2021-11-03 05:04:55,608 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[578914,578927] [2021-11-03 05:04:55,609 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[579080,579093] [2021-11-03 05:04:55,609 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[579249,579262] [2021-11-03 05:04:55,609 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[579416,579429] [2021-11-03 05:04:55,610 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[579584,579597] [2021-11-03 05:04:55,610 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[579734,579747] [2021-11-03 05:04:55,611 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[579881,579894] [2021-11-03 05:04:55,611 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[580042,580055] [2021-11-03 05:04:55,611 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[580212,580225] [2021-11-03 05:04:55,620 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[580374,580387] [2021-11-03 05:04:55,632 INFO L206 PostProcessor]: Analyzing one entry point: main [2021-11-03 05:04:55,786 ERROR L326 MainTranslator]: Unsupported Syntax: Found a cast between two array/pointer types where the value type is smaller than the cast-to type while using memory model HoenickeLindenmann_Original (while Not using bitvector translation) [2021-11-03 05:04:55,786 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.CACSL2BoogieTranslatorObserver@7c16295e and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 03.11 05:04:55, skipping insertion in model container [2021-11-03 05:04:55,787 INFO L132 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2021-11-03 05:04:55,788 INFO L184 ToolchainWalker]: Toolchain execution was canceled (user or tool) before executing de.uni_freiburg.informatik.ultimate.boogie.procedureinliner [2021-11-03 05:04:55,790 INFO L168 Benchmark]: Toolchain (without parser) took 6882.33 ms. Allocated memory was 92.3 MB in the beginning and 165.7 MB in the end (delta: 73.4 MB). Free memory was 48.2 MB in the beginning and 67.2 MB in the end (delta: -19.0 MB). Peak memory consumption was 75.6 MB. Max. memory is 16.1 GB. [2021-11-03 05:04:55,790 INFO L168 Benchmark]: CDTParser took 0.25 ms. Allocated memory is still 92.3 MB. Free memory is still 68.1 MB. There was no memory consumed. Max. memory is 16.1 GB. [2021-11-03 05:04:55,791 INFO L168 Benchmark]: CACSL2BoogieTranslator took 6878.95 ms. Allocated memory was 92.3 MB in the beginning and 165.7 MB in the end (delta: 73.4 MB). Free memory was 48.0 MB in the beginning and 67.2 MB in the end (delta: -19.2 MB). Peak memory consumption was 75.6 MB. Max. memory is 16.1 GB. [2021-11-03 05:04:55,793 INFO L339 ainManager$Toolchain]: ####################### End [Toolchain 1] ####################### --- Results --- * Results from de.uni_freiburg.informatik.ultimate.core: - StatisticsResult: Toolchain Benchmarks Benchmark results are: * CDTParser took 0.25 ms. Allocated memory is still 92.3 MB. Free memory is still 68.1 MB. There was no memory consumed. Max. memory is 16.1 GB. * CACSL2BoogieTranslator took 6878.95 ms. Allocated memory was 92.3 MB in the beginning and 165.7 MB in the end (delta: 73.4 MB). Free memory was 48.0 MB in the beginning and 67.2 MB in the end (delta: -19.2 MB). Peak memory consumption was 75.6 MB. Max. memory is 16.1 GB. * Results from de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: - UnsupportedSyntaxResult [Line: 5048]: Unsupported Syntax Found a cast between two array/pointer types where the value type is smaller than the cast-to type while using memory model HoenickeLindenmann_Original (while Not using bitvector translation) 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_992d8721-e963-4eee-9d1a-032cc3f113b6/bin/utaipan-aC7eJsxGYH/data/config -Xmx15G -Xms4m -jar /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/bin/utaipan-aC7eJsxGYH/plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/bin/utaipan-aC7eJsxGYH/data -tc /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/bin/utaipan-aC7eJsxGYH/config/TaipanReach.xml -i ../../sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i -s /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/bin/utaipan-aC7eJsxGYH/config/svcomp-Reach-64bit-Taipan_Bitvector.epf --cacsl2boogietranslator.entry.function main --witnessprinter.witness.directory /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/bin/utaipan-aC7eJsxGYH --witnessprinter.witness.filename witness.graphml --witnessprinter.write.witness.besides.input.file false --witnessprinter.graph.data.specification CHECK( init(main()), LTL(G ! call(reach_error())) ) --witnessprinter.graph.data.producer Taipan --witnessprinter.graph.data.architecture 64bit --witnessprinter.graph.data.programhash 9900e85a343bc08b56faef7aac8f9272ad00f54ef516e54f6ff40f7d952a426b --- Real Ultimate output --- This is Ultimate 0.2.1-dev-9ad7fb2 [2021-11-03 05:04:58,093 INFO L177 SettingsManager]: Resetting all preferences to default values... [2021-11-03 05:04:58,096 INFO L181 SettingsManager]: Resetting UltimateCore preferences to default values [2021-11-03 05:04:58,144 INFO L184 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2021-11-03 05:04:58,145 INFO L181 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2021-11-03 05:04:58,149 INFO L181 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2021-11-03 05:04:58,150 INFO L181 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2021-11-03 05:04:58,152 INFO L181 SettingsManager]: Resetting LassoRanker preferences to default values [2021-11-03 05:04:58,154 INFO L181 SettingsManager]: Resetting Reaching Definitions preferences to default values [2021-11-03 05:04:58,155 INFO L181 SettingsManager]: Resetting SyntaxChecker preferences to default values [2021-11-03 05:04:58,157 INFO L181 SettingsManager]: Resetting Sifa preferences to default values [2021-11-03 05:04:58,158 INFO L184 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2021-11-03 05:04:58,159 INFO L181 SettingsManager]: Resetting LTL2Aut preferences to default values [2021-11-03 05:04:58,160 INFO L181 SettingsManager]: Resetting PEA to Boogie preferences to default values [2021-11-03 05:04:58,162 INFO L181 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2021-11-03 05:04:58,163 INFO L181 SettingsManager]: Resetting ChcToBoogie preferences to default values [2021-11-03 05:04:58,164 INFO L181 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2021-11-03 05:04:58,165 INFO L181 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2021-11-03 05:04:58,167 INFO L181 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2021-11-03 05:04:58,184 INFO L181 SettingsManager]: Resetting CodeCheck preferences to default values [2021-11-03 05:04:58,188 INFO L181 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2021-11-03 05:04:58,191 INFO L181 SettingsManager]: Resetting RCFGBuilder preferences to default values [2021-11-03 05:04:58,193 INFO L181 SettingsManager]: Resetting Referee preferences to default values [2021-11-03 05:04:58,196 INFO L181 SettingsManager]: Resetting TraceAbstraction preferences to default values [2021-11-03 05:04:58,201 INFO L184 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2021-11-03 05:04:58,205 INFO L184 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2021-11-03 05:04:58,206 INFO L181 SettingsManager]: Resetting TreeAutomizer preferences to default values [2021-11-03 05:04:58,207 INFO L181 SettingsManager]: Resetting IcfgToChc preferences to default values [2021-11-03 05:04:58,208 INFO L181 SettingsManager]: Resetting IcfgTransformer preferences to default values [2021-11-03 05:04:58,209 INFO L184 SettingsManager]: ReqToTest provides no preferences, ignoring... [2021-11-03 05:04:58,210 INFO L181 SettingsManager]: Resetting Boogie Printer preferences to default values [2021-11-03 05:04:58,211 INFO L181 SettingsManager]: Resetting ChcSmtPrinter preferences to default values [2021-11-03 05:04:58,212 INFO L181 SettingsManager]: Resetting ReqPrinter preferences to default values [2021-11-03 05:04:58,214 INFO L181 SettingsManager]: Resetting Witness Printer preferences to default values [2021-11-03 05:04:58,215 INFO L184 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2021-11-03 05:04:58,216 INFO L181 SettingsManager]: Resetting CDTParser preferences to default values [2021-11-03 05:04:58,216 INFO L184 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2021-11-03 05:04:58,217 INFO L184 SettingsManager]: ReqParser provides no preferences, ignoring... [2021-11-03 05:04:58,217 INFO L181 SettingsManager]: Resetting SmtParser preferences to default values [2021-11-03 05:04:58,219 INFO L181 SettingsManager]: Resetting Witness Parser preferences to default values [2021-11-03 05:04:58,220 INFO L188 SettingsManager]: Finished resetting all preferences to default values... [2021-11-03 05:04:58,220 INFO L101 SettingsManager]: Beginning loading settings from /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/bin/utaipan-aC7eJsxGYH/config/svcomp-Reach-64bit-Taipan_Bitvector.epf [2021-11-03 05:04:58,267 INFO L113 SettingsManager]: Loading preferences was successful [2021-11-03 05:04:58,267 INFO L115 SettingsManager]: Preferences different from defaults after loading the file: [2021-11-03 05:04:58,268 INFO L136 SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults: [2021-11-03 05:04:58,269 INFO L138 SettingsManager]: * User list type=DISABLED [2021-11-03 05:04:58,269 INFO L136 SettingsManager]: Preferences of Abstract Interpretation differ from their defaults: [2021-11-03 05:04:58,269 INFO L138 SettingsManager]: * Explicit value domain=true [2021-11-03 05:04:58,269 INFO L138 SettingsManager]: * Octagon Domain=false [2021-11-03 05:04:58,270 INFO L138 SettingsManager]: * Abstract domain=CompoundDomain [2021-11-03 05:04:58,270 INFO L138 SettingsManager]: * Interval Domain=false [2021-11-03 05:04:58,271 INFO L136 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2021-11-03 05:04:58,272 INFO L138 SettingsManager]: * Check division by zero=IGNORE [2021-11-03 05:04:58,273 INFO L138 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2021-11-03 05:04:58,273 INFO L138 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2021-11-03 05:04:58,273 INFO L138 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2021-11-03 05:04:58,273 INFO L138 SettingsManager]: * Adapt memory model on pointer casts if necessary=true [2021-11-03 05:04:58,273 INFO L138 SettingsManager]: * Use bitvectors instead of ints=true [2021-11-03 05:04:58,274 INFO L138 SettingsManager]: * Memory model=HoenickeLindenmann_4ByteResolution [2021-11-03 05:04:58,274 INFO L138 SettingsManager]: * Check if freed pointer was valid=false [2021-11-03 05:04:58,274 INFO L138 SettingsManager]: * Use constant arrays=true [2021-11-03 05:04:58,274 INFO L138 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2021-11-03 05:04:58,275 INFO L136 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2021-11-03 05:04:58,275 INFO L138 SettingsManager]: * Size of a code block=SequenceOfStatements [2021-11-03 05:04:58,275 INFO L138 SettingsManager]: * SMT solver=External_DefaultMode [2021-11-03 05:04:58,275 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2021-11-03 05:04:58,275 INFO L136 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2021-11-03 05:04:58,276 INFO L138 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2021-11-03 05:04:58,276 INFO L138 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2021-11-03 05:04:58,276 INFO L138 SettingsManager]: * Trace refinement strategy=WALRUS [2021-11-03 05:04:58,276 INFO L138 SettingsManager]: * Command for external solver=cvc4 --incremental --print-success --lang smt [2021-11-03 05:04:58,277 INFO L138 SettingsManager]: * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true [2021-11-03 05:04:58,277 INFO L138 SettingsManager]: * Trace refinement exception blacklist=NONE [2021-11-03 05:04:58,277 INFO L138 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2021-11-03 05:04:58,277 INFO L138 SettingsManager]: * Logic for external solver=AUFBV WARNING: An illegal reflective access operation has occurred WARNING: Illegal reflective access by com.sun.xml.bind.v2.runtime.reflect.opt.Injector$1 (file:/tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/bin/utaipan-aC7eJsxGYH/plugins/com.sun.xml.bind_2.2.0.v201505121915.jar) to method java.lang.ClassLoader.defineClass(java.lang.String,byte[],int,int) WARNING: Please consider reporting this to the maintainers of com.sun.xml.bind.v2.runtime.reflect.opt.Injector$1 WARNING: Use --illegal-access=warn to enable warnings of further illegal reflective access operations WARNING: All illegal access operations will be denied in a future release Applying setting for plugin de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: Entry function -> main Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Witness directory -> /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/bin/utaipan-aC7eJsxGYH Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Witness filename -> witness.graphml 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 -> Taipan 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 -> 9900e85a343bc08b56faef7aac8f9272ad00f54ef516e54f6ff40f7d952a426b [2021-11-03 05:04:58,678 INFO L75 nceAwareModelManager]: Repository-Root is: /tmp [2021-11-03 05:04:58,707 INFO L261 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2021-11-03 05:04:58,710 INFO L217 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2021-11-03 05:04:58,712 INFO L271 PluginConnector]: Initializing CDTParser... [2021-11-03 05:04:58,713 INFO L275 PluginConnector]: CDTParser initialized [2021-11-03 05:04:58,714 INFO L432 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/bin/utaipan-aC7eJsxGYH/../../sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i [2021-11-03 05:04:58,781 INFO L220 CDTParser]: Created temporary CDT project at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/bin/utaipan-aC7eJsxGYH/data/c34ec6b00/176e4782b1db46a9847388fd8998658e/FLAGd96720f24 [2021-11-03 05:04:59,935 INFO L306 CDTParser]: Found 1 translation units. [2021-11-03 05:04:59,935 INFO L160 CDTParser]: Scanning /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i [2021-11-03 05:05:00,042 INFO L349 CDTParser]: About to delete temporary CDT project at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/bin/utaipan-aC7eJsxGYH/data/c34ec6b00/176e4782b1db46a9847388fd8998658e/FLAGd96720f24 [2021-11-03 05:05:00,109 INFO L357 CDTParser]: Successfully deleted /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/bin/utaipan-aC7eJsxGYH/data/c34ec6b00/176e4782b1db46a9847388fd8998658e [2021-11-03 05:05:00,112 INFO L299 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2021-11-03 05:05:00,114 INFO L131 ToolchainWalker]: Walking toolchain with 6 elements. [2021-11-03 05:05:00,117 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2021-11-03 05:05:00,118 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2021-11-03 05:05:00,121 INFO L275 PluginConnector]: CACSL2BoogieTranslator initialized [2021-11-03 05:05:00,123 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 03.11 05:05:00" (1/1) ... [2021-11-03 05:05:00,124 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@3debaca5 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 03.11 05:05:00, skipping insertion in model container [2021-11-03 05:05:00,124 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 03.11 05:05:00" (1/1) ... [2021-11-03 05:05:00,131 INFO L145 MainTranslator]: Starting translation in SV-COMP mode [2021-11-03 05:05:00,432 INFO L178 MainTranslator]: Built tables and reachable declarations [2021-11-03 05:05:06,768 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[566986,566999] [2021-11-03 05:05:06,785 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[567131,567144] [2021-11-03 05:05:06,786 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[567277,567290] [2021-11-03 05:05:06,787 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[567442,567455] [2021-11-03 05:05:06,787 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[567600,567613] [2021-11-03 05:05:06,787 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[567758,567771] [2021-11-03 05:05:06,788 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[567916,567929] [2021-11-03 05:05:06,788 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[568076,568089] [2021-11-03 05:05:06,789 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[568235,568248] [2021-11-03 05:05:06,789 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[568374,568387] [2021-11-03 05:05:06,790 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[568516,568529] [2021-11-03 05:05:06,790 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[568665,568678] [2021-11-03 05:05:06,791 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[568804,568817] [2021-11-03 05:05:06,791 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[568959,568972] [2021-11-03 05:05:06,792 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[569119,569132] [2021-11-03 05:05:06,792 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[569270,569283] [2021-11-03 05:05:06,793 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[569421,569434] [2021-11-03 05:05:06,793 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[569573,569586] [2021-11-03 05:05:06,794 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[569722,569735] [2021-11-03 05:05:06,794 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[569870,569883] [2021-11-03 05:05:06,794 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[570027,570040] [2021-11-03 05:05:06,795 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[570176,570189] [2021-11-03 05:05:06,795 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[570332,570345] [2021-11-03 05:05:06,796 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[570485,570498] [2021-11-03 05:05:06,796 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[570631,570644] [2021-11-03 05:05:06,797 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[570774,570787] [2021-11-03 05:05:06,797 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[570926,570939] [2021-11-03 05:05:06,798 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[571072,571085] [2021-11-03 05:05:06,798 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[571217,571230] [2021-11-03 05:05:06,799 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[571371,571384] [2021-11-03 05:05:06,799 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[571522,571535] [2021-11-03 05:05:06,799 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[571677,571690] [2021-11-03 05:05:06,811 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[571829,571842] [2021-11-03 05:05:06,814 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[571984,571997] [2021-11-03 05:05:06,815 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[572148,572161] [2021-11-03 05:05:06,816 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[572304,572317] [2021-11-03 05:05:06,817 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[572468,572481] [2021-11-03 05:05:06,817 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[572610,572623] [2021-11-03 05:05:06,818 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[572768,572781] [2021-11-03 05:05:06,819 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[572935,572948] [2021-11-03 05:05:06,820 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[573094,573107] [2021-11-03 05:05:06,820 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[573253,573266] [2021-11-03 05:05:06,821 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[573402,573415] [2021-11-03 05:05:06,821 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[573549,573562] [2021-11-03 05:05:06,821 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[573688,573701] [2021-11-03 05:05:06,823 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[573851,573864] [2021-11-03 05:05:06,823 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[574017,574030] [2021-11-03 05:05:06,825 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[574181,574194] [2021-11-03 05:05:06,825 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[574346,574359] [2021-11-03 05:05:06,826 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[574511,574524] [2021-11-03 05:05:06,826 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[574677,574690] [2021-11-03 05:05:06,827 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[574842,574855] [2021-11-03 05:05:06,827 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[575009,575022] [2021-11-03 05:05:06,827 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[575169,575182] [2021-11-03 05:05:06,828 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[575331,575344] [2021-11-03 05:05:06,829 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[575490,575503] [2021-11-03 05:05:06,829 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[575636,575649] [2021-11-03 05:05:06,829 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[575779,575792] [2021-11-03 05:05:06,830 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[575923,575936] [2021-11-03 05:05:06,830 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[576066,576079] [2021-11-03 05:05:06,831 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[576210,576223] [2021-11-03 05:05:06,832 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[576351,576364] [2021-11-03 05:05:06,832 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[576489,576502] [2021-11-03 05:05:06,833 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[576647,576660] [2021-11-03 05:05:06,833 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[576806,576819] [2021-11-03 05:05:06,833 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[576962,576975] [2021-11-03 05:05:06,834 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[577111,577124] [2021-11-03 05:05:06,834 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[577263,577276] [2021-11-03 05:05:06,835 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[577414,577427] [2021-11-03 05:05:06,835 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[577563,577576] [2021-11-03 05:05:06,836 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[577715,577728] [2021-11-03 05:05:06,836 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[577863,577876] [2021-11-03 05:05:06,837 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[578016,578029] [2021-11-03 05:05:06,837 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[578167,578180] [2021-11-03 05:05:06,837 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[578317,578330] [2021-11-03 05:05:06,838 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[578464,578477] [2021-11-03 05:05:06,839 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[578615,578628] [2021-11-03 05:05:06,839 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[578766,578779] [2021-11-03 05:05:06,840 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[578914,578927] [2021-11-03 05:05:06,840 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[579080,579093] [2021-11-03 05:05:06,841 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[579249,579262] [2021-11-03 05:05:06,841 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[579416,579429] [2021-11-03 05:05:06,842 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[579584,579597] [2021-11-03 05:05:06,842 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[579734,579747] [2021-11-03 05:05:06,843 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[579881,579894] [2021-11-03 05:05:06,843 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[580042,580055] [2021-11-03 05:05:06,844 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[580212,580225] [2021-11-03 05:05:06,844 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[580374,580387] [2021-11-03 05:05:06,860 INFO L206 PostProcessor]: Analyzing one entry point: main [2021-11-03 05:05:07,001 INFO L200 MainTranslator]: Restarting translation with changed settings: SettingsChange [mNewPreferredMemoryModel=HoenickeLindenmann_1ByteResolution] [2021-11-03 05:05:07,101 INFO L178 MainTranslator]: Built tables and reachable declarations [2021-11-03 05:05:07,725 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[566986,566999] [2021-11-03 05:05:07,725 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[567131,567144] [2021-11-03 05:05:07,726 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[567277,567290] [2021-11-03 05:05:07,726 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[567442,567455] [2021-11-03 05:05:07,727 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[567600,567613] [2021-11-03 05:05:07,727 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[567758,567771] [2021-11-03 05:05:07,728 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[567916,567929] [2021-11-03 05:05:07,728 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[568076,568089] [2021-11-03 05:05:07,729 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[568235,568248] [2021-11-03 05:05:07,729 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[568374,568387] [2021-11-03 05:05:07,729 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[568516,568529] [2021-11-03 05:05:07,730 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[568665,568678] [2021-11-03 05:05:07,730 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[568804,568817] [2021-11-03 05:05:07,731 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[568959,568972] [2021-11-03 05:05:07,731 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[569119,569132] [2021-11-03 05:05:07,732 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[569270,569283] [2021-11-03 05:05:07,732 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[569421,569434] [2021-11-03 05:05:07,732 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[569573,569586] [2021-11-03 05:05:07,733 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[569722,569735] [2021-11-03 05:05:07,733 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[569870,569883] [2021-11-03 05:05:07,734 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[570027,570040] [2021-11-03 05:05:07,734 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[570176,570189] [2021-11-03 05:05:07,734 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[570332,570345] [2021-11-03 05:05:07,735 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[570485,570498] [2021-11-03 05:05:07,735 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[570631,570644] [2021-11-03 05:05:07,736 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[570774,570787] [2021-11-03 05:05:07,736 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[570926,570939] [2021-11-03 05:05:07,736 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[571072,571085] [2021-11-03 05:05:07,737 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[571217,571230] [2021-11-03 05:05:07,737 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[571371,571384] [2021-11-03 05:05:07,738 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[571522,571535] [2021-11-03 05:05:07,738 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[571677,571690] [2021-11-03 05:05:07,739 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[571829,571842] [2021-11-03 05:05:07,739 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[571984,571997] [2021-11-03 05:05:07,739 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[572148,572161] [2021-11-03 05:05:07,740 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[572304,572317] [2021-11-03 05:05:07,740 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[572468,572481] [2021-11-03 05:05:07,741 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[572610,572623] [2021-11-03 05:05:07,741 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[572768,572781] [2021-11-03 05:05:07,741 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[572935,572948] [2021-11-03 05:05:07,742 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[573094,573107] [2021-11-03 05:05:07,742 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[573253,573266] [2021-11-03 05:05:07,743 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[573402,573415] [2021-11-03 05:05:07,743 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[573549,573562] [2021-11-03 05:05:07,743 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[573688,573701] [2021-11-03 05:05:07,744 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[573851,573864] [2021-11-03 05:05:07,744 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[574017,574030] [2021-11-03 05:05:07,745 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[574181,574194] [2021-11-03 05:05:07,745 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[574346,574359] [2021-11-03 05:05:07,745 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[574511,574524] [2021-11-03 05:05:07,746 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[574677,574690] [2021-11-03 05:05:07,746 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[574842,574855] [2021-11-03 05:05:07,747 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[575009,575022] [2021-11-03 05:05:07,747 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[575169,575182] [2021-11-03 05:05:07,748 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[575331,575344] [2021-11-03 05:05:07,748 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[575490,575503] [2021-11-03 05:05:07,748 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[575636,575649] [2021-11-03 05:05:07,749 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[575779,575792] [2021-11-03 05:05:07,749 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[575923,575936] [2021-11-03 05:05:07,750 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[576066,576079] [2021-11-03 05:05:07,750 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[576210,576223] [2021-11-03 05:05:07,750 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[576351,576364] [2021-11-03 05:05:07,751 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[576489,576502] [2021-11-03 05:05:07,751 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[576647,576660] [2021-11-03 05:05:07,752 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[576806,576819] [2021-11-03 05:05:07,752 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[576962,576975] [2021-11-03 05:05:07,753 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[577111,577124] [2021-11-03 05:05:07,753 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[577263,577276] [2021-11-03 05:05:07,753 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[577414,577427] [2021-11-03 05:05:07,754 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[577563,577576] [2021-11-03 05:05:07,754 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[577715,577728] [2021-11-03 05:05:07,755 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[577863,577876] [2021-11-03 05:05:07,755 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[578016,578029] [2021-11-03 05:05:07,755 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[578167,578180] [2021-11-03 05:05:07,756 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[578317,578330] [2021-11-03 05:05:07,756 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[578464,578477] [2021-11-03 05:05:07,757 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[578615,578628] [2021-11-03 05:05:07,757 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[578766,578779] [2021-11-03 05:05:07,757 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[578914,578927] [2021-11-03 05:05:07,758 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[579080,579093] [2021-11-03 05:05:07,758 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[579249,579262] [2021-11-03 05:05:07,759 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[579416,579429] [2021-11-03 05:05:07,759 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[579584,579597] [2021-11-03 05:05:07,760 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[579734,579747] [2021-11-03 05:05:07,760 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[579881,579894] [2021-11-03 05:05:07,760 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[580042,580055] [2021-11-03 05:05:07,761 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[580212,580225] [2021-11-03 05:05:07,761 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[580374,580387] [2021-11-03 05:05:07,766 INFO L206 PostProcessor]: Analyzing one entry point: main [2021-11-03 05:05:07,870 INFO L203 MainTranslator]: Completed pre-run [2021-11-03 05:05:08,665 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[566986,566999] [2021-11-03 05:05:08,666 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[567131,567144] [2021-11-03 05:05:08,666 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[567277,567290] [2021-11-03 05:05:08,667 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[567442,567455] [2021-11-03 05:05:08,667 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[567600,567613] [2021-11-03 05:05:08,667 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[567758,567771] [2021-11-03 05:05:08,668 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[567916,567929] [2021-11-03 05:05:08,668 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[568076,568089] [2021-11-03 05:05:08,668 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[568235,568248] [2021-11-03 05:05:08,669 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[568374,568387] [2021-11-03 05:05:08,669 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[568516,568529] [2021-11-03 05:05:08,670 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[568665,568678] [2021-11-03 05:05:08,681 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[568804,568817] [2021-11-03 05:05:08,683 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[568959,568972] [2021-11-03 05:05:08,684 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[569119,569132] [2021-11-03 05:05:08,684 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[569270,569283] [2021-11-03 05:05:08,684 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[569421,569434] [2021-11-03 05:05:08,685 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[569573,569586] [2021-11-03 05:05:08,685 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[569722,569735] [2021-11-03 05:05:08,685 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[569870,569883] [2021-11-03 05:05:08,686 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[570027,570040] [2021-11-03 05:05:08,686 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[570176,570189] [2021-11-03 05:05:08,686 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[570332,570345] [2021-11-03 05:05:08,687 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[570485,570498] [2021-11-03 05:05:08,687 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[570631,570644] [2021-11-03 05:05:08,687 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[570774,570787] [2021-11-03 05:05:08,705 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[570926,570939] [2021-11-03 05:05:08,705 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[571072,571085] [2021-11-03 05:05:08,706 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[571217,571230] [2021-11-03 05:05:08,706 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[571371,571384] [2021-11-03 05:05:08,706 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[571522,571535] [2021-11-03 05:05:08,707 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[571677,571690] [2021-11-03 05:05:08,707 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[571829,571842] [2021-11-03 05:05:08,707 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[571984,571997] [2021-11-03 05:05:08,708 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[572148,572161] [2021-11-03 05:05:08,708 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[572304,572317] [2021-11-03 05:05:08,709 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[572468,572481] [2021-11-03 05:05:08,709 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[572610,572623] [2021-11-03 05:05:08,709 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[572768,572781] [2021-11-03 05:05:08,710 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[572935,572948] [2021-11-03 05:05:08,711 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[573094,573107] [2021-11-03 05:05:08,711 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[573253,573266] [2021-11-03 05:05:08,712 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[573402,573415] [2021-11-03 05:05:08,713 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[573549,573562] [2021-11-03 05:05:08,713 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[573688,573701] [2021-11-03 05:05:08,714 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[573851,573864] [2021-11-03 05:05:08,714 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[574017,574030] [2021-11-03 05:05:08,715 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[574181,574194] [2021-11-03 05:05:08,715 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[574346,574359] [2021-11-03 05:05:08,715 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[574511,574524] [2021-11-03 05:05:08,716 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[574677,574690] [2021-11-03 05:05:08,718 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[574842,574855] [2021-11-03 05:05:08,718 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[575009,575022] [2021-11-03 05:05:08,719 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[575169,575182] [2021-11-03 05:05:08,719 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[575331,575344] [2021-11-03 05:05:08,719 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[575490,575503] [2021-11-03 05:05:08,720 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[575636,575649] [2021-11-03 05:05:08,720 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[575779,575792] [2021-11-03 05:05:08,720 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[575923,575936] [2021-11-03 05:05:08,721 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[576066,576079] [2021-11-03 05:05:08,721 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[576210,576223] [2021-11-03 05:05:08,721 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[576351,576364] [2021-11-03 05:05:08,722 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[576489,576502] [2021-11-03 05:05:08,722 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[576647,576660] [2021-11-03 05:05:08,722 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[576806,576819] [2021-11-03 05:05:08,723 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[576962,576975] [2021-11-03 05:05:08,723 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[577111,577124] [2021-11-03 05:05:08,723 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[577263,577276] [2021-11-03 05:05:08,724 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[577414,577427] [2021-11-03 05:05:08,724 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[577563,577576] [2021-11-03 05:05:08,724 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[577715,577728] [2021-11-03 05:05:08,731 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[577863,577876] [2021-11-03 05:05:08,732 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[578016,578029] [2021-11-03 05:05:08,732 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[578167,578180] [2021-11-03 05:05:08,732 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[578317,578330] [2021-11-03 05:05:08,748 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[578464,578477] [2021-11-03 05:05:08,751 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[578615,578628] [2021-11-03 05:05:08,752 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[578766,578779] [2021-11-03 05:05:08,752 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[578914,578927] [2021-11-03 05:05:08,753 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[579080,579093] [2021-11-03 05:05:08,761 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[579249,579262] [2021-11-03 05:05:08,762 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[579416,579429] [2021-11-03 05:05:08,763 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[579584,579597] [2021-11-03 05:05:08,763 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[579734,579747] [2021-11-03 05:05:08,763 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[579881,579894] [2021-11-03 05:05:08,764 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[580042,580055] [2021-11-03 05:05:08,764 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[580212,580225] [2021-11-03 05:05:08,764 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--core--fb.ko.cil.i[580374,580387] [2021-11-03 05:05:08,770 INFO L206 PostProcessor]: Analyzing one entry point: main [2021-11-03 05:05:09,318 INFO L208 MainTranslator]: Completed translation [2021-11-03 05:05:09,319 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 03.11 05:05:09 WrapperNode [2021-11-03 05:05:09,319 INFO L132 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2021-11-03 05:05:09,320 INFO L113 PluginConnector]: ------------------------Boogie Procedure Inliner---------------------------- [2021-11-03 05:05:09,320 INFO L271 PluginConnector]: Initializing Boogie Procedure Inliner... [2021-11-03 05:05:09,321 INFO L275 PluginConnector]: Boogie Procedure Inliner initialized [2021-11-03 05:05:09,327 INFO L185 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 03.11 05:05:09" (1/1) ... [2021-11-03 05:05:09,582 INFO L185 PluginConnector]: Executing the observer Inliner from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 03.11 05:05:09" (1/1) ... [2021-11-03 05:05:12,962 INFO L132 PluginConnector]: ------------------------ END Boogie Procedure Inliner---------------------------- [2021-11-03 05:05:12,963 INFO L113 PluginConnector]: ------------------------Boogie Preprocessor---------------------------- [2021-11-03 05:05:12,963 INFO L271 PluginConnector]: Initializing Boogie Preprocessor... [2021-11-03 05:05:12,963 INFO L275 PluginConnector]: Boogie Preprocessor initialized [2021-11-03 05:05:12,972 INFO L185 PluginConnector]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 03.11 05:05:09" (1/1) ... [2021-11-03 05:05:12,972 INFO L185 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 03.11 05:05:09" (1/1) ... [2021-11-03 05:05:14,485 INFO L185 PluginConnector]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 03.11 05:05:09" (1/1) ... [2021-11-03 05:05:14,486 INFO L185 PluginConnector]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 03.11 05:05:09" (1/1) ... [2021-11-03 05:05:17,215 INFO L185 PluginConnector]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 03.11 05:05:09" (1/1) ... [2021-11-03 05:05:17,631 INFO L185 PluginConnector]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 03.11 05:05:09" (1/1) ... [2021-11-03 05:05:17,934 INFO L185 PluginConnector]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 03.11 05:05:09" (1/1) ... [2021-11-03 05:05:18,597 INFO L132 PluginConnector]: ------------------------ END Boogie Preprocessor---------------------------- [2021-11-03 05:05:18,598 INFO L113 PluginConnector]: ------------------------RCFGBuilder---------------------------- [2021-11-03 05:05:18,599 INFO L271 PluginConnector]: Initializing RCFGBuilder... [2021-11-03 05:05:18,599 INFO L275 PluginConnector]: RCFGBuilder initialized [2021-11-03 05:05:18,599 INFO L185 PluginConnector]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 03.11 05:05:09" (1/1) ... [2021-11-03 05:05:18,606 INFO L168 SolverBuilder]: Constructing external solver with command: z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2021-11-03 05:05:18,616 INFO L189 MonitoredProcess]: No working directory specified, using /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/bin/utaipan-aC7eJsxGYH/z3 [2021-11-03 05:05:18,628 INFO L229 MonitoredProcess]: Starting monitored process 1 with /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/bin/utaipan-aC7eJsxGYH/z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 (exit command is (exit), workingDir is null) [2021-11-03 05:05:18,660 INFO L327 MonitoredProcess]: [MP /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_992d8721-e963-4eee-9d1a-032cc3f113b6/bin/utaipan-aC7eJsxGYH/z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 (1)] Waiting until timeout for monitored process [2021-11-03 05:05:18,680 INFO L130 BoogieDeclarations]: Found specification of procedure strncmp [2021-11-03 05:05:18,680 INFO L130 BoogieDeclarations]: Found specification of procedure memcmp [2021-11-03 05:05:18,680 INFO L130 BoogieDeclarations]: Found specification of procedure ##fun~$Pointer$~X~C_INT~TO~C_INT [2021-11-03 05:05:18,680 INFO L138 BoogieDeclarations]: Found implementation of procedure ##fun~$Pointer$~X~C_INT~TO~C_INT [2021-11-03 05:05:18,681 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.allocOnHeap [2021-11-03 05:05:18,681 INFO L130 BoogieDeclarations]: Found specification of procedure write~$Pointer$ [2021-11-03 05:05:18,681 INFO L130 BoogieDeclarations]: Found specification of procedure __bad_percpu_size [2021-11-03 05:05:18,681 INFO L130 BoogieDeclarations]: Found specification of procedure fb_set_logocmap [2021-11-03 05:05:18,681 INFO L138 BoogieDeclarations]: Found implementation of procedure fb_set_logocmap [2021-11-03 05:05:18,681 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.start [2021-11-03 05:05:18,682 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.start [2021-11-03 05:05:18,682 INFO L130 BoogieDeclarations]: Found specification of procedure write~unchecked~$Pointer$ [2021-11-03 05:05:18,682 INFO L130 BoogieDeclarations]: Found specification of procedure fb_release [2021-11-03 05:05:18,682 INFO L138 BoogieDeclarations]: Found implementation of procedure fb_release [2021-11-03 05:05:18,682 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.allocOnStack [2021-11-03 05:05:18,682 INFO L130 BoogieDeclarations]: Found specification of procedure read~$Pointer$ [2021-11-03 05:05:18,683 INFO L130 BoogieDeclarations]: Found specification of procedure fb_mmap [2021-11-03 05:05:18,683 INFO L138 BoogieDeclarations]: Found implementation of procedure fb_mmap [2021-11-03 05:05:18,683 INFO L130 BoogieDeclarations]: Found specification of procedure fb_set_var [2021-11-03 05:05:18,683 INFO L138 BoogieDeclarations]: Found implementation of procedure fb_set_var [2021-11-03 05:05:18,683 INFO L130 BoogieDeclarations]: Found specification of procedure write~unchecked~intINTTYPE4 [2021-11-03 05:05:18,683 INFO L130 BoogieDeclarations]: Found specification of procedure write~unchecked~intINTTYPE2 [2021-11-03 05:05:18,684 INFO L130 BoogieDeclarations]: Found specification of procedure write~unchecked~intINTTYPE1 [2021-11-03 05:05:18,684 INFO L130 BoogieDeclarations]: Found specification of procedure write~unchecked~intINTTYPE8 [2021-11-03 05:05:18,684 INFO L130 BoogieDeclarations]: Found specification of procedure fb_read [2021-11-03 05:05:18,684 INFO L138 BoogieDeclarations]: Found implementation of procedure fb_read [2021-11-03 05:05:18,684 INFO L130 BoogieDeclarations]: Found specification of procedure fb_show_logo [2021-11-03 05:05:18,684 INFO L138 BoogieDeclarations]: Found implementation of procedure fb_show_logo [2021-11-03 05:05:18,684 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.dealloc [2021-11-03 05:05:18,685 INFO L130 BoogieDeclarations]: Found specification of procedure write~init~intINTTYPE2 [2021-11-03 05:05:18,685 INFO L130 BoogieDeclarations]: Found specification of procedure write~init~intINTTYPE1 [2021-11-03 05:05:18,685 INFO L130 BoogieDeclarations]: Found specification of procedure write~init~intINTTYPE4 [2021-11-03 05:05:18,685 INFO L130 BoogieDeclarations]: Found specification of procedure write~init~intINTTYPE8 [2021-11-03 05:05:18,685 INFO L130 BoogieDeclarations]: Found specification of procedure fb_pan_display [2021-11-03 05:05:18,685 INFO L138 BoogieDeclarations]: Found implementation of procedure fb_pan_display [2021-11-03 05:05:18,686 INFO L130 BoogieDeclarations]: Found specification of procedure ##fun~$Pointer$~X~$Pointer$~TO~C_INT [2021-11-03 05:05:18,686 INFO L138 BoogieDeclarations]: Found implementation of procedure ##fun~$Pointer$~X~$Pointer$~TO~C_INT [2021-11-03 05:05:18,686 INFO L130 BoogieDeclarations]: Found specification of procedure fb_show_logo_line [2021-11-03 05:05:18,686 INFO L138 BoogieDeclarations]: Found implementation of procedure fb_show_logo_line [2021-11-03 05:05:18,686 INFO L130 BoogieDeclarations]: Found specification of procedure read~unchecked~intINTTYPE8 [2021-11-03 05:05:18,686 INFO L130 BoogieDeclarations]: Found specification of procedure read~unchecked~intINTTYPE2 [2021-11-03 05:05:18,686 INFO L130 BoogieDeclarations]: Found specification of procedure read~unchecked~intINTTYPE4 [2021-11-03 05:05:18,687 INFO L130 BoogieDeclarations]: Found specification of procedure read~unchecked~intINTTYPE1 [2021-11-03 05:05:18,687 INFO L130 BoogieDeclarations]: Found specification of procedure read~intINTTYPE1 [2021-11-03 05:05:18,687 INFO L130 BoogieDeclarations]: Found specification of procedure read~intINTTYPE8 [2021-11-03 05:05:18,687 INFO L130 BoogieDeclarations]: Found specification of procedure read~intINTTYPE4 [2021-11-03 05:05:18,687 INFO L130 BoogieDeclarations]: Found specification of procedure read~unchecked~$Pointer$ [2021-11-03 05:05:18,687 INFO L130 BoogieDeclarations]: Found specification of procedure read~intINTTYPE2 [2021-11-03 05:05:18,688 INFO L130 BoogieDeclarations]: Found specification of procedure fb_write [2021-11-03 05:05:18,688 INFO L138 BoogieDeclarations]: Found implementation of procedure fb_write [2021-11-03 05:05:18,688 INFO L130 BoogieDeclarations]: Found specification of procedure write~intINTTYPE8 [2021-11-03 05:05:18,688 INFO L130 BoogieDeclarations]: Found specification of procedure write~intINTTYPE1 [2021-11-03 05:05:18,688 INFO L130 BoogieDeclarations]: Found specification of procedure write~intINTTYPE2 [2021-11-03 05:05:18,688 INFO L130 BoogieDeclarations]: Found specification of procedure write~intINTTYPE4 [2021-11-03 05:05:18,688 INFO L130 BoogieDeclarations]: Found specification of procedure write~init~$Pointer$ [2021-11-03 05:05:18,689 INFO L130 BoogieDeclarations]: Found specification of procedure fb_set_cmap [2021-11-03 05:05:18,689 INFO L138 BoogieDeclarations]: Found implementation of procedure fb_set_cmap [2021-11-03 05:05:18,689 INFO L130 BoogieDeclarations]: Found specification of procedure fb_open [2021-11-03 05:05:18,689 INFO L138 BoogieDeclarations]: Found implementation of procedure fb_open [2021-11-03 05:05:18,690 INFO L130 BoogieDeclarations]: Found specification of procedure ##fun~$Pointer$~X~$Pointer$~X~C_LONG~X~$Pointer$~TO~C_LONG [2021-11-03 05:05:18,690 INFO L138 BoogieDeclarations]: Found implementation of procedure ##fun~$Pointer$~X~$Pointer$~X~C_LONG~X~$Pointer$~TO~C_LONG