./Ultimate.py --spec ../../sv-benchmarks/c/properties/unreach-call.prp --file ../../sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i --full-output --architecture 64bit
--------------------------------------------------------------------------------
Checking for ERROR reachability
Using default analysis
Version d790fecc
Calling Ultimate with: /usr/bin/java -Dosgi.configuration.area=/tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/bin/uautomizer-verify-84ZbGMXZE1/data/config -Xmx15G -Xms4m -jar /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/bin/uautomizer-verify-84ZbGMXZE1/plugins/org.eclipse.equinox.launcher_1.6.800.v20240513-1750.jar -data @noDefault -ultimatedata /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/bin/uautomizer-verify-84ZbGMXZE1/data -tc /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/bin/uautomizer-verify-84ZbGMXZE1/config/AutomizerReach.xml -i ../../sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i -s /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/bin/uautomizer-verify-84ZbGMXZE1/config/svcomp-Reach-64bit-Automizer_Default.epf --cacsl2boogietranslator.entry.function main --witnessprinter.witness.directory /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/bin/uautomizer-verify-84ZbGMXZE1 --witnessprinter.witness.filename witness --witnessprinter.write.witness.besides.input.file false --witnessprinter.graph.data.specification CHECK( init(main()), LTL(G ! call(reach_error())) )
--witnessprinter.graph.data.producer Automizer --witnessprinter.graph.data.architecture 64bit --witnessprinter.graph.data.programhash 60b3c577fa65970bc54a66f3c47d776002fb71c3b88171fe0d06c29869c37698
--- Real Ultimate output ---
This is Ultimate 0.3.0-dev-d790fec
[2024-12-02 06:19:50,996 INFO L188 SettingsManager]: Resetting all preferences to default values...
[2024-12-02 06:19:51,050 INFO L114 SettingsManager]: Loading settings from /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/bin/uautomizer-verify-84ZbGMXZE1/config/svcomp-Reach-64bit-Automizer_Default.epf
[2024-12-02 06:19:51,055 WARN L101 SettingsManager]: Preference file contains the following unknown settings:
[2024-12-02 06:19:51,056 WARN L103 SettingsManager]: * de.uni_freiburg.informatik.ultimate.core.Log level for class
[2024-12-02 06:19:51,077 INFO L130 SettingsManager]: Preferences different from defaults after loading the file:
[2024-12-02 06:19:51,078 INFO L151 SettingsManager]: Preferences of UltimateCore differ from their defaults:
[2024-12-02 06:19:51,078 INFO L153 SettingsManager]: * Log level for class=de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=ERROR;
[2024-12-02 06:19:51,078 INFO L151 SettingsManager]: Preferences of Boogie Preprocessor differ from their defaults:
[2024-12-02 06:19:51,078 INFO L153 SettingsManager]: * Use memory slicer=true
[2024-12-02 06:19:51,079 INFO L151 SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults:
[2024-12-02 06:19:51,079 INFO L153 SettingsManager]: * Ignore calls to procedures called more than once=ONLY_FOR_SEQUENTIAL_PROGRAMS
[2024-12-02 06:19:51,079 INFO L151 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults:
[2024-12-02 06:19:51,079 INFO L153 SettingsManager]: * Create parallel compositions if possible=false
[2024-12-02 06:19:51,079 INFO L153 SettingsManager]: * Use SBE=true
[2024-12-02 06:19:51,079 INFO L151 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults:
[2024-12-02 06:19:51,079 INFO L153 SettingsManager]: * Pointer base address is valid at dereference=IGNORE
[2024-12-02 06:19:51,079 INFO L153 SettingsManager]: * Overapproximate operations on floating types=true
[2024-12-02 06:19:51,080 INFO L153 SettingsManager]: * Check division by zero=IGNORE
[2024-12-02 06:19:51,080 INFO L153 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE
[2024-12-02 06:19:51,080 INFO L153 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE
[2024-12-02 06:19:51,080 INFO L153 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE
[2024-12-02 06:19:51,080 INFO L153 SettingsManager]: * Check if freed pointer was valid=false
[2024-12-02 06:19:51,080 INFO L153 SettingsManager]: * Behaviour of calls to undefined functions=OVERAPPROXIMATE_BEHAVIOUR
[2024-12-02 06:19:51,080 INFO L153 SettingsManager]: * Use constant arrays=true
[2024-12-02 06:19:51,080 INFO L151 SettingsManager]: Preferences of IcfgBuilder differ from their defaults:
[2024-12-02 06:19:51,080 INFO L153 SettingsManager]: * Size of a code block=SequenceOfStatements
[2024-12-02 06:19:51,080 INFO L153 SettingsManager]: * Only consider context switches at boundaries of atomic blocks=true
[2024-12-02 06:19:51,080 INFO L153 SettingsManager]: * SMT solver=External_DefaultMode
[2024-12-02 06:19:51,080 INFO L153 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:4000
[2024-12-02 06:19:51,081 INFO L151 SettingsManager]: Preferences of RCFGBuilder differ from their defaults:
[2024-12-02 06:19:51,081 INFO L153 SettingsManager]: * Size of a code block=SequenceOfStatements
[2024-12-02 06:19:51,081 INFO L153 SettingsManager]: * Only consider context switches at boundaries of atomic blocks=true
[2024-12-02 06:19:51,081 INFO L153 SettingsManager]: * SMT solver=External_DefaultMode
[2024-12-02 06:19:51,081 INFO L153 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:4000
[2024-12-02 06:19:51,081 INFO L151 SettingsManager]: Preferences of TraceAbstraction differ from their defaults:
[2024-12-02 06:19:51,081 INFO L153 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP
[2024-12-02 06:19:51,081 INFO L153 SettingsManager]: * Compute procedure contracts=false
[2024-12-02 06:19:51,081 INFO L153 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopHeads
[2024-12-02 06:19:51,081 INFO L153 SettingsManager]: * Trace refinement strategy=CAMEL
[2024-12-02 06:19:51,081 INFO L153 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in
[2024-12-02 06:19:51,082 INFO L153 SettingsManager]: * Apply one-shot large block encoding in concurrent analysis=false
[2024-12-02 06:19:51,082 INFO L153 SettingsManager]: * Automaton type used in concurrency analysis=PETRI_NET
[2024-12-02 06:19:51,082 INFO L153 SettingsManager]: * Order on configurations for Petri net unfoldings=DBO
[2024-12-02 06:19:51,082 INFO L153 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode
[2024-12-02 06:19:51,082 INFO L153 SettingsManager]: * Looper check in Petri net analysis=SEMANTIC
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_86af85e1-e085-47ea-93c1-9c0224e69315/bin/uautomizer-verify-84ZbGMXZE1
Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Witness filename -> witness
Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Write witness besides input file -> false
Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data specification -> CHECK( init(main()), LTL(G ! call(reach_error())) )
Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data producer -> Automizer
Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data architecture -> 64bit
Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data programhash -> 60b3c577fa65970bc54a66f3c47d776002fb71c3b88171fe0d06c29869c37698
[2024-12-02 06:19:51,313 INFO L75 nceAwareModelManager]: Repository-Root is: /tmp
[2024-12-02 06:19:51,321 INFO L261 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized
[2024-12-02 06:19:51,324 INFO L217 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected.
[2024-12-02 06:19:51,325 INFO L270 PluginConnector]: Initializing CDTParser...
[2024-12-02 06:19:51,325 INFO L274 PluginConnector]: CDTParser initialized
[2024-12-02 06:19:51,326 INFO L431 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/bin/uautomizer-verify-84ZbGMXZE1/../../sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i
[2024-12-02 06:19:54,099 INFO L533 CDTParser]: Created temporary CDT project at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/bin/uautomizer-verify-84ZbGMXZE1/data/c4aa8aadc/23ffeefe799b4cbfb1b5c3447fbd5901/FLAGcee241b37
[2024-12-02 06:19:55,427 INFO L384 CDTParser]: Found 1 translation units.
[2024-12-02 06:19:55,427 INFO L180 CDTParser]: Scanning /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i
[2024-12-02 06:19:55,536 INFO L427 CDTParser]: About to delete temporary CDT project at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/bin/uautomizer-verify-84ZbGMXZE1/data/c4aa8aadc/23ffeefe799b4cbfb1b5c3447fbd5901/FLAGcee241b37
[2024-12-02 06:19:55,675 INFO L435 CDTParser]: Successfully deleted /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/bin/uautomizer-verify-84ZbGMXZE1/data/c4aa8aadc/23ffeefe799b4cbfb1b5c3447fbd5901
[2024-12-02 06:19:55,676 INFO L299 ainManager$Toolchain]: ####################### [Toolchain 1] #######################
[2024-12-02 06:19:55,677 INFO L133 ToolchainWalker]: Walking toolchain with 6 elements.
[2024-12-02 06:19:55,678 INFO L112 PluginConnector]: ------------------------CACSL2BoogieTranslator----------------------------
[2024-12-02 06:19:55,678 INFO L270 PluginConnector]: Initializing CACSL2BoogieTranslator...
[2024-12-02 06:19:55,681 INFO L274 PluginConnector]: CACSL2BoogieTranslator initialized
[2024-12-02 06:19:55,682 INFO L184 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 02.12 06:19:55" (1/1) ...
[2024-12-02 06:19:55,682 INFO L204 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@7de49d60 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 02.12 06:19:55, skipping insertion in model container
[2024-12-02 06:19:55,683 INFO L184 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 02.12 06:19:55" (1/1) ...
[2024-12-02 06:19:56,096 INFO L175 MainTranslator]: Built tables and reachable declarations
[2024-12-02 06:19:56,487 ERROR L321 MainTranslator]: Unsupported Syntax: floats in unions are not supported in the integer translation.
[2024-12-02 06:19:56,488 INFO L204 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.CACSL2BoogieTranslatorObserver@26327f2d and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 02.12 06:19:56, skipping insertion in model container
[2024-12-02 06:19:56,488 INFO L131 PluginConnector]: ------------------------ END CACSL2BoogieTranslator----------------------------
[2024-12-02 06:19:56,488 INFO L186 ToolchainWalker]: Toolchain execution was canceled (user or tool) before executing de.uni_freiburg.informatik.ultimate.boogie.procedureinliner
[2024-12-02 06:19:56,490 INFO L158 Benchmark]: Toolchain (without parser) took 811.80ms. Allocated memory was 142.6MB in the beginning and 327.2MB in the end (delta: 184.5MB). Free memory was 79.2MB in the beginning and 184.5MB in the end (delta: -105.3MB). Peak memory consumption was 77.7MB. Max. memory is 16.1GB.
[2024-12-02 06:19:56,490 INFO L158 Benchmark]: CDTParser took 0.50ms. Allocated memory is still 142.6MB. Free memory is still 83.0MB. There was no memory consumed. Max. memory is 16.1GB.
[2024-12-02 06:19:56,491 INFO L158 Benchmark]: CACSL2BoogieTranslator took 810.04ms. Allocated memory was 142.6MB in the beginning and 327.2MB in the end (delta: 184.5MB). Free memory was 79.2MB in the beginning and 184.5MB in the end (delta: -105.3MB). Peak memory consumption was 77.7MB. Max. memory is 16.1GB.
[2024-12-02 06:19:56,491 INFO L338 ainManager$Toolchain]: ####################### End [Toolchain 1] #######################
--- Results ---
* Results from de.uni_freiburg.informatik.ultimate.core:
- StatisticsResult: Toolchain Benchmarks
Benchmark results are:
* CDTParser took 0.50ms. Allocated memory is still 142.6MB. Free memory is still 83.0MB. There was no memory consumed. Max. memory is 16.1GB.
* CACSL2BoogieTranslator took 810.04ms. Allocated memory was 142.6MB in the beginning and 327.2MB in the end (delta: 184.5MB). Free memory was 79.2MB in the beginning and 184.5MB in the end (delta: -105.3MB). Peak memory consumption was 77.7MB. Max. memory is 16.1GB.
* Results from de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator:
- UnsupportedSyntaxResult [Line: 1183]: Unsupported Syntax
floats in unions are not supported in the integer 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_86af85e1-e085-47ea-93c1-9c0224e69315/bin/uautomizer-verify-84ZbGMXZE1/data/config -Xmx15G -Xms4m -jar /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/bin/uautomizer-verify-84ZbGMXZE1/plugins/org.eclipse.equinox.launcher_1.6.800.v20240513-1750.jar -data @noDefault -ultimatedata /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/bin/uautomizer-verify-84ZbGMXZE1/data -tc /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/bin/uautomizer-verify-84ZbGMXZE1/config/AutomizerReach.xml -i ../../sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i -s /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/bin/uautomizer-verify-84ZbGMXZE1/config/svcomp-Reach-64bit-Automizer_Bitvector.epf --cacsl2boogietranslator.entry.function main --witnessprinter.witness.directory /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/bin/uautomizer-verify-84ZbGMXZE1 --witnessprinter.witness.filename witness --witnessprinter.write.witness.besides.input.file false --witnessprinter.graph.data.specification CHECK( init(main()), LTL(G ! call(reach_error())) )
--witnessprinter.graph.data.producer Automizer --witnessprinter.graph.data.architecture 64bit --witnessprinter.graph.data.programhash 60b3c577fa65970bc54a66f3c47d776002fb71c3b88171fe0d06c29869c37698
--- Real Ultimate output ---
This is Ultimate 0.3.0-dev-d790fec
[2024-12-02 06:19:58,253 INFO L188 SettingsManager]: Resetting all preferences to default values...
[2024-12-02 06:19:58,326 INFO L114 SettingsManager]: Loading settings from /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/bin/uautomizer-verify-84ZbGMXZE1/config/svcomp-Reach-64bit-Automizer_Bitvector.epf
[2024-12-02 06:19:58,332 WARN L101 SettingsManager]: Preference file contains the following unknown settings:
[2024-12-02 06:19:58,332 WARN L103 SettingsManager]: * de.uni_freiburg.informatik.ultimate.core.Log level for class
[2024-12-02 06:19:58,354 INFO L130 SettingsManager]: Preferences different from defaults after loading the file:
[2024-12-02 06:19:58,355 INFO L151 SettingsManager]: Preferences of UltimateCore differ from their defaults:
[2024-12-02 06:19:58,355 INFO L153 SettingsManager]: * Log level for class=de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=ERROR;
[2024-12-02 06:19:58,355 INFO L151 SettingsManager]: Preferences of Boogie Preprocessor differ from their defaults:
[2024-12-02 06:19:58,355 INFO L153 SettingsManager]: * Use memory slicer=true
[2024-12-02 06:19:58,355 INFO L151 SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults:
[2024-12-02 06:19:58,355 INFO L153 SettingsManager]: * Ignore calls to procedures called more than once=ONLY_FOR_SEQUENTIAL_PROGRAMS
[2024-12-02 06:19:58,356 INFO L151 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults:
[2024-12-02 06:19:58,356 INFO L153 SettingsManager]: * Create parallel compositions if possible=false
[2024-12-02 06:19:58,356 INFO L153 SettingsManager]: * Use SBE=true
[2024-12-02 06:19:58,356 INFO L151 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults:
[2024-12-02 06:19:58,356 INFO L153 SettingsManager]: * Pointer base address is valid at dereference=IGNORE
[2024-12-02 06:19:58,356 INFO L153 SettingsManager]: * Check division by zero=IGNORE
[2024-12-02 06:19:58,356 INFO L153 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE
[2024-12-02 06:19:58,356 INFO L153 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE
[2024-12-02 06:19:58,356 INFO L153 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE
[2024-12-02 06:19:58,356 INFO L153 SettingsManager]: * Adapt memory model on pointer casts if necessary=true
[2024-12-02 06:19:58,357 INFO L153 SettingsManager]: * Use bitvectors instead of ints=true
[2024-12-02 06:19:58,357 INFO L153 SettingsManager]: * Memory model=HoenickeLindenmann_4ByteResolution
[2024-12-02 06:19:58,357 INFO L153 SettingsManager]: * Check if freed pointer was valid=false
[2024-12-02 06:19:58,357 INFO L153 SettingsManager]: * Behaviour of calls to undefined functions=OVERAPPROXIMATE_BEHAVIOUR
[2024-12-02 06:19:58,357 INFO L153 SettingsManager]: * Use constant arrays=true
[2024-12-02 06:19:58,357 INFO L151 SettingsManager]: Preferences of IcfgBuilder differ from their defaults:
[2024-12-02 06:19:58,357 INFO L153 SettingsManager]: * Size of a code block=SequenceOfStatements
[2024-12-02 06:19:58,357 INFO L153 SettingsManager]: * Only consider context switches at boundaries of atomic blocks=true
[2024-12-02 06:19:58,357 INFO L153 SettingsManager]: * SMT solver=External_DefaultMode
[2024-12-02 06:19:58,357 INFO L153 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:4000
[2024-12-02 06:19:58,357 INFO L151 SettingsManager]: Preferences of RCFGBuilder differ from their defaults:
[2024-12-02 06:19:58,358 INFO L153 SettingsManager]: * Size of a code block=SequenceOfStatements
[2024-12-02 06:19:58,358 INFO L153 SettingsManager]: * Only consider context switches at boundaries of atomic blocks=true
[2024-12-02 06:19:58,358 INFO L153 SettingsManager]: * SMT solver=External_DefaultMode
[2024-12-02 06:19:58,358 INFO L153 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:4000
[2024-12-02 06:19:58,358 INFO L151 SettingsManager]: Preferences of TraceAbstraction differ from their defaults:
[2024-12-02 06:19:58,358 INFO L153 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP
[2024-12-02 06:19:58,358 INFO L153 SettingsManager]: * Compute procedure contracts=false
[2024-12-02 06:19:58,358 INFO L153 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopHeads
[2024-12-02 06:19:58,358 INFO L153 SettingsManager]: * Trace refinement strategy=FOX
[2024-12-02 06:19:58,358 INFO L153 SettingsManager]: * Command for external solver=cvc4 --incremental --print-success --lang smt
[2024-12-02 06:19:58,358 INFO L153 SettingsManager]: * Apply one-shot large block encoding in concurrent analysis=false
[2024-12-02 06:19:58,359 INFO L153 SettingsManager]: * Automaton type used in concurrency analysis=PETRI_NET
[2024-12-02 06:19:58,359 INFO L153 SettingsManager]: * Order on configurations for Petri net unfoldings=DBO
[2024-12-02 06:19:58,359 INFO L153 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode
[2024-12-02 06:19:58,359 INFO L153 SettingsManager]: * Looper check in Petri net analysis=SEMANTIC
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_86af85e1-e085-47ea-93c1-9c0224e69315/bin/uautomizer-verify-84ZbGMXZE1
Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Witness filename -> witness
Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Write witness besides input file -> false
Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data specification -> CHECK( init(main()), LTL(G ! call(reach_error())) )
Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data producer -> Automizer
Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data architecture -> 64bit
Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data programhash -> 60b3c577fa65970bc54a66f3c47d776002fb71c3b88171fe0d06c29869c37698
[2024-12-02 06:19:58,585 INFO L75 nceAwareModelManager]: Repository-Root is: /tmp
[2024-12-02 06:19:58,594 INFO L261 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized
[2024-12-02 06:19:58,596 INFO L217 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected.
[2024-12-02 06:19:58,597 INFO L270 PluginConnector]: Initializing CDTParser...
[2024-12-02 06:19:58,598 INFO L274 PluginConnector]: CDTParser initialized
[2024-12-02 06:19:58,599 INFO L431 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/bin/uautomizer-verify-84ZbGMXZE1/../../sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i
[2024-12-02 06:20:01,340 INFO L533 CDTParser]: Created temporary CDT project at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/bin/uautomizer-verify-84ZbGMXZE1/data/405bec09d/7ea95c25d539447cad2d5e0bca686c31/FLAG26e9f9ae6
[2024-12-02 06:20:02,724 INFO L384 CDTParser]: Found 1 translation units.
[2024-12-02 06:20:02,725 INFO L180 CDTParser]: Scanning /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i
[2024-12-02 06:20:02,842 INFO L427 CDTParser]: About to delete temporary CDT project at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/bin/uautomizer-verify-84ZbGMXZE1/data/405bec09d/7ea95c25d539447cad2d5e0bca686c31/FLAG26e9f9ae6
[2024-12-02 06:20:02,853 INFO L435 CDTParser]: Successfully deleted /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/bin/uautomizer-verify-84ZbGMXZE1/data/405bec09d/7ea95c25d539447cad2d5e0bca686c31
[2024-12-02 06:20:02,855 INFO L299 ainManager$Toolchain]: ####################### [Toolchain 1] #######################
[2024-12-02 06:20:02,856 INFO L133 ToolchainWalker]: Walking toolchain with 6 elements.
[2024-12-02 06:20:02,857 INFO L112 PluginConnector]: ------------------------CACSL2BoogieTranslator----------------------------
[2024-12-02 06:20:02,858 INFO L270 PluginConnector]: Initializing CACSL2BoogieTranslator...
[2024-12-02 06:20:02,861 INFO L274 PluginConnector]: CACSL2BoogieTranslator initialized
[2024-12-02 06:20:02,861 INFO L184 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 02.12 06:20:02" (1/1) ...
[2024-12-02 06:20:02,862 INFO L204 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@40d1496a and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 02.12 06:20:02, skipping insertion in model container
[2024-12-02 06:20:02,862 INFO L184 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 02.12 06:20:02" (1/1) ...
[2024-12-02 06:20:03,266 INFO L175 MainTranslator]: Built tables and reachable declarations
[2024-12-02 06:20:22,190 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:23,782 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:26,096 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:26,097 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:26,097 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:26,098 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:26,455 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:26,464 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:26,469 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:26,476 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:26,477 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:26,503 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:26,509 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:26,610 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:26,752 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,111 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,112 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,113 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,113 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,113 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,113 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,113 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,114 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,114 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,114 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,115 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,115 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,115 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,115 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,116 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,116 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,116 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,124 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,131 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,132 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,132 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,133 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,163 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,165 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,167 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,173 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,176 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,179 WARN L640 FunctionHandler]: implicit declaration of function __builtin___memcpy_chk
[2024-12-02 06:20:28,180 WARN L640 FunctionHandler]: implicit declaration of function __builtin___memmove_chk
[2024-12-02 06:20:28,181 WARN L640 FunctionHandler]: implicit declaration of function __builtin___mempcpy_chk
[2024-12-02 06:20:28,182 WARN L640 FunctionHandler]: implicit declaration of function __builtin___memset_chk
[2024-12-02 06:20:28,184 WARN L640 FunctionHandler]: implicit declaration of function __builtin___strcpy_chk
[2024-12-02 06:20:28,185 WARN L640 FunctionHandler]: implicit declaration of function __builtin___stpcpy_chk
[2024-12-02 06:20:28,186 WARN L640 FunctionHandler]: implicit declaration of function __builtin___strncpy_chk
[2024-12-02 06:20:28,188 WARN L640 FunctionHandler]: implicit declaration of function __builtin___strcat_chk
[2024-12-02 06:20:28,189 WARN L640 FunctionHandler]: implicit declaration of function __builtin___strncat_chk
[2024-12-02 06:20:28,191 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,194 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,200 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[460213,460226]
[2024-12-02 06:20:28,203 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[460699,460712]
[2024-12-02 06:20:28,221 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,221 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,224 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,224 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,226 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,226 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,227 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,228 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,228 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,228 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,233 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[480526,480539]
[2024-12-02 06:20:28,234 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[480582,480595]
[2024-12-02 06:20:28,234 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[480667,480680]
[2024-12-02 06:20:28,235 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[480725,480738]
[2024-12-02 06:20:28,235 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[480783,480796]
[2024-12-02 06:20:28,235 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[480964,480977]
[2024-12-02 06:20:28,236 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[481133,481146]
[2024-12-02 06:20:28,237 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[481280,481293]
[2024-12-02 06:20:28,237 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[481336,481349]
[2024-12-02 06:20:28,237 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[481388,481401]
[2024-12-02 06:20:28,240 WARN L640 FunctionHandler]: implicit declaration of function __builtin___vsnprintf_chk
[2024-12-02 06:20:28,244 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,245 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,246 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,248 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,249 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,249 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,251 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[492308,492321]
[2024-12-02 06:20:28,251 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[492396,492409]
[2024-12-02 06:20:28,253 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,253 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,254 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,254 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,257 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[494473,494486]
[2024-12-02 06:20:28,258 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[494532,494545]
[2024-12-02 06:20:28,258 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,258 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,258 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[494628,494641]
[2024-12-02 06:20:28,259 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[494718,494731]
[2024-12-02 06:20:28,259 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[495005,495018]
[2024-12-02 06:20:28,260 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[495172,495185]
[2024-12-02 06:20:28,260 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,261 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,261 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[495471,495484]
[2024-12-02 06:20:28,261 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,262 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,262 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[495755,495768]
[2024-12-02 06:20:28,263 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[496077,496090]
[2024-12-02 06:20:28,263 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[496195,496208]
[2024-12-02 06:20:28,264 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[496526,496539]
[2024-12-02 06:20:28,264 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,265 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[496754,496767]
[2024-12-02 06:20:28,265 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[496813,496826]
[2024-12-02 06:20:28,265 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[496871,496884]
[2024-12-02 06:20:28,266 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,266 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[497102,497115]
[2024-12-02 06:20:28,266 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[497158,497171]
[2024-12-02 06:20:28,267 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[497391,497404]
[2024-12-02 06:20:28,267 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[497447,497460]
[2024-12-02 06:20:28,268 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,268 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[497725,497738]
[2024-12-02 06:20:28,268 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,269 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[498005,498018]
[2024-12-02 06:20:28,269 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[498062,498075]
[2024-12-02 06:20:28,270 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[498118,498131]
[2024-12-02 06:20:28,270 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,270 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,270 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[498212,498225]
[2024-12-02 06:20:28,271 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[498431,498444]
[2024-12-02 06:20:28,272 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[498662,498675]
[2024-12-02 06:20:28,272 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[498723,498736]
[2024-12-02 06:20:28,273 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[498778,498791]
[2024-12-02 06:20:28,273 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,273 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,273 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[498876,498889]
[2024-12-02 06:20:28,274 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[499008,499021]
[2024-12-02 06:20:28,274 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,274 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,275 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[499235,499248]
[2024-12-02 06:20:28,275 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[499474,499487]
[2024-12-02 06:20:28,276 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[499537,499550]
[2024-12-02 06:20:28,276 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,276 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,276 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[499637,499650]
[2024-12-02 06:20:28,277 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[499694,499707]
[2024-12-02 06:20:28,277 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[499755,499768]
[2024-12-02 06:20:28,278 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[499903,499916]
[2024-12-02 06:20:28,279 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[500138,500151]
[2024-12-02 06:20:28,279 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[500201,500214]
[2024-12-02 06:20:28,279 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,280 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,280 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[500301,500314]
[2024-12-02 06:20:28,280 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[500505,500518]
[2024-12-02 06:20:28,281 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[500562,500575]
[2024-12-02 06:20:28,281 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,281 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,281 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[500656,500669]
[2024-12-02 06:20:28,282 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[501054,501067]
[2024-12-02 06:20:28,283 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[501178,501191]
[2024-12-02 06:20:28,283 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[501257,501270]
[2024-12-02 06:20:28,283 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[501314,501327]
[2024-12-02 06:20:28,284 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,284 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,284 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[501408,501421]
[2024-12-02 06:20:28,284 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[501460,501473]
[2024-12-02 06:20:28,285 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[501558,501571]
[2024-12-02 06:20:28,285 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[501637,501650]
[2024-12-02 06:20:28,285 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[501694,501707]
[2024-12-02 06:20:28,285 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,286 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,286 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[501788,501801]
[2024-12-02 06:20:28,286 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[501840,501853]
[2024-12-02 06:20:28,286 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[501909,501922]
[2024-12-02 06:20:28,287 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[501988,502001]
[2024-12-02 06:20:28,287 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[502045,502058]
[2024-12-02 06:20:28,287 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,287 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,287 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[502139,502152]
[2024-12-02 06:20:28,288 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[502191,502204]
[2024-12-02 06:20:28,289 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,289 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,290 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,290 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,290 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,291 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,291 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,292 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,292 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,292 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,294 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,295 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,296 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,296 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,299 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,300 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,300 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,300 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,301 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,301 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,302 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,302 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,304 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,305 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,305 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,305 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,306 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,306 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,306 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,306 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,308 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,308 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,311 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,311 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,312 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,312 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,313 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,313 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,313 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,313 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,315 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,316 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,316 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,316 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,316 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,317 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,317 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,317 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,317 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,326 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,327 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,329 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,344 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,344 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,344 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,358 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[538351,538364]
[2024-12-02 06:20:28,358 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[538499,538512]
[2024-12-02 06:20:28,362 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,363 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,366 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,366 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,367 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,368 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,368 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,368 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,370 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,371 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,371 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,372 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,372 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,373 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,373 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,373 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,373 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,373 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,374 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,377 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,378 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,378 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,378 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,378 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,378 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,379 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,379 WARN L640 FunctionHandler]: implicit declaration of function __builtin_strspn
[2024-12-02 06:20:28,382 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,382 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,383 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,383 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,383 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,383 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,384 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,384 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,384 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,384 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,385 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,386 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,387 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,387 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,387 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,387 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,388 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,391 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,391 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,392 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,392 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,392 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,392 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,393 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,393 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,393 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,394 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,395 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,395 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,396 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,398 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[562256,562269]
[2024-12-02 06:20:28,398 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[562311,562324]
[2024-12-02 06:20:28,399 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[562556,562569]
[2024-12-02 06:20:28,399 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[562657,562670]
[2024-12-02 06:20:28,400 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[562822,562835]
[2024-12-02 06:20:28,400 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[563060,563073]
[2024-12-02 06:20:28,400 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[563257,563270]
[2024-12-02 06:20:28,401 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[563320,563333]
[2024-12-02 06:20:28,401 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[563478,563491]
[2024-12-02 06:20:28,401 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[563533,563546]
[2024-12-02 06:20:28,401 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[563597,563610]
[2024-12-02 06:20:28,403 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,405 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[565512,565525]
[2024-12-02 06:20:28,405 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[565567,565580]
[2024-12-02 06:20:28,406 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[565657,565670]
[2024-12-02 06:20:28,406 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[565714,565727]
[2024-12-02 06:20:28,406 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[565771,565784]
[2024-12-02 06:20:28,407 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[566039,566052]
[2024-12-02 06:20:28,408 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[566098,566111]
[2024-12-02 06:20:28,408 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[566157,566170]
[2024-12-02 06:20:28,408 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,409 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[566594,566607]
[2024-12-02 06:20:28,410 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[566655,566668]
[2024-12-02 06:20:28,410 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[566716,566729]
[2024-12-02 06:20:28,410 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[566828,566841]
[2024-12-02 06:20:28,411 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[566999,567012]
[2024-12-02 06:20:28,412 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[567060,567073]
[2024-12-02 06:20:28,412 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[567121,567134]
[2024-12-02 06:20:28,412 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[567217,567230]
[2024-12-02 06:20:28,412 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[567276,567289]
[2024-12-02 06:20:28,413 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[567335,567348]
[2024-12-02 06:20:28,413 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[567436,567449]
[2024-12-02 06:20:28,413 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[567495,567508]
[2024-12-02 06:20:28,414 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[567629,567642]
[2024-12-02 06:20:28,414 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[567684,567697]
[2024-12-02 06:20:28,415 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[567774,567787]
[2024-12-02 06:20:28,415 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[567831,567844]
[2024-12-02 06:20:28,415 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[567888,567901]
[2024-12-02 06:20:28,416 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[567983,567996]
[2024-12-02 06:20:28,416 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[568041,568054]
[2024-12-02 06:20:28,416 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[568098,568111]
[2024-12-02 06:20:28,417 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[568155,568168]
[2024-12-02 06:20:28,417 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[568231,568244]
[2024-12-02 06:20:28,417 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[568287,568300]
[2024-12-02 06:20:28,418 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[568342,568355]
[2024-12-02 06:20:28,418 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[568397,568410]
[2024-12-02 06:20:28,419 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,420 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,420 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,420 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,420 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,423 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,423 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,423 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,423 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,424 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,425 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,425 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,425 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,426 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,427 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,427 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,427 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,428 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,429 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,429 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,429 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,430 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,430 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,431 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,431 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,431 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,431 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,431 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,431 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,432 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,432 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,432 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,433 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,433 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,433 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,433 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,433 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,433 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,434 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,434 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,435 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,474 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,479 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,479 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,479 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,480 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,480 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,481 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,481 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,481 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,482 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,482 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,483 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,483 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,483 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,484 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,484 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,484 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,485 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,485 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,485 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,485 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,486 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,486 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,486 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,486 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,486 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,487 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,487 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,487 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,487 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,487 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,488 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,488 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,488 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,488 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,488 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,489 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,549 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,550 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,554 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,554 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,554 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,554 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,554 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,556 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,556 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,556 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,557 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,557 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,557 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,558 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,558 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,559 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,559 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,560 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,560 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,560 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,560 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,561 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,561 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,562 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,562 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,562 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,562 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,563 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,563 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,563 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,564 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,564 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,564 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,564 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,564 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,564 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,565 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,565 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,565 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,565 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,565 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,565 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,565 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,566 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,566 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,567 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,659 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,660 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,660 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,660 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,660 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,684 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,690 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,690 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,690 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,690 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,690 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,691 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,692 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,692 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,693 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,693 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,693 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,694 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,694 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,695 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,695 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,695 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,696 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,696 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,696 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,697 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,697 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,698 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,698 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,698 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,698 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,698 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,699 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,699 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,699 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,699 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,700 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,700 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,700 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,700 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,700 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,701 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,701 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,701 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,701 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,701 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,701 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,701 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,702 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,705 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,819 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,821 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,821 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,821 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,822 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,822 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,822 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,823 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,823 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,823 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,823 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,824 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,824 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,824 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,824 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,825 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,825 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,825 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,825 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,825 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,826 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,826 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,826 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,827 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,829 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,831 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[775024,775037]
[2024-12-02 06:20:28,831 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[775144,775157]
[2024-12-02 06:20:28,831 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[775201,775214]
[2024-12-02 06:20:28,831 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[775295,775308]
[2024-12-02 06:20:28,832 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[775422,775435]
[2024-12-02 06:20:28,832 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[775477,775490]
[2024-12-02 06:20:28,832 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[775592,775605]
[2024-12-02 06:20:28,832 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[775647,775660]
[2024-12-02 06:20:28,833 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[775728,775741]
[2024-12-02 06:20:28,833 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[775781,775794]
[2024-12-02 06:20:28,833 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[775846,775859]
[2024-12-02 06:20:28,833 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[775928,775941]
[2024-12-02 06:20:28,833 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[775985,775998]
[2024-12-02 06:20:28,834 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[776066,776079]
[2024-12-02 06:20:28,834 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[776121,776134]
[2024-12-02 06:20:28,834 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[776184,776197]
[2024-12-02 06:20:28,834 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[776288,776301]
[2024-12-02 06:20:28,835 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,836 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,836 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,836 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,836 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,836 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,837 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[777713,777726]
[2024-12-02 06:20:28,837 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[778238,778251]
[2024-12-02 06:20:28,842 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,844 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[782084,782097]
[2024-12-02 06:20:28,844 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[782164,782177]
[2024-12-02 06:20:28,845 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[782232,782245]
[2024-12-02 06:20:28,845 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[782468,782481]
[2024-12-02 06:20:28,845 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[782560,782573]
[2024-12-02 06:20:28,846 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[782630,782643]
[2024-12-02 06:20:28,846 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[782937,782950]
[2024-12-02 06:20:28,847 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[783000,783013]
[2024-12-02 06:20:28,847 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[783105,783118]
[2024-12-02 06:20:28,847 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[783163,783176]
[2024-12-02 06:20:28,847 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[783220,783233]
[2024-12-02 06:20:28,848 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[783328,783341]
[2024-12-02 06:20:28,848 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[783393,783406]
[2024-12-02 06:20:28,848 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[783484,783497]
[2024-12-02 06:20:28,848 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[783547,783560]
[2024-12-02 06:20:28,848 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[783659,783672]
[2024-12-02 06:20:28,849 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[783729,783742]
[2024-12-02 06:20:28,851 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,851 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,872 WARN L640 FunctionHandler]: implicit declaration of function __builtin_strcspn
[2024-12-02 06:20:28,874 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,875 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,875 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,875 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,877 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,877 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,877 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,877 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,878 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,878 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,878 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,879 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,879 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,880 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,881 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,881 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,882 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,883 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,883 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,883 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,883 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,884 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,884 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,884 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,885 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,886 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,890 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,892 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,893 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,893 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,895 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,895 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,896 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,896 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,897 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,898 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,899 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,899 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,900 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,900 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,904 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[844226,844239]
[2024-12-02 06:20:28,904 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[844311,844324]
[2024-12-02 06:20:28,904 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[844369,844382]
[2024-12-02 06:20:28,904 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[844465,844478]
[2024-12-02 06:20:28,905 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[844523,844536]
[2024-12-02 06:20:28,905 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[844578,844591]
[2024-12-02 06:20:28,905 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[844678,844691]
[2024-12-02 06:20:28,906 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[844736,844749]
[2024-12-02 06:20:28,906 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[844791,844804]
[2024-12-02 06:20:28,906 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[844892,844905]
[2024-12-02 06:20:28,906 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[844950,844963]
[2024-12-02 06:20:28,906 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[845023,845036]
[2024-12-02 06:20:28,907 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[845079,845092]
[2024-12-02 06:20:28,909 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,910 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,910 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,910 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,911 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,912 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,912 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,912 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,913 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,913 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,913 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,914 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,914 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,915 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,915 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,915 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,916 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,923 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,923 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,923 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,924 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,924 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,924 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,924 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,924 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,925 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,925 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,925 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,925 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,925 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,926 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,927 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,934 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,934 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,935 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,935 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,936 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,937 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,937 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,937 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,938 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,939 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,939 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,939 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,941 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,941 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,941 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,941 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,943 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,943 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,944 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,944 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,946 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,946 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,947 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,947 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,949 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,950 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,958 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,967 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,972 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,985 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:28,998 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,002 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,005 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,006 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,008 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,008 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,010 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,010 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,011 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,014 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,015 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,016 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,016 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,016 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,018 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,019 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,019 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,020 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,021 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,021 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,021 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,021 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,021 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,024 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,025 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,025 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,025 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,028 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,028 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,028 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,029 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,029 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,031 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,031 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,031 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,031 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,033 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,033 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,034 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,034 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,035 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,035 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,036 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,036 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,037 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,042 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[988749,988762]
[2024-12-02 06:20:29,042 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[988829,988842]
[2024-12-02 06:20:29,042 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[988957,988970]
[2024-12-02 06:20:29,043 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[989047,989060]
[2024-12-02 06:20:29,043 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[989120,989133]
[2024-12-02 06:20:29,043 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[989209,989222]
[2024-12-02 06:20:29,043 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[989280,989293]
[2024-12-02 06:20:29,044 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,044 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,045 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[990201,990214]
[2024-12-02 06:20:29,045 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,046 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,047 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,048 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,049 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,050 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[995155,995168]
[2024-12-02 06:20:29,051 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[995407,995420]
[2024-12-02 06:20:29,051 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[995470,995483]
[2024-12-02 06:20:29,051 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[995533,995546]
[2024-12-02 06:20:29,051 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[995615,995628]
[2024-12-02 06:20:29,052 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[995986,995999]
[2024-12-02 06:20:29,081 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[996058,996071]
[2024-12-02 06:20:29,081 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[996111,996124]
[2024-12-02 06:20:29,082 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[996220,996233]
[2024-12-02 06:20:29,082 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[996292,996305]
[2024-12-02 06:20:29,082 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[996345,996358]
[2024-12-02 06:20:29,082 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[996416,996429]
[2024-12-02 06:20:29,082 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[996467,996480]
[2024-12-02 06:20:29,083 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[996545,996558]
[2024-12-02 06:20:29,083 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[996734,996747]
[2024-12-02 06:20:29,084 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[996831,996844]
[2024-12-02 06:20:29,084 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[996892,996905]
[2024-12-02 06:20:29,084 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[996972,996985]
[2024-12-02 06:20:29,085 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[997031,997044]
[2024-12-02 06:20:29,085 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[997299,997312]
[2024-12-02 06:20:29,087 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[998195,998208]
[2024-12-02 06:20:29,087 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[998278,998291]
[2024-12-02 06:20:29,088 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[998429,998442]
[2024-12-02 06:20:29,088 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[998514,998527]
[2024-12-02 06:20:29,090 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[999702,999715]
[2024-12-02 06:20:29,090 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[999787,999800]
[2024-12-02 06:20:29,091 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1000136,1000149]
[2024-12-02 06:20:29,091 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1000219,1000232]
[2024-12-02 06:20:29,091 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1000395,1000408]
[2024-12-02 06:20:29,092 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1000498,1000511]
[2024-12-02 06:20:29,092 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1000587,1000600]
[2024-12-02 06:20:29,092 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1000639,1000652]
[2024-12-02 06:20:29,092 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1000722,1000735]
[2024-12-02 06:20:29,093 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1000846,1000859]
[2024-12-02 06:20:29,093 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1000925,1000938]
[2024-12-02 06:20:29,093 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1000986,1000999]
[2024-12-02 06:20:29,094 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1002007,1002020]
[2024-12-02 06:20:29,094 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1002081,1002094]
[2024-12-02 06:20:29,094 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1002145,1002158]
[2024-12-02 06:20:29,095 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1002217,1002230]
[2024-12-02 06:20:29,095 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1002275,1002288]
[2024-12-02 06:20:29,095 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1002463,1002476]
[2024-12-02 06:20:29,095 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1002541,1002554]
[2024-12-02 06:20:29,095 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1002605,1002618]
[2024-12-02 06:20:29,096 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1002677,1002690]
[2024-12-02 06:20:29,096 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1002735,1002748]
[2024-12-02 06:20:29,096 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,096 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,097 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1003018,1003031]
[2024-12-02 06:20:29,097 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1003126,1003139]
[2024-12-02 06:20:29,097 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1003211,1003224]
[2024-12-02 06:20:29,097 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1003300,1003313]
[2024-12-02 06:20:29,098 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1003364,1003377]
[2024-12-02 06:20:29,098 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1003436,1003449]
[2024-12-02 06:20:29,099 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1003494,1003507]
[2024-12-02 06:20:29,099 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1003577,1003590]
[2024-12-02 06:20:29,100 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1003710,1003723]
[2024-12-02 06:20:29,100 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,101 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,101 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,101 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1004628,1004641]
[2024-12-02 06:20:29,101 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1004692,1004705]
[2024-12-02 06:20:29,102 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1004764,1004777]
[2024-12-02 06:20:29,102 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1004822,1004835]
[2024-12-02 06:20:29,102 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1004884,1004897]
[2024-12-02 06:20:29,102 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1004967,1004980]
[2024-12-02 06:20:29,103 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,106 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,108 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,109 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,109 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,109 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,110 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,111 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,111 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1009860,1009873]
[2024-12-02 06:20:29,113 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,113 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1010703,1010716]
[2024-12-02 06:20:29,113 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1010877,1010890]
[2024-12-02 06:20:29,113 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1011078,1011091]
[2024-12-02 06:20:29,114 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1011190,1011203]
[2024-12-02 06:20:29,115 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,116 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,116 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,117 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1013155,1013168]
[2024-12-02 06:20:29,117 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1013551,1013564]
[2024-12-02 06:20:29,117 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1013609,1013622]
[2024-12-02 06:20:29,118 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1014261,1014274]
[2024-12-02 06:20:29,120 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1014355,1014368]
[2024-12-02 06:20:29,121 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1014445,1014458]
[2024-12-02 06:20:29,121 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1014604,1014617]
[2024-12-02 06:20:29,121 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1014664,1014677]
[2024-12-02 06:20:29,122 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1014791,1014804]
[2024-12-02 06:20:29,122 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,123 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1015617,1015630]
[2024-12-02 06:20:29,123 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,124 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1015747,1015760]
[2024-12-02 06:20:29,124 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1015825,1015838]
[2024-12-02 06:20:29,124 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1015898,1015911]
[2024-12-02 06:20:29,125 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1015988,1016001]
[2024-12-02 06:20:29,125 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1016070,1016083]
[2024-12-02 06:20:29,128 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1016138,1016151]
[2024-12-02 06:20:29,128 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1016212,1016225]
[2024-12-02 06:20:29,128 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1016281,1016294]
[2024-12-02 06:20:29,128 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1016360,1016373]
[2024-12-02 06:20:29,128 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1016427,1016440]
[2024-12-02 06:20:29,129 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1016512,1016525]
[2024-12-02 06:20:29,129 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1016583,1016596]
[2024-12-02 06:20:29,129 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1016660,1016673]
[2024-12-02 06:20:29,129 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1016732,1016745]
[2024-12-02 06:20:29,129 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1016814,1016827]
[2024-12-02 06:20:29,130 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1016909,1016922]
[2024-12-02 06:20:29,130 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1017007,1017020]
[2024-12-02 06:20:29,130 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1017076,1017089]
[2024-12-02 06:20:29,130 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1017136,1017149]
[2024-12-02 06:20:29,132 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1017200,1017213]
[2024-12-02 06:20:29,132 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1017272,1017285]
[2024-12-02 06:20:29,133 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1017794,1017807]
[2024-12-02 06:20:29,133 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1017965,1017978]
[2024-12-02 06:20:29,133 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1018077,1018090]
[2024-12-02 06:20:29,134 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1018157,1018170]
[2024-12-02 06:20:29,134 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1018232,1018245]
[2024-12-02 06:20:29,134 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1018324,1018337]
[2024-12-02 06:20:29,134 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1018408,1018421]
[2024-12-02 06:20:29,135 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1018478,1018491]
[2024-12-02 06:20:29,135 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1018554,1018567]
[2024-12-02 06:20:29,135 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1018625,1018638]
[2024-12-02 06:20:29,135 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1018706,1018719]
[2024-12-02 06:20:29,135 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1018775,1018788]
[2024-12-02 06:20:29,136 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1018841,1018854]
[2024-12-02 06:20:29,136 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1018928,1018941]
[2024-12-02 06:20:29,136 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1019001,1019014]
[2024-12-02 06:20:29,136 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1019080,1019093]
[2024-12-02 06:20:29,137 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1019154,1019167]
[2024-12-02 06:20:29,137 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1019238,1019251]
[2024-12-02 06:20:29,137 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1019335,1019348]
[2024-12-02 06:20:29,137 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1019435,1019448]
[2024-12-02 06:20:29,138 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1019506,1019519]
[2024-12-02 06:20:29,138 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1019568,1019581]
[2024-12-02 06:20:29,138 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1019634,1019647]
[2024-12-02 06:20:29,138 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1019700,1019713]
[2024-12-02 06:20:29,139 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1019774,1019787]
[2024-12-02 06:20:29,139 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1019883,1019896]
[2024-12-02 06:20:29,140 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1019989,1020002]
[2024-12-02 06:20:29,140 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1020067,1020080]
[2024-12-02 06:20:29,140 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1020140,1020153]
[2024-12-02 06:20:29,140 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1020230,1020243]
[2024-12-02 06:20:29,140 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1020312,1020325]
[2024-12-02 06:20:29,141 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1020380,1020393]
[2024-12-02 06:20:29,141 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1020454,1020467]
[2024-12-02 06:20:29,141 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1020523,1020536]
[2024-12-02 06:20:29,141 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1020602,1020615]
[2024-12-02 06:20:29,142 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1020669,1020682]
[2024-12-02 06:20:29,142 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1020733,1020746]
[2024-12-02 06:20:29,142 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1020818,1020831]
[2024-12-02 06:20:29,142 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1020889,1020902]
[2024-12-02 06:20:29,142 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1020966,1020979]
[2024-12-02 06:20:29,143 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1021038,1021051]
[2024-12-02 06:20:29,143 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1021120,1021133]
[2024-12-02 06:20:29,143 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1021215,1021228]
[2024-12-02 06:20:29,143 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1021313,1021326]
[2024-12-02 06:20:29,144 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1021382,1021395]
[2024-12-02 06:20:29,144 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1021442,1021455]
[2024-12-02 06:20:29,144 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1021506,1021519]
[2024-12-02 06:20:29,144 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1021570,1021583]
[2024-12-02 06:20:29,145 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1021642,1021655]
[2024-12-02 06:20:29,145 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,145 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1021782,1021795]
[2024-12-02 06:20:29,145 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1021858,1021871]
[2024-12-02 06:20:29,145 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1021929,1021942]
[2024-12-02 06:20:29,146 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1022017,1022030]
[2024-12-02 06:20:29,146 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1022097,1022110]
[2024-12-02 06:20:29,146 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1022163,1022176]
[2024-12-02 06:20:29,146 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1022235,1022248]
[2024-12-02 06:20:29,146 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1022302,1022315]
[2024-12-02 06:20:29,147 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1022379,1022392]
[2024-12-02 06:20:29,147 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1022444,1022457]
[2024-12-02 06:20:29,147 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1022506,1022519]
[2024-12-02 06:20:29,147 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1022589,1022602]
[2024-12-02 06:20:29,148 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1022658,1022671]
[2024-12-02 06:20:29,148 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1022733,1022746]
[2024-12-02 06:20:29,148 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1022803,1022816]
[2024-12-02 06:20:29,148 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1022883,1022896]
[2024-12-02 06:20:29,148 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1022976,1022989]
[2024-12-02 06:20:29,148 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1023072,1023085]
[2024-12-02 06:20:29,149 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1023139,1023152]
[2024-12-02 06:20:29,149 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1023197,1023210]
[2024-12-02 06:20:29,149 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1023259,1023272]
[2024-12-02 06:20:29,149 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1023321,1023334]
[2024-12-02 06:20:29,149 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1023391,1023404]
[2024-12-02 06:20:29,152 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,152 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1024295,1024308]
[2024-12-02 06:20:29,153 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1024578,1024591]
[2024-12-02 06:20:29,153 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1024665,1024678]
[2024-12-02 06:20:29,154 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1024945,1024958]
[2024-12-02 06:20:29,154 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1025034,1025047]
[2024-12-02 06:20:29,154 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1025277,1025290]
[2024-12-02 06:20:29,155 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1025350,1025363]
[2024-12-02 06:20:29,155 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1025437,1025450]
[2024-12-02 06:20:29,155 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1025765,1025778]
[2024-12-02 06:20:29,156 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1026054,1026067]
[2024-12-02 06:20:29,156 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1026349,1026362]
[2024-12-02 06:20:29,157 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,157 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,158 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1027052,1027065]
[2024-12-02 06:20:29,158 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1027103,1027116]
[2024-12-02 06:20:29,158 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1027168,1027181]
[2024-12-02 06:20:29,159 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1027219,1027232]
[2024-12-02 06:20:29,159 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1027302,1027315]
[2024-12-02 06:20:29,159 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1027416,1027429]
[2024-12-02 06:20:29,159 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1027469,1027482]
[2024-12-02 06:20:29,160 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1027523,1027536]
[2024-12-02 06:20:29,160 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1027606,1027619]
[2024-12-02 06:20:29,160 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1027736,1027749]
[2024-12-02 06:20:29,160 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1027791,1027804]
[2024-12-02 06:20:29,160 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1027847,1027860]
[2024-12-02 06:20:29,161 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1027902,1027915]
[2024-12-02 06:20:29,161 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1028015,1028028]
[2024-12-02 06:20:29,161 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1028069,1028082]
[2024-12-02 06:20:29,161 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1028122,1028135]
[2024-12-02 06:20:29,161 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1028175,1028188]
[2024-12-02 06:20:29,162 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1028229,1028242]
[2024-12-02 06:20:29,162 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,162 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1028344,1028357]
[2024-12-02 06:20:29,162 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1028396,1028409]
[2024-12-02 06:20:29,163 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1028447,1028460]
[2024-12-02 06:20:29,163 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1028498,1028511]
[2024-12-02 06:20:29,164 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1028928,1028941]
[2024-12-02 06:20:29,168 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1029573,1029586]
[2024-12-02 06:20:29,168 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1029662,1029675]
[2024-12-02 06:20:29,169 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1029962,1029975]
[2024-12-02 06:20:29,169 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1030053,1030066]
[2024-12-02 06:20:29,169 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1030327,1030340]
[2024-12-02 06:20:29,170 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1030416,1030429]
[2024-12-02 06:20:29,170 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1030640,1030653]
[2024-12-02 06:20:29,171 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,172 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1031041,1031054]
[2024-12-02 06:20:29,172 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1031113,1031126]
[2024-12-02 06:20:29,172 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1031206,1031219]
[2024-12-02 06:20:29,173 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,173 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,174 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,174 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,175 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,175 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,175 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,176 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,176 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,177 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,177 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,177 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,178 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,179 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,179 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,179 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,179 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1036045,1036058]
[2024-12-02 06:20:29,180 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1036148,1036161]
[2024-12-02 06:20:29,180 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1036220,1036233]
[2024-12-02 06:20:29,180 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1036272,1036285]
[2024-12-02 06:20:29,180 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1036362,1036375]
[2024-12-02 06:20:29,180 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1036416,1036429]
[2024-12-02 06:20:29,181 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1036486,1036499]
[2024-12-02 06:20:29,181 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1036539,1036552]
[2024-12-02 06:20:29,181 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1036633,1036646]
[2024-12-02 06:20:29,181 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1036687,1036700]
[2024-12-02 06:20:29,181 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1036741,1036754]
[2024-12-02 06:20:29,182 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1036833,1036846]
[2024-12-02 06:20:29,182 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1036885,1036898]
[2024-12-02 06:20:29,182 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1036937,1036950]
[2024-12-02 06:20:29,183 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,183 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,183 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,184 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,184 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,184 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,186 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,186 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,187 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,187 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,188 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,188 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,190 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,191 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,191 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,191 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,191 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,192 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,192 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,192 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,192 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,192 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,192 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,192 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,199 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,200 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,201 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,202 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,202 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,202 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,203 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,203 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,204 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,204 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,215 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,217 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,217 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,220 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,220 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,220 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,221 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,222 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,223 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,223 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,223 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,224 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,225 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,226 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,227 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,229 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,229 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,230 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,231 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,231 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,231 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,232 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,233 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,233 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,235 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,236 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,236 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,237 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,239 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,247 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,247 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,247 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,248 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,248 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,248 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,248 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,249 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,249 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,249 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,249 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,250 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,250 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,253 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1078357,1078370]
[2024-12-02 06:20:29,253 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1078409,1078422]
[2024-12-02 06:20:29,254 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1078669,1078682]
[2024-12-02 06:20:29,254 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1078739,1078752]
[2024-12-02 06:20:29,254 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1078975,1078988]
[2024-12-02 06:20:29,255 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1079225,1079238]
[2024-12-02 06:20:29,255 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1079296,1079309]
[2024-12-02 06:20:29,255 WARN L250 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_86af85e1-e085-47ea-93c1-9c0224e69315/sv-benchmarks/c/goblint-coreutils/instrumented_interval_tail_comb.i[1079486,1079499]
[2024-12-02 06:20:29,261 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,261 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,262 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,263 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,263 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,263 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,263 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,268 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,269 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,270 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,270 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,270 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,270 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,270 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,270 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,270 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,271 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,272 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,274 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,274 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,274 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,275 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,275 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,277 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,278 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,278 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,278 WARN L1063 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-12-02 06:20:29,283 ERROR L321 MainTranslator]: Unsupported Syntax: The second argument of the pthread_mutex_init is not a null pointer. This means that non-default attributes are used. We support only the default attributes.
[2024-12-02 06:20:29,283 INFO L204 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.CACSL2BoogieTranslatorObserver@658bdf49 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 02.12 06:20:29, skipping insertion in model container
[2024-12-02 06:20:29,284 INFO L131 PluginConnector]: ------------------------ END CACSL2BoogieTranslator----------------------------
[2024-12-02 06:20:29,284 INFO L186 ToolchainWalker]: Toolchain execution was canceled (user or tool) before executing de.uni_freiburg.informatik.ultimate.boogie.procedureinliner
[2024-12-02 06:20:29,286 INFO L158 Benchmark]: Toolchain (without parser) took 26428.66ms. Allocated memory was 142.6MB in the beginning and 218.1MB in the end (delta: 75.5MB). Free memory was 62.0MB in the beginning and 81.0MB in the end (delta: -19.0MB). Peak memory consumption was 131.3MB. Max. memory is 16.1GB.
[2024-12-02 06:20:29,286 INFO L158 Benchmark]: CDTParser took 0.33ms. Allocated memory is still 83.9MB. Free memory is still 47.5MB. There was no memory consumed. Max. memory is 16.1GB.
[2024-12-02 06:20:29,287 INFO L158 Benchmark]: CACSL2BoogieTranslator took 26426.60ms. Allocated memory was 142.6MB in the beginning and 218.1MB in the end (delta: 75.5MB). Free memory was 62.0MB in the beginning and 81.0MB in the end (delta: -19.0MB). Peak memory consumption was 131.3MB. Max. memory is 16.1GB.
[2024-12-02 06:20:29,287 INFO L338 ainManager$Toolchain]: ####################### End [Toolchain 1] #######################
--- Results ---
* Results from de.uni_freiburg.informatik.ultimate.core:
- StatisticsResult: Toolchain Benchmarks
Benchmark results are:
* CDTParser took 0.33ms. Allocated memory is still 83.9MB. Free memory is still 47.5MB. There was no memory consumed. Max. memory is 16.1GB.
* CACSL2BoogieTranslator took 26426.60ms. Allocated memory was 142.6MB in the beginning and 218.1MB in the end (delta: 75.5MB). Free memory was 62.0MB in the beginning and 81.0MB in the end (delta: -19.0MB). Peak memory consumption was 131.3MB. Max. memory is 16.1GB.
* Results from de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator:
- UnsupportedSyntaxResult [Line: 36411]: Unsupported Syntax
The second argument of the pthread_mutex_init is not a null pointer. This means that non-default attributes are used. We support only the default attributes.
RESULT: Ultimate could not prove your program: Toolchain returned no result.
Received shutdown request...
--- End real Ultimate output ---
Execution finished normally
Writing output log to file Ultimate.log
Result:
UNKNOWN