scripts/cpa.sh -svcomp23 -heap 4000M -benchmark -timelimit '900 s' -stats -spec /mnt/goblint-svcomp/goblint-bench/bench/concrat/properties/no-data-race.prp -64 /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c


--------------------------------------------------------------------------------


Running CPAchecker with Java heap of size 4000M.
Running CPAchecker with default stack size (1024k). Specify a larger value with -stack if needed.
Language C detected and set for analysis (CPAMain.detectFrontendLanguageIfNecessary, INFO)

Using the following resource limits: CPU-time limit of 900s (ResourceLimitChecker.fromConfiguration, INFO)

CPAchecker 2.2 (OpenJDK 64-Bit Server VM 17.0.8.1) started (CPAchecker.run, INFO)

Parsing CFA from file(s) "/mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c" (CPAchecker.parse, INFO)

line 781: Dead code detected: tmp___3 = __builtin_object_size((void *)__s, 1); (CFACreationUtils.addEdgeToCFA, INFO)

line 782: Dead code detected: [!((size_t )__n > tmp___3)] (CFACreationUtils.addEdgeToCFA, INFO)

line 783: Dead code detected: tmp___1 = __builtin_object_size((void *)__s, 1); (CFACreationUtils.addEdgeToCFA, INFO)

line 825: Dead code detected: tmp___3 = __builtin_object_size((void *)__ptr, 0); (CFACreationUtils.addEdgeToCFA, INFO)

line 826: Dead code detected: [!(__size * __n > tmp___3)] (CFACreationUtils.addEdgeToCFA, INFO)

line 827: Dead code detected: tmp___1 = __builtin_object_size((void *)__ptr, 0); (CFACreationUtils.addEdgeToCFA, INFO)

line 865: Dead code detected: tmp___3 = __builtin_object_size((void *)__s, 1); (CFACreationUtils.addEdgeToCFA, INFO)

line 866: Dead code detected: [!((size_t )__n > tmp___3)] (CFACreationUtils.addEdgeToCFA, INFO)

line 867: Dead code detected: tmp___1 = __builtin_object_size((void *)__s, 1); (CFACreationUtils.addEdgeToCFA, INFO)

line 909: Dead code detected: tmp___3 = __builtin_object_size((void *)__ptr, 0); (CFACreationUtils.addEdgeToCFA, INFO)

line 910: Dead code detected: [!(__size * __n > tmp___3)] (CFACreationUtils.addEdgeToCFA, INFO)

line 911: Dead code detected: tmp___1 = __builtin_object_size((void *)__ptr, 0); (CFACreationUtils.addEdgeToCFA, INFO)

line 1095: Dead code detected: tmp___3 = __builtin_object_size((void *)__buf, 1); (CFACreationUtils.addEdgeToCFA, INFO)

line 1096: Dead code detected: [!(__buflen > tmp___3)] (CFACreationUtils.addEdgeToCFA, INFO)

line 1097: Dead code detected: tmp___1 = __builtin_object_size((void *)__buf, 1); (CFACreationUtils.addEdgeToCFA, INFO)

line 1166: Dead code detected: tmp___3 = __builtin_object_size((void *)__dst, 1); (CFACreationUtils.addEdgeToCFA, INFO)

line 1167: Dead code detected: [!(__len > tmp___3 / sizeof(wchar_t ))] (CFACreationUtils.addEdgeToCFA, INFO)

line 1168: Dead code detected: tmp___1 = __builtin_object_size((void *)__dst, 1); (CFACreationUtils.addEdgeToCFA, INFO)

line 1207: Dead code detected: tmp___3 = __builtin_object_size((void *)__dst, 1); (CFACreationUtils.addEdgeToCFA, INFO)

line 1208: Dead code detected: [!(__len > tmp___3)] (CFACreationUtils.addEdgeToCFA, INFO)

line 1209: Dead code detected: tmp___1 = __builtin_object_size((void *)__dst, 1); (CFACreationUtils.addEdgeToCFA, INFO)

line 1320: Dead code detected: tmp___3 = __builtin_object_size(__buf, 0); (CFACreationUtils.addEdgeToCFA, INFO)

line 1321: Dead code detected: [!(__n > tmp___3)] (CFACreationUtils.addEdgeToCFA, INFO)

line 1322: Dead code detected: tmp___1 = __builtin_object_size(__buf, 0); (CFACreationUtils.addEdgeToCFA, INFO)

line 1364: Dead code detected: tmp___3 = __builtin_object_size((void *)__buf, 0); (CFACreationUtils.addEdgeToCFA, INFO)

line 1365: Dead code detected: [!(__n > tmp___3)] (CFACreationUtils.addEdgeToCFA, INFO)

line 1366: Dead code detected: tmp___1 = __builtin_object_size((void *)__buf, 0); (CFACreationUtils.addEdgeToCFA, INFO)

line 1451: Dead code detected: tmp___3 = __builtin_object_size(__buf, 0); (CFACreationUtils.addEdgeToCFA, INFO)

line 1452: Dead code detected: [!(__nbytes > tmp___3)] (CFACreationUtils.addEdgeToCFA, INFO)

line 1453: Dead code detected: tmp___1 = __builtin_object_size(__buf, 0); (CFACreationUtils.addEdgeToCFA, INFO)

line 1508: Dead code detected: tmp___3 = __builtin_object_size(__buf, 0); (CFACreationUtils.addEdgeToCFA, INFO)

line 1509: Dead code detected: [!(__nbytes > tmp___3)] (CFACreationUtils.addEdgeToCFA, INFO)

line 1510: Dead code detected: tmp___1 = __builtin_object_size(__buf, 0); (CFACreationUtils.addEdgeToCFA, INFO)

line 1538: Dead code detected: tmp___3 = __builtin_object_size(__buf, 0); (CFACreationUtils.addEdgeToCFA, INFO)

line 1539: Dead code detected: [!(__nbytes > tmp___3)] (CFACreationUtils.addEdgeToCFA, INFO)

line 1540: Dead code detected: tmp___1 = __builtin_object_size(__buf, 0); (CFACreationUtils.addEdgeToCFA, INFO)

line 1580: Dead code detected: tmp___3 = __builtin_object_size((void *)__buf, 1); (CFACreationUtils.addEdgeToCFA, INFO)

line 1581: Dead code detected: [!(__len > tmp___3)] (CFACreationUtils.addEdgeToCFA, INFO)

line 1582: Dead code detected: tmp___1 = __builtin_object_size((void *)__buf, 1); (CFACreationUtils.addEdgeToCFA, INFO)

line 1623: Dead code detected: tmp___3 = __builtin_object_size((void *)__buf, 1); (CFACreationUtils.addEdgeToCFA, INFO)

line 1624: Dead code detected: [!(__len > tmp___3)] (CFACreationUtils.addEdgeToCFA, INFO)

line 1625: Dead code detected: tmp___1 = __builtin_object_size((void *)__buf, 1); (CFACreationUtils.addEdgeToCFA, INFO)

line 1661: Dead code detected: tmp___3 = __builtin_object_size((void *)__buf, 1); (CFACreationUtils.addEdgeToCFA, INFO)

line 1662: Dead code detected: [!(__size > tmp___3)] (CFACreationUtils.addEdgeToCFA, INFO)

line 1663: Dead code detected: tmp___1 = __builtin_object_size((void *)__buf, 1); (CFACreationUtils.addEdgeToCFA, INFO)

line 1723: Dead code detected: tmp___3 = __builtin_object_size((void *)__buf, 1); (CFACreationUtils.addEdgeToCFA, INFO)

line 1724: Dead code detected: [!(tmp___3 < __len)] (CFACreationUtils.addEdgeToCFA, INFO)

line 1725: Dead code detected: tmp___1 = __builtin_object_size((void *)__buf, 1); (CFACreationUtils.addEdgeToCFA, INFO)

line 1761: Dead code detected: tmp___3 = __builtin_object_size((void *)__list, 1); (CFACreationUtils.addEdgeToCFA, INFO)

line 1762: Dead code detected: [!((unsigned long )__size * sizeof(__gid_t ) > tmp___3)] (CFACreationUtils.addEdgeToCFA, INFO)

line 1763: Dead code detected: tmp___1 = __builtin_object_size((void *)__list, 1); (CFACreationUtils.addEdgeToCFA, INFO)

line 1803: Dead code detected: tmp___3 = __builtin_object_size((void *)__buf, 1); (CFACreationUtils.addEdgeToCFA, INFO)

line 1804: Dead code detected: [!(__buflen > tmp___3)] (CFACreationUtils.addEdgeToCFA, INFO)

line 1805: Dead code detected: tmp___1 = __builtin_object_size((void *)__buf, 1); (CFACreationUtils.addEdgeToCFA, INFO)

line 1837: Dead code detected: tmp___3 = __builtin_object_size((void *)__buf, 1); (CFACreationUtils.addEdgeToCFA, INFO)

line 1838: Dead code detected: [!(__buflen > tmp___3)] (CFACreationUtils.addEdgeToCFA, INFO)

line 1839: Dead code detected: tmp___1 = __builtin_object_size((void *)__buf, 1); (CFACreationUtils.addEdgeToCFA, INFO)

line 1875: Dead code detected: tmp___3 = __builtin_object_size((void *)__buf, 1); (CFACreationUtils.addEdgeToCFA, INFO)

line 1876: Dead code detected: [!(__buflen > tmp___3)] (CFACreationUtils.addEdgeToCFA, INFO)

line 1877: Dead code detected: tmp___1 = __builtin_object_size((void *)__buf, 1); (CFACreationUtils.addEdgeToCFA, INFO)

line 1911: Dead code detected: tmp___3 = __builtin_object_size((void *)__buf, 1); (CFACreationUtils.addEdgeToCFA, INFO)

line 1912: Dead code detected: [!(__buflen > tmp___3)] (CFACreationUtils.addEdgeToCFA, INFO)

line 1913: Dead code detected: tmp___1 = __builtin_object_size((void *)__buf, 1); (CFACreationUtils.addEdgeToCFA, INFO)

Error: Parsing failed (Integer value is too large to be represented by the highest possible type (unsigned long long int): 18446744073709551615.) (EclipseCParser.buildCFA, SEVERE)

Please make sure that the code can be compiled by a compiler.
If the code was not preprocessed, please use a C preprocessor
or specify the -preprocess command-line argument.
If the error still occurs, please send this error message
together with the input file to cpachecker-users@googlegroups.com.
 (CPAchecker.run, INFO)


CPAchecker general statistics
-----------------------------

Time for analysis setup:          1.949s
  Time for loading CPAs:          0.000s
  Time for loading parser:        0.269s
  Time for CFA construction:      1.671s
    Time for parsing file(s):     0.780s
    Time for AST to CFA:          0.745s
    Time for CFA sanity check:    0.000s
    Time for post-processing:     0.000s
Time for Analysis:                0.000s
CPU time for analysis:            0.000s
Total time for CPAchecker:        1.949s
Total CPU time for CPAchecker:    0.740s
Time for statistics:              0.006s

Time for Garbage Collector:       0.036s (in 5 runs)
Garbage Collector(s) used:    Copy, MarkSweepCompact

More details about the verification run can be found in the directory "./output".
