./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--scsi--hpsa.ko.cil.i --full-output --architecture 64bit -------------------------------------------------------------------------------- Checking for ERROR reachability Using default analysis Version 47ea0209 Calling Ultimate with: /usr/bin/java -Dosgi.configuration.area=/tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/bin/utaipan-UUZaoUuFF8/data/config -Xmx15G -Xms4m -jar /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/bin/utaipan-UUZaoUuFF8/plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/bin/utaipan-UUZaoUuFF8/data -tc /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/bin/utaipan-UUZaoUuFF8/config/TaipanReach.xml -i ../../sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i -s /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/bin/utaipan-UUZaoUuFF8/config/svcomp-Reach-64bit-Taipan_Default.epf --cacsl2boogietranslator.entry.function main --witnessprinter.witness.directory /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/bin/utaipan-UUZaoUuFF8 --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 ad86b5f61667f6417283d0f498ca6c7bf869652a6e3bb3919fb84b08ac15f823 --- Real Ultimate output --- This is Ultimate 0.2.1-dev-47ea020 [2021-11-07 02:23:41,510 INFO L177 SettingsManager]: Resetting all preferences to default values... [2021-11-07 02:23:41,515 INFO L181 SettingsManager]: Resetting UltimateCore preferences to default values [2021-11-07 02:23:41,576 INFO L184 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2021-11-07 02:23:41,577 INFO L181 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2021-11-07 02:23:41,582 INFO L181 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2021-11-07 02:23:41,586 INFO L181 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2021-11-07 02:23:41,591 INFO L181 SettingsManager]: Resetting LassoRanker preferences to default values [2021-11-07 02:23:41,595 INFO L181 SettingsManager]: Resetting Reaching Definitions preferences to default values [2021-11-07 02:23:41,602 INFO L181 SettingsManager]: Resetting SyntaxChecker preferences to default values [2021-11-07 02:23:41,603 INFO L181 SettingsManager]: Resetting Sifa preferences to default values [2021-11-07 02:23:41,606 INFO L184 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2021-11-07 02:23:41,607 INFO L181 SettingsManager]: Resetting LTL2Aut preferences to default values [2021-11-07 02:23:41,610 INFO L181 SettingsManager]: Resetting PEA to Boogie preferences to default values [2021-11-07 02:23:41,612 INFO L181 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2021-11-07 02:23:41,617 INFO L181 SettingsManager]: Resetting ChcToBoogie preferences to default values [2021-11-07 02:23:41,620 INFO L181 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2021-11-07 02:23:41,621 INFO L181 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2021-11-07 02:23:41,625 INFO L181 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2021-11-07 02:23:41,634 INFO L181 SettingsManager]: Resetting CodeCheck preferences to default values [2021-11-07 02:23:41,637 INFO L181 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2021-11-07 02:23:41,639 INFO L181 SettingsManager]: Resetting RCFGBuilder preferences to default values [2021-11-07 02:23:41,643 INFO L181 SettingsManager]: Resetting Referee preferences to default values [2021-11-07 02:23:41,644 INFO L181 SettingsManager]: Resetting TraceAbstraction preferences to default values [2021-11-07 02:23:41,656 INFO L184 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2021-11-07 02:23:41,657 INFO L184 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2021-11-07 02:23:41,658 INFO L181 SettingsManager]: Resetting TreeAutomizer preferences to default values [2021-11-07 02:23:41,660 INFO L181 SettingsManager]: Resetting IcfgToChc preferences to default values [2021-11-07 02:23:41,661 INFO L181 SettingsManager]: Resetting IcfgTransformer preferences to default values [2021-11-07 02:23:41,663 INFO L184 SettingsManager]: ReqToTest provides no preferences, ignoring... [2021-11-07 02:23:41,664 INFO L181 SettingsManager]: Resetting Boogie Printer preferences to default values [2021-11-07 02:23:41,665 INFO L181 SettingsManager]: Resetting ChcSmtPrinter preferences to default values [2021-11-07 02:23:41,668 INFO L181 SettingsManager]: Resetting ReqPrinter preferences to default values [2021-11-07 02:23:41,669 INFO L181 SettingsManager]: Resetting Witness Printer preferences to default values [2021-11-07 02:23:41,671 INFO L184 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2021-11-07 02:23:41,672 INFO L181 SettingsManager]: Resetting CDTParser preferences to default values [2021-11-07 02:23:41,673 INFO L184 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2021-11-07 02:23:41,673 INFO L184 SettingsManager]: ReqParser provides no preferences, ignoring... [2021-11-07 02:23:41,674 INFO L181 SettingsManager]: Resetting SmtParser preferences to default values [2021-11-07 02:23:41,675 INFO L181 SettingsManager]: Resetting Witness Parser preferences to default values [2021-11-07 02:23:41,676 INFO L188 SettingsManager]: Finished resetting all preferences to default values... [2021-11-07 02:23:41,677 INFO L101 SettingsManager]: Beginning loading settings from /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/bin/utaipan-UUZaoUuFF8/config/svcomp-Reach-64bit-Taipan_Default.epf [2021-11-07 02:23:41,730 INFO L113 SettingsManager]: Loading preferences was successful [2021-11-07 02:23:41,731 INFO L115 SettingsManager]: Preferences different from defaults after loading the file: [2021-11-07 02:23:41,733 INFO L136 SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults: [2021-11-07 02:23:41,734 INFO L138 SettingsManager]: * User list type=DISABLED [2021-11-07 02:23:41,734 INFO L136 SettingsManager]: Preferences of Abstract Interpretation differ from their defaults: [2021-11-07 02:23:41,734 INFO L138 SettingsManager]: * Explicit value domain=true [2021-11-07 02:23:41,735 INFO L138 SettingsManager]: * Abstract domain for RCFG-of-the-future=PoormanAbstractDomain [2021-11-07 02:23:41,735 INFO L138 SettingsManager]: * Octagon Domain=false [2021-11-07 02:23:41,735 INFO L138 SettingsManager]: * Abstract domain=CompoundDomain [2021-11-07 02:23:41,736 INFO L138 SettingsManager]: * Check feasibility of abstract posts with an SMT solver=true [2021-11-07 02:23:41,745 INFO L138 SettingsManager]: * Use the RCFG-of-the-future interface=true [2021-11-07 02:23:41,745 INFO L138 SettingsManager]: * Interval Domain=false [2021-11-07 02:23:41,746 INFO L136 SettingsManager]: Preferences of Sifa differ from their defaults: [2021-11-07 02:23:41,746 INFO L138 SettingsManager]: * Call Summarizer=TopInputCallSummarizer [2021-11-07 02:23:41,746 INFO L138 SettingsManager]: * Simplification Technique=SIMPLIFY_QUICK [2021-11-07 02:23:41,749 INFO L136 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2021-11-07 02:23:41,750 INFO L138 SettingsManager]: * Overapproximate operations on floating types=true [2021-11-07 02:23:41,750 INFO L138 SettingsManager]: * Check division by zero=IGNORE [2021-11-07 02:23:41,750 INFO L138 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2021-11-07 02:23:41,751 INFO L138 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2021-11-07 02:23:41,751 INFO L138 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2021-11-07 02:23:41,751 INFO L138 SettingsManager]: * Adapt memory model on pointer casts if necessary=true [2021-11-07 02:23:41,752 INFO L138 SettingsManager]: * Check if freed pointer was valid=false [2021-11-07 02:23:41,752 INFO L138 SettingsManager]: * Use constant arrays=true [2021-11-07 02:23:41,752 INFO L138 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2021-11-07 02:23:41,753 INFO L136 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2021-11-07 02:23:41,753 INFO L138 SettingsManager]: * SMT solver=External_DefaultMode [2021-11-07 02:23:41,754 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2021-11-07 02:23:41,754 INFO L136 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2021-11-07 02:23:41,756 INFO L138 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2021-11-07 02:23:41,757 INFO L138 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2021-11-07 02:23:41,757 INFO L138 SettingsManager]: * Trace refinement strategy=SIFA_TAIPAN [2021-11-07 02:23:41,758 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2021-11-07 02:23:41,758 INFO L138 SettingsManager]: * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true [2021-11-07 02:23:41,759 INFO L138 SettingsManager]: * Trace refinement exception blacklist=NONE [2021-11-07 02:23:41,759 INFO L138 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2021-11-07 02:23:41,759 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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/bin/utaipan-UUZaoUuFF8/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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/bin/utaipan-UUZaoUuFF8 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 -> ad86b5f61667f6417283d0f498ca6c7bf869652a6e3bb3919fb84b08ac15f823 [2021-11-07 02:23:42,096 INFO L75 nceAwareModelManager]: Repository-Root is: /tmp [2021-11-07 02:23:42,144 INFO L261 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2021-11-07 02:23:42,147 INFO L217 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2021-11-07 02:23:42,149 INFO L271 PluginConnector]: Initializing CDTParser... [2021-11-07 02:23:42,150 INFO L275 PluginConnector]: CDTParser initialized [2021-11-07 02:23:42,151 INFO L432 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/bin/utaipan-UUZaoUuFF8/../../sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i [2021-11-07 02:23:42,264 INFO L220 CDTParser]: Created temporary CDT project at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/bin/utaipan-UUZaoUuFF8/data/8fbcdf76f/cb4ad05128c948e381bf36275617798b/FLAG829efdec5 [2021-11-07 02:23:43,688 INFO L306 CDTParser]: Found 1 translation units. [2021-11-07 02:23:43,690 INFO L160 CDTParser]: Scanning /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i [2021-11-07 02:23:43,803 INFO L349 CDTParser]: About to delete temporary CDT project at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/bin/utaipan-UUZaoUuFF8/data/8fbcdf76f/cb4ad05128c948e381bf36275617798b/FLAG829efdec5 [2021-11-07 02:23:44,244 INFO L357 CDTParser]: Successfully deleted /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/bin/utaipan-UUZaoUuFF8/data/8fbcdf76f/cb4ad05128c948e381bf36275617798b [2021-11-07 02:23:44,246 INFO L299 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2021-11-07 02:23:44,248 INFO L131 ToolchainWalker]: Walking toolchain with 6 elements. [2021-11-07 02:23:44,253 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2021-11-07 02:23:44,253 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2021-11-07 02:23:44,257 INFO L275 PluginConnector]: CACSL2BoogieTranslator initialized [2021-11-07 02:23:44,258 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 07.11 02:23:44" (1/1) ... [2021-11-07 02:23:44,259 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@2b57882c and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 07.11 02:23:44, skipping insertion in model container [2021-11-07 02:23:44,260 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 07.11 02:23:44" (1/1) ... [2021-11-07 02:23:44,266 INFO L145 MainTranslator]: Starting translation in SV-COMP mode [2021-11-07 02:23:44,545 INFO L178 MainTranslator]: Built tables and reachable declarations [2021-11-07 02:23:46,858 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:47,993 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:48,835 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:48,846 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:48,871 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:49,322 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:49,333 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:49,560 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:49,574 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:49,589 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:49,604 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:50,197 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:50,300 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:50,300 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:50,364 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:50,366 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:50,403 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:50,664 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:50,758 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:50,791 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:50,794 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:50,835 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:50,847 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:50,850 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:50,851 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:50,853 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:50,853 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:50,853 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:50,856 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:51,137 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:51,148 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:51,192 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:51,230 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:51,232 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:51,257 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:51,298 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:51,350 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:51,379 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:51,380 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:51,406 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:51,407 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:51,422 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:51,423 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:51,523 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:51,527 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:51,528 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:51,567 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:51,661 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:51,697 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:51,767 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:51,769 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:51,823 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:51,825 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:51,976 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:51,976 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:51,977 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:52,193 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:52,196 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:52,216 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:52,238 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:52,358 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:52,380 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:52,380 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:52,401 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:52,402 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:52,405 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:52,407 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:53,452 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:53,453 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:53,453 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:53,454 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:53,455 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:53,455 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:53,456 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:53,456 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:53,457 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:53,458 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:53,458 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:53,459 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:53,459 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:53,459 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:53,460 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:53,460 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:53,461 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:53,461 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:53,461 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:53,462 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:53,472 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:53,476 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:53,476 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:53,477 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:53,482 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:53,485 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:53,543 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:53,854 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:53,927 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:53,988 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:54,000 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:54,103 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:54,114 WARN L563 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2021-11-07 02:23:56,550 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[714057,714070] [2021-11-07 02:23:56,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[714202,714215] [2021-11-07 02:23:56,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[714348,714361] [2021-11-07 02:23:56,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[714513,714526] [2021-11-07 02:23:56,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[714671,714684] [2021-11-07 02:23:56,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[714829,714842] [2021-11-07 02:23:56,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[714987,715000] [2021-11-07 02:23:56,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[715147,715160] [2021-11-07 02:23:56,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[715306,715319] [2021-11-07 02:23:56,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[715445,715458] [2021-11-07 02:23:56,582 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[715587,715600] [2021-11-07 02:23:56,588 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[715736,715749] [2021-11-07 02:23:56,588 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[715875,715888] [2021-11-07 02:23:56,589 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[716030,716043] [2021-11-07 02:23:56,590 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[716190,716203] [2021-11-07 02:23:56,590 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[716341,716354] [2021-11-07 02:23:56,591 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[716492,716505] [2021-11-07 02:23:56,591 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[716644,716657] [2021-11-07 02:23:56,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[716793,716806] [2021-11-07 02:23:56,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[716941,716954] [2021-11-07 02:23:56,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[717098,717111] [2021-11-07 02:23:56,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[717247,717260] [2021-11-07 02:23:56,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[717403,717416] [2021-11-07 02:23:56,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[717556,717569] [2021-11-07 02:23:56,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[717702,717715] [2021-11-07 02:23:56,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[717845,717858] [2021-11-07 02:23:56,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[717997,718010] [2021-11-07 02:23:56,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[718143,718156] [2021-11-07 02:23:56,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[718288,718301] [2021-11-07 02:23:56,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[718442,718455] [2021-11-07 02:23:56,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[718593,718606] [2021-11-07 02:23:56,612 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[718748,718761] [2021-11-07 02:23:56,612 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[718900,718913] [2021-11-07 02:23:56,613 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[719055,719068] [2021-11-07 02:23:56,613 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[719219,719232] [2021-11-07 02:23:56,614 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[719375,719388] [2021-11-07 02:23:56,615 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[719539,719552] [2021-11-07 02:23:56,615 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[719681,719694] [2021-11-07 02:23:56,616 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[719839,719852] [2021-11-07 02:23:56,617 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[720006,720019] [2021-11-07 02:23:56,617 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[720165,720178] [2021-11-07 02:23:56,618 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[720324,720337] [2021-11-07 02:23:56,619 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[720473,720486] [2021-11-07 02:23:56,619 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[720620,720633] [2021-11-07 02:23:56,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[720759,720772] [2021-11-07 02:23:56,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[720922,720935] [2021-11-07 02:23:56,621 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[721088,721101] [2021-11-07 02:23:56,622 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[721252,721265] [2021-11-07 02:23:56,622 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[721417,721430] [2021-11-07 02:23:56,623 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[721582,721595] [2021-11-07 02:23:56,624 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[721748,721761] [2021-11-07 02:23:56,624 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[721913,721926] [2021-11-07 02:23:56,625 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[722080,722093] [2021-11-07 02:23:56,626 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[722240,722253] [2021-11-07 02:23:56,626 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[722402,722415] [2021-11-07 02:23:56,627 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[722561,722574] [2021-11-07 02:23:56,628 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[722707,722720] [2021-11-07 02:23:56,628 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[722850,722863] [2021-11-07 02:23:56,629 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[722994,723007] [2021-11-07 02:23:56,630 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[723137,723150] [2021-11-07 02:23:56,630 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[723281,723294] [2021-11-07 02:23:56,631 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[723422,723435] [2021-11-07 02:23:56,632 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[723560,723573] [2021-11-07 02:23:56,632 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[723718,723731] [2021-11-07 02:23:56,633 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[723877,723890] [2021-11-07 02:23:56,634 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[724033,724046] [2021-11-07 02:23:56,634 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[724182,724195] [2021-11-07 02:23:56,635 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[724334,724347] [2021-11-07 02:23:56,636 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[724485,724498] [2021-11-07 02:23:56,636 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[724634,724647] [2021-11-07 02:23:56,637 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[724786,724799] [2021-11-07 02:23:56,638 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[724934,724947] [2021-11-07 02:23:56,638 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[725087,725100] [2021-11-07 02:23:56,639 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[725238,725251] [2021-11-07 02:23:56,639 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[725388,725401] [2021-11-07 02:23:56,640 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[725535,725548] [2021-11-07 02:23:56,641 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[725686,725699] [2021-11-07 02:23:56,641 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[725837,725850] [2021-11-07 02:23:56,642 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[725985,725998] [2021-11-07 02:23:56,642 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[726151,726164] [2021-11-07 02:23:56,643 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[726320,726333] [2021-11-07 02:23:56,644 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[726487,726500] [2021-11-07 02:23:56,644 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[726655,726668] [2021-11-07 02:23:56,645 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[726805,726818] [2021-11-07 02:23:56,645 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[726952,726965] [2021-11-07 02:23:56,646 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[727113,727126] [2021-11-07 02:23:56,647 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[727283,727296] [2021-11-07 02:23:56,647 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[727445,727458] [2021-11-07 02:23:56,679 INFO L206 PostProcessor]: Analyzing one entry point: main [2021-11-07 02:23:56,761 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-07 02:23:56,762 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.CACSL2BoogieTranslatorObserver@3ae6353d and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 07.11 02:23:56, skipping insertion in model container [2021-11-07 02:23:56,762 INFO L132 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2021-11-07 02:23:56,763 INFO L184 ToolchainWalker]: Toolchain execution was canceled (user or tool) before executing de.uni_freiburg.informatik.ultimate.boogie.procedureinliner [2021-11-07 02:23:56,772 INFO L168 Benchmark]: Toolchain (without parser) took 12516.10 ms. Allocated memory was 136.3 MB in the beginning and 257.9 MB in the end (delta: 121.6 MB). Free memory was 103.3 MB in the beginning and 103.1 MB in the end (delta: 172.2 kB). Peak memory consumption was 123.8 MB. Max. memory is 16.1 GB. [2021-11-07 02:23:56,773 INFO L168 Benchmark]: CDTParser took 0.29 ms. Allocated memory is still 100.7 MB. Free memory is still 53.1 MB. There was no memory consumed. Max. memory is 16.1 GB. [2021-11-07 02:23:56,775 INFO L168 Benchmark]: CACSL2BoogieTranslator took 12510.09 ms. Allocated memory was 136.3 MB in the beginning and 257.9 MB in the end (delta: 121.6 MB). Free memory was 103.3 MB in the beginning and 103.1 MB in the end (delta: 172.2 kB). Peak memory consumption was 123.8 MB. Max. memory is 16.1 GB. [2021-11-07 02:23:56,777 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.29 ms. Allocated memory is still 100.7 MB. Free memory is still 53.1 MB. There was no memory consumed. Max. memory is 16.1 GB. * CACSL2BoogieTranslator took 12510.09 ms. Allocated memory was 136.3 MB in the beginning and 257.9 MB in the end (delta: 121.6 MB). Free memory was 103.3 MB in the beginning and 103.1 MB in the end (delta: 172.2 kB). Peak memory consumption was 123.8 MB. Max. memory is 16.1 GB. * Results from de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: - UnsupportedSyntaxResult [Line: 6038]: 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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/bin/utaipan-UUZaoUuFF8/data/config -Xmx15G -Xms4m -jar /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/bin/utaipan-UUZaoUuFF8/plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/bin/utaipan-UUZaoUuFF8/data -tc /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/bin/utaipan-UUZaoUuFF8/config/TaipanReach.xml -i ../../sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i -s /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/bin/utaipan-UUZaoUuFF8/config/svcomp-Reach-64bit-Taipan_Bitvector.epf --cacsl2boogietranslator.entry.function main --witnessprinter.witness.directory /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/bin/utaipan-UUZaoUuFF8 --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 ad86b5f61667f6417283d0f498ca6c7bf869652a6e3bb3919fb84b08ac15f823 --- Real Ultimate output --- This is Ultimate 0.2.1-dev-47ea020 [2021-11-07 02:23:59,741 INFO L177 SettingsManager]: Resetting all preferences to default values... [2021-11-07 02:23:59,744 INFO L181 SettingsManager]: Resetting UltimateCore preferences to default values [2021-11-07 02:23:59,784 INFO L184 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2021-11-07 02:23:59,785 INFO L181 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2021-11-07 02:23:59,786 INFO L181 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2021-11-07 02:23:59,789 INFO L181 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2021-11-07 02:23:59,799 INFO L181 SettingsManager]: Resetting LassoRanker preferences to default values [2021-11-07 02:23:59,805 INFO L181 SettingsManager]: Resetting Reaching Definitions preferences to default values [2021-11-07 02:23:59,810 INFO L181 SettingsManager]: Resetting SyntaxChecker preferences to default values [2021-11-07 02:23:59,811 INFO L181 SettingsManager]: Resetting Sifa preferences to default values [2021-11-07 02:23:59,814 INFO L184 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2021-11-07 02:23:59,815 INFO L181 SettingsManager]: Resetting LTL2Aut preferences to default values [2021-11-07 02:23:59,824 INFO L181 SettingsManager]: Resetting PEA to Boogie preferences to default values [2021-11-07 02:23:59,827 INFO L181 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2021-11-07 02:23:59,830 INFO L181 SettingsManager]: Resetting ChcToBoogie preferences to default values [2021-11-07 02:23:59,834 INFO L181 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2021-11-07 02:23:59,835 INFO L181 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2021-11-07 02:23:59,842 INFO L181 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2021-11-07 02:23:59,849 INFO L181 SettingsManager]: Resetting CodeCheck preferences to default values [2021-11-07 02:23:59,857 INFO L181 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2021-11-07 02:23:59,859 INFO L181 SettingsManager]: Resetting RCFGBuilder preferences to default values [2021-11-07 02:23:59,861 INFO L181 SettingsManager]: Resetting Referee preferences to default values [2021-11-07 02:23:59,864 INFO L181 SettingsManager]: Resetting TraceAbstraction preferences to default values [2021-11-07 02:23:59,870 INFO L184 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2021-11-07 02:23:59,872 INFO L184 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2021-11-07 02:23:59,873 INFO L181 SettingsManager]: Resetting TreeAutomizer preferences to default values [2021-11-07 02:23:59,874 INFO L181 SettingsManager]: Resetting IcfgToChc preferences to default values [2021-11-07 02:23:59,875 INFO L181 SettingsManager]: Resetting IcfgTransformer preferences to default values [2021-11-07 02:23:59,876 INFO L184 SettingsManager]: ReqToTest provides no preferences, ignoring... [2021-11-07 02:23:59,877 INFO L181 SettingsManager]: Resetting Boogie Printer preferences to default values [2021-11-07 02:23:59,878 INFO L181 SettingsManager]: Resetting ChcSmtPrinter preferences to default values [2021-11-07 02:23:59,880 INFO L181 SettingsManager]: Resetting ReqPrinter preferences to default values [2021-11-07 02:23:59,881 INFO L181 SettingsManager]: Resetting Witness Printer preferences to default values [2021-11-07 02:23:59,882 INFO L184 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2021-11-07 02:23:59,883 INFO L181 SettingsManager]: Resetting CDTParser preferences to default values [2021-11-07 02:23:59,884 INFO L184 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2021-11-07 02:23:59,884 INFO L184 SettingsManager]: ReqParser provides no preferences, ignoring... [2021-11-07 02:23:59,885 INFO L181 SettingsManager]: Resetting SmtParser preferences to default values [2021-11-07 02:23:59,886 INFO L181 SettingsManager]: Resetting Witness Parser preferences to default values [2021-11-07 02:23:59,887 INFO L188 SettingsManager]: Finished resetting all preferences to default values... [2021-11-07 02:23:59,888 INFO L101 SettingsManager]: Beginning loading settings from /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/bin/utaipan-UUZaoUuFF8/config/svcomp-Reach-64bit-Taipan_Bitvector.epf [2021-11-07 02:23:59,938 INFO L113 SettingsManager]: Loading preferences was successful [2021-11-07 02:23:59,939 INFO L115 SettingsManager]: Preferences different from defaults after loading the file: [2021-11-07 02:23:59,940 INFO L136 SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults: [2021-11-07 02:23:59,941 INFO L138 SettingsManager]: * User list type=DISABLED [2021-11-07 02:23:59,941 INFO L136 SettingsManager]: Preferences of Abstract Interpretation differ from their defaults: [2021-11-07 02:23:59,941 INFO L138 SettingsManager]: * Explicit value domain=true [2021-11-07 02:23:59,942 INFO L138 SettingsManager]: * Octagon Domain=false [2021-11-07 02:23:59,942 INFO L138 SettingsManager]: * Abstract domain=CompoundDomain [2021-11-07 02:23:59,942 INFO L138 SettingsManager]: * Interval Domain=false [2021-11-07 02:23:59,943 INFO L136 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2021-11-07 02:23:59,944 INFO L138 SettingsManager]: * Check division by zero=IGNORE [2021-11-07 02:23:59,944 INFO L138 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2021-11-07 02:23:59,944 INFO L138 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2021-11-07 02:23:59,945 INFO L138 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2021-11-07 02:23:59,945 INFO L138 SettingsManager]: * Adapt memory model on pointer casts if necessary=true [2021-11-07 02:23:59,945 INFO L138 SettingsManager]: * Use bitvectors instead of ints=true [2021-11-07 02:23:59,946 INFO L138 SettingsManager]: * Memory model=HoenickeLindenmann_4ByteResolution [2021-11-07 02:23:59,946 INFO L138 SettingsManager]: * Check if freed pointer was valid=false [2021-11-07 02:23:59,946 INFO L138 SettingsManager]: * Use constant arrays=true [2021-11-07 02:23:59,947 INFO L138 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2021-11-07 02:23:59,947 INFO L136 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2021-11-07 02:23:59,947 INFO L138 SettingsManager]: * Size of a code block=SequenceOfStatements [2021-11-07 02:23:59,948 INFO L138 SettingsManager]: * SMT solver=External_DefaultMode [2021-11-07 02:23:59,948 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2021-11-07 02:23:59,948 INFO L136 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2021-11-07 02:23:59,949 INFO L138 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2021-11-07 02:23:59,949 INFO L138 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2021-11-07 02:23:59,949 INFO L138 SettingsManager]: * Trace refinement strategy=WALRUS [2021-11-07 02:23:59,949 INFO L138 SettingsManager]: * Command for external solver=cvc4 --incremental --print-success --lang smt [2021-11-07 02:23:59,950 INFO L138 SettingsManager]: * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true [2021-11-07 02:23:59,950 INFO L138 SettingsManager]: * Trace refinement exception blacklist=NONE [2021-11-07 02:23:59,950 INFO L138 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2021-11-07 02:23:59,951 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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/bin/utaipan-UUZaoUuFF8/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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/bin/utaipan-UUZaoUuFF8 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 -> ad86b5f61667f6417283d0f498ca6c7bf869652a6e3bb3919fb84b08ac15f823 [2021-11-07 02:24:00,390 INFO L75 nceAwareModelManager]: Repository-Root is: /tmp [2021-11-07 02:24:00,418 INFO L261 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2021-11-07 02:24:00,421 INFO L217 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2021-11-07 02:24:00,423 INFO L271 PluginConnector]: Initializing CDTParser... [2021-11-07 02:24:00,424 INFO L275 PluginConnector]: CDTParser initialized [2021-11-07 02:24:00,425 INFO L432 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/bin/utaipan-UUZaoUuFF8/../../sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i [2021-11-07 02:24:00,520 INFO L220 CDTParser]: Created temporary CDT project at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/bin/utaipan-UUZaoUuFF8/data/4ad706384/5a17b1b5febe46a683de36694a9aab6a/FLAG7c2be19b4 [2021-11-07 02:24:02,156 INFO L306 CDTParser]: Found 1 translation units. [2021-11-07 02:24:02,159 INFO L160 CDTParser]: Scanning /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i [2021-11-07 02:24:02,256 INFO L349 CDTParser]: About to delete temporary CDT project at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/bin/utaipan-UUZaoUuFF8/data/4ad706384/5a17b1b5febe46a683de36694a9aab6a/FLAG7c2be19b4 [2021-11-07 02:24:02,572 INFO L357 CDTParser]: Successfully deleted /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/bin/utaipan-UUZaoUuFF8/data/4ad706384/5a17b1b5febe46a683de36694a9aab6a [2021-11-07 02:24:02,575 INFO L299 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2021-11-07 02:24:02,576 INFO L131 ToolchainWalker]: Walking toolchain with 6 elements. [2021-11-07 02:24:02,579 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2021-11-07 02:24:02,580 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2021-11-07 02:24:02,588 INFO L275 PluginConnector]: CACSL2BoogieTranslator initialized [2021-11-07 02:24:02,589 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 07.11 02:24:02" (1/1) ... [2021-11-07 02:24:02,592 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@340c493e and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 07.11 02:24:02, skipping insertion in model container [2021-11-07 02:24:02,593 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 07.11 02:24:02" (1/1) ... [2021-11-07 02:24:02,602 INFO L145 MainTranslator]: Starting translation in SV-COMP mode [2021-11-07 02:24:02,905 INFO L178 MainTranslator]: Built tables and reachable declarations [2021-11-07 02:24:14,516 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[714057,714070] [2021-11-07 02:24:14,520 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[714202,714215] [2021-11-07 02:24:14,521 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[714348,714361] [2021-11-07 02:24:14,522 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[714513,714526] [2021-11-07 02:24:14,522 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[714671,714684] [2021-11-07 02:24:14,523 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[714829,714842] [2021-11-07 02:24:14,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[714987,715000] [2021-11-07 02:24:14,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[715147,715160] [2021-11-07 02:24:14,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[715306,715319] [2021-11-07 02:24:14,526 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[715445,715458] [2021-11-07 02:24:14,527 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[715587,715600] [2021-11-07 02:24:14,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[715736,715749] [2021-11-07 02:24:14,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[715875,715888] [2021-11-07 02:24:14,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[716030,716043] [2021-11-07 02:24:14,530 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[716190,716203] [2021-11-07 02:24:14,530 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[716341,716354] [2021-11-07 02:24:14,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[716492,716505] [2021-11-07 02:24:14,532 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[716644,716657] [2021-11-07 02:24:14,533 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[716793,716806] [2021-11-07 02:24:14,533 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[716941,716954] [2021-11-07 02:24:14,534 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[717098,717111] [2021-11-07 02:24:14,535 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[717247,717260] [2021-11-07 02:24:14,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[717403,717416] [2021-11-07 02:24:14,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[717556,717569] [2021-11-07 02:24:14,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[717702,717715] [2021-11-07 02:24:14,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[717845,717858] [2021-11-07 02:24:14,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[717997,718010] [2021-11-07 02:24:14,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[718143,718156] [2021-11-07 02:24:14,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[718288,718301] [2021-11-07 02:24:14,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[718442,718455] [2021-11-07 02:24:14,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[718593,718606] [2021-11-07 02:24:14,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[718748,718761] [2021-11-07 02:24:14,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[718900,718913] [2021-11-07 02:24:14,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[719055,719068] [2021-11-07 02:24:14,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[719219,719232] [2021-11-07 02:24:14,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[719375,719388] [2021-11-07 02:24:14,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[719539,719552] [2021-11-07 02:24:14,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[719681,719694] [2021-11-07 02:24:14,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[719839,719852] [2021-11-07 02:24:14,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[720006,720019] [2021-11-07 02:24:14,548 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[720165,720178] [2021-11-07 02:24:14,549 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[720324,720337] [2021-11-07 02:24:14,549 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[720473,720486] [2021-11-07 02:24:14,550 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[720620,720633] [2021-11-07 02:24:14,551 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[720759,720772] [2021-11-07 02:24:14,551 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[720922,720935] [2021-11-07 02:24:14,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[721088,721101] [2021-11-07 02:24:14,553 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[721252,721265] [2021-11-07 02:24:14,553 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[721417,721430] [2021-11-07 02:24:14,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[721582,721595] [2021-11-07 02:24:14,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[721748,721761] [2021-11-07 02:24:14,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[721913,721926] [2021-11-07 02:24:14,558 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[722080,722093] [2021-11-07 02:24:14,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[722240,722253] [2021-11-07 02:24:14,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[722402,722415] [2021-11-07 02:24:14,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[722561,722574] [2021-11-07 02:24:14,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[722707,722720] [2021-11-07 02:24:14,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[722850,722863] [2021-11-07 02:24:14,562 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[722994,723007] [2021-11-07 02:24:14,563 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[723137,723150] [2021-11-07 02:24:14,563 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[723281,723294] [2021-11-07 02:24:14,564 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[723422,723435] [2021-11-07 02:24:14,565 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[723560,723573] [2021-11-07 02:24:14,565 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[723718,723731] [2021-11-07 02:24:14,566 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[723877,723890] [2021-11-07 02:24:14,567 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[724033,724046] [2021-11-07 02:24:14,567 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[724182,724195] [2021-11-07 02:24:14,568 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[724334,724347] [2021-11-07 02:24:14,569 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[724485,724498] [2021-11-07 02:24:14,569 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[724634,724647] [2021-11-07 02:24:14,570 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[724786,724799] [2021-11-07 02:24:14,571 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[724934,724947] [2021-11-07 02:24:14,571 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[725087,725100] [2021-11-07 02:24:14,572 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[725238,725251] [2021-11-07 02:24:14,573 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[725388,725401] [2021-11-07 02:24:14,573 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[725535,725548] [2021-11-07 02:24:14,574 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[725686,725699] [2021-11-07 02:24:14,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[725837,725850] [2021-11-07 02:24:14,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[725985,725998] [2021-11-07 02:24:14,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[726151,726164] [2021-11-07 02:24:14,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[726320,726333] [2021-11-07 02:24:14,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[726487,726500] [2021-11-07 02:24:14,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[726655,726668] [2021-11-07 02:24:14,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[726805,726818] [2021-11-07 02:24:14,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[726952,726965] [2021-11-07 02:24:14,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[727113,727126] [2021-11-07 02:24:14,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[727283,727296] [2021-11-07 02:24:14,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[727445,727458] [2021-11-07 02:24:14,611 INFO L206 PostProcessor]: Analyzing one entry point: main [2021-11-07 02:24:14,703 INFO L200 MainTranslator]: Restarting translation with changed settings: SettingsChange [mNewPreferredMemoryModel=HoenickeLindenmann_1ByteResolution] [2021-11-07 02:24:14,860 INFO L178 MainTranslator]: Built tables and reachable declarations [2021-11-07 02:24:16,130 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[714057,714070] [2021-11-07 02:24:16,131 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[714202,714215] [2021-11-07 02:24:16,133 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[714348,714361] [2021-11-07 02:24:16,133 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[714513,714526] [2021-11-07 02:24:16,135 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[714671,714684] [2021-11-07 02:24:16,135 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[714829,714842] [2021-11-07 02:24:16,137 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[714987,715000] [2021-11-07 02:24:16,138 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[715147,715160] [2021-11-07 02:24:16,138 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[715306,715319] [2021-11-07 02:24:16,139 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[715445,715458] [2021-11-07 02:24:16,139 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[715587,715600] [2021-11-07 02:24:16,139 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[715736,715749] [2021-11-07 02:24:16,142 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[715875,715888] [2021-11-07 02:24:16,142 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[716030,716043] [2021-11-07 02:24:16,143 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[716190,716203] [2021-11-07 02:24:16,144 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[716341,716354] [2021-11-07 02:24:16,145 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[716492,716505] [2021-11-07 02:24:16,145 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[716644,716657] [2021-11-07 02:24:16,146 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[716793,716806] [2021-11-07 02:24:16,146 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[716941,716954] [2021-11-07 02:24:16,147 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[717098,717111] [2021-11-07 02:24:16,148 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[717247,717260] [2021-11-07 02:24:16,148 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[717403,717416] [2021-11-07 02:24:16,149 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[717556,717569] [2021-11-07 02:24:16,149 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[717702,717715] [2021-11-07 02:24:16,150 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[717845,717858] [2021-11-07 02:24:16,151 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[717997,718010] [2021-11-07 02:24:16,151 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[718143,718156] [2021-11-07 02:24:16,151 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[718288,718301] [2021-11-07 02:24:16,152 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[718442,718455] [2021-11-07 02:24:16,152 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[718593,718606] [2021-11-07 02:24:16,153 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[718748,718761] [2021-11-07 02:24:16,154 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[718900,718913] [2021-11-07 02:24:16,154 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[719055,719068] [2021-11-07 02:24:16,155 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[719219,719232] [2021-11-07 02:24:16,155 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[719375,719388] [2021-11-07 02:24:16,156 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[719539,719552] [2021-11-07 02:24:16,156 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[719681,719694] [2021-11-07 02:24:16,157 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[719839,719852] [2021-11-07 02:24:16,158 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[720006,720019] [2021-11-07 02:24:16,159 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[720165,720178] [2021-11-07 02:24:16,160 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[720324,720337] [2021-11-07 02:24:16,160 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[720473,720486] [2021-11-07 02:24:16,160 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[720620,720633] [2021-11-07 02:24:16,161 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[720759,720772] [2021-11-07 02:24:16,161 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[720922,720935] [2021-11-07 02:24:16,162 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[721088,721101] [2021-11-07 02:24:16,163 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[721252,721265] [2021-11-07 02:24:16,168 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[721417,721430] [2021-11-07 02:24:16,169 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[721582,721595] [2021-11-07 02:24:16,169 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[721748,721761] [2021-11-07 02:24:16,170 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[721913,721926] [2021-11-07 02:24:16,170 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[722080,722093] [2021-11-07 02:24:16,171 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[722240,722253] [2021-11-07 02:24:16,171 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[722402,722415] [2021-11-07 02:24:16,172 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[722561,722574] [2021-11-07 02:24:16,173 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[722707,722720] [2021-11-07 02:24:16,174 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[722850,722863] [2021-11-07 02:24:16,174 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[722994,723007] [2021-11-07 02:24:16,176 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[723137,723150] [2021-11-07 02:24:16,177 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[723281,723294] [2021-11-07 02:24:16,180 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[723422,723435] [2021-11-07 02:24:16,181 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[723560,723573] [2021-11-07 02:24:16,181 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[723718,723731] [2021-11-07 02:24:16,182 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[723877,723890] [2021-11-07 02:24:16,182 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[724033,724046] [2021-11-07 02:24:16,184 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[724182,724195] [2021-11-07 02:24:16,184 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[724334,724347] [2021-11-07 02:24:16,184 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[724485,724498] [2021-11-07 02:24:16,185 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[724634,724647] [2021-11-07 02:24:16,192 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[724786,724799] [2021-11-07 02:24:16,193 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[724934,724947] [2021-11-07 02:24:16,193 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[725087,725100] [2021-11-07 02:24:16,193 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[725238,725251] [2021-11-07 02:24:16,194 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[725388,725401] [2021-11-07 02:24:16,194 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[725535,725548] [2021-11-07 02:24:16,195 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[725686,725699] [2021-11-07 02:24:16,195 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[725837,725850] [2021-11-07 02:24:16,197 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[725985,725998] [2021-11-07 02:24:16,198 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[726151,726164] [2021-11-07 02:24:16,198 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[726320,726333] [2021-11-07 02:24:16,199 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[726487,726500] [2021-11-07 02:24:16,200 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[726655,726668] [2021-11-07 02:24:16,200 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[726805,726818] [2021-11-07 02:24:16,201 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[726952,726965] [2021-11-07 02:24:16,201 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[727113,727126] [2021-11-07 02:24:16,201 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[727283,727296] [2021-11-07 02:24:16,202 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[727445,727458] [2021-11-07 02:24:16,208 INFO L206 PostProcessor]: Analyzing one entry point: main [2021-11-07 02:24:16,260 INFO L203 MainTranslator]: Completed pre-run [2021-11-07 02:24:17,572 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[714057,714070] [2021-11-07 02:24:17,573 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[714202,714215] [2021-11-07 02:24:17,574 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[714348,714361] [2021-11-07 02:24:17,574 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[714513,714526] [2021-11-07 02:24:17,574 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[714671,714684] [2021-11-07 02:24:17,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[714829,714842] [2021-11-07 02:24:17,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[714987,715000] [2021-11-07 02:24:17,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[715147,715160] [2021-11-07 02:24:17,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[715306,715319] [2021-11-07 02:24:17,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[715445,715458] [2021-11-07 02:24:17,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[715587,715600] [2021-11-07 02:24:17,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[715736,715749] [2021-11-07 02:24:17,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[715875,715888] [2021-11-07 02:24:17,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[716030,716043] [2021-11-07 02:24:17,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[716190,716203] [2021-11-07 02:24:17,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[716341,716354] [2021-11-07 02:24:17,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[716492,716505] [2021-11-07 02:24:17,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[716644,716657] [2021-11-07 02:24:17,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[716793,716806] [2021-11-07 02:24:17,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[716941,716954] [2021-11-07 02:24:17,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[717098,717111] [2021-11-07 02:24:17,582 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[717247,717260] [2021-11-07 02:24:17,582 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[717403,717416] [2021-11-07 02:24:17,583 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[717556,717569] [2021-11-07 02:24:17,583 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[717702,717715] [2021-11-07 02:24:17,584 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[717845,717858] [2021-11-07 02:24:17,587 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[717997,718010] [2021-11-07 02:24:17,588 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[718143,718156] [2021-11-07 02:24:17,588 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[718288,718301] [2021-11-07 02:24:17,588 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[718442,718455] [2021-11-07 02:24:17,589 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[718593,718606] [2021-11-07 02:24:17,589 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[718748,718761] [2021-11-07 02:24:17,590 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[718900,718913] [2021-11-07 02:24:17,590 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[719055,719068] [2021-11-07 02:24:17,590 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[719219,719232] [2021-11-07 02:24:17,591 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[719375,719388] [2021-11-07 02:24:17,592 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[719539,719552] [2021-11-07 02:24:17,592 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[719681,719694] [2021-11-07 02:24:17,592 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[719839,719852] [2021-11-07 02:24:17,594 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[720006,720019] [2021-11-07 02:24:17,595 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[720165,720178] [2021-11-07 02:24:17,595 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[720324,720337] [2021-11-07 02:24:17,595 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[720473,720486] [2021-11-07 02:24:17,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[720620,720633] [2021-11-07 02:24:17,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[720759,720772] [2021-11-07 02:24:17,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[720922,720935] [2021-11-07 02:24:17,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[721088,721101] [2021-11-07 02:24:17,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[721252,721265] [2021-11-07 02:24:17,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[721417,721430] [2021-11-07 02:24:17,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[721582,721595] [2021-11-07 02:24:17,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[721748,721761] [2021-11-07 02:24:17,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[721913,721926] [2021-11-07 02:24:17,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[722080,722093] [2021-11-07 02:24:17,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[722240,722253] [2021-11-07 02:24:17,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[722402,722415] [2021-11-07 02:24:17,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[722561,722574] [2021-11-07 02:24:17,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[722707,722720] [2021-11-07 02:24:17,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[722850,722863] [2021-11-07 02:24:17,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[722994,723007] [2021-11-07 02:24:17,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[723137,723150] [2021-11-07 02:24:17,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[723281,723294] [2021-11-07 02:24:17,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[723422,723435] [2021-11-07 02:24:17,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[723560,723573] [2021-11-07 02:24:17,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[723718,723731] [2021-11-07 02:24:17,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[723877,723890] [2021-11-07 02:24:17,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[724033,724046] [2021-11-07 02:24:17,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[724182,724195] [2021-11-07 02:24:17,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[724334,724347] [2021-11-07 02:24:17,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[724485,724498] [2021-11-07 02:24:17,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[724634,724647] [2021-11-07 02:24:17,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[724786,724799] [2021-11-07 02:24:17,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_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[724934,724947] [2021-11-07 02:24:17,612 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[725087,725100] [2021-11-07 02:24:17,612 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[725238,725251] [2021-11-07 02:24:17,613 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[725388,725401] [2021-11-07 02:24:17,613 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[725535,725548] [2021-11-07 02:24:17,614 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[725686,725699] [2021-11-07 02:24:17,614 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[725837,725850] [2021-11-07 02:24:17,615 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[725985,725998] [2021-11-07 02:24:17,621 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[726151,726164] [2021-11-07 02:24:17,626 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[726320,726333] [2021-11-07 02:24:17,629 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[726487,726500] [2021-11-07 02:24:17,629 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[726655,726668] [2021-11-07 02:24:17,630 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[726805,726818] [2021-11-07 02:24:17,630 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[726952,726965] [2021-11-07 02:24:17,631 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[727113,727126] [2021-11-07 02:24:17,631 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[727283,727296] [2021-11-07 02:24:17,631 WARN L228 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_8fde2fe5-211e-4ad7-98ff-5c4bd7d9696f/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--hpsa.ko.cil.i[727445,727458] [2021-11-07 02:24:17,638 INFO L206 PostProcessor]: Analyzing one entry point: main [2021-11-07 02:24:18,398 INFO L208 MainTranslator]: Completed translation [2021-11-07 02:24:18,399 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 07.11 02:24:18 WrapperNode [2021-11-07 02:24:18,399 INFO L132 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2021-11-07 02:24:18,401 INFO L113 PluginConnector]: ------------------------Boogie Procedure Inliner---------------------------- [2021-11-07 02:24:18,401 INFO L271 PluginConnector]: Initializing Boogie Procedure Inliner... [2021-11-07 02:24:18,401 INFO L275 PluginConnector]: Boogie Procedure Inliner initialized [2021-11-07 02:24:18,410 INFO L185 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 07.11 02:24:18" (1/1) ... [2021-11-07 02:24:18,846 INFO L185 PluginConnector]: Executing the observer Inliner from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 07.11 02:24:18" (1/1) ...