./sv-sanitizers.py -j 8 --property /mnt/goblint-svcomp/goblint-bench/the-continuous-race/properties/no-data-race.prp --data-model LP64 /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/the_silver_searcher/main.c


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


/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/the_silver_searcher/main.c: In function ‘hash_strnstr’:
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/the_silver_searcher/main.c:5640:5: warning: ‘no_sanitize’ attribute does not apply to types [-Wattributes]
 5640 |     return ((char const __attribute__((__no_sanitize__("alignment")))  *)((void *)0));
      |     ^~~~~~
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/the_silver_searcher/main.c:5666:7: warning: ‘no_sanitize’ attribute does not apply to types [-Wattributes]
 5666 |       return ((char const __attribute__((__no_sanitize__("alignment")))  *)R);
      |       ^~~~~~
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/the_silver_searcher/main.c:5694:5: warning: ‘no_sanitize’ attribute does not apply to types [-Wattributes]
 5694 |     return ((char const __attribute__((__no_sanitize__("alignment")))  *)R___0);
      |     ^~~~~~
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/the_silver_searcher/main.c:5698:3: warning: ‘no_sanitize’ attribute does not apply to types [-Wattributes]
 5698 |   return ((char const __attribute__((__no_sanitize__("alignment")))  *)((void *)0));
      |   ^~~~~~
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/the_silver_searcher/main.c: At top level:
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/the_silver_searcher/main.c:590:21: warning: inline function ‘getc_unlocked’ declared but never defined
  590 | __inline extern int getc_unlocked(FILE *__fp ) ;
      |                     ^~~~~~~~~~~~~
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/the_silver_searcher/main.c:596:21: warning: inline function ‘putc_unlocked’ declared but never defined
  596 | __inline extern int putc_unlocked(int __c , FILE *__stream ) ;
      |                     ^~~~~~~~~~~~~
/usr/bin/ld: /tmp/ccpgj78x.o: warning: relocation against `pcre_free' in read-only section `.text'
/usr/bin/ld: /tmp/ccpgj78x.o: in function `ackmate_dir_match':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/the_silver_searcher/main.c:1340: undefined reference to `pcre_exec'
/usr/bin/ld: /tmp/ccpgj78x.o: in function `cleanup_options':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/the_silver_searcher/main.c:1831: undefined reference to `pcre_free'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/the_silver_searcher/main.c:1831: undefined reference to `pcre_free'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/the_silver_searcher/main.c:1833: undefined reference to `pcre_free'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/the_silver_searcher/main.c:1833: undefined reference to `pcre_free'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/the_silver_searcher/main.c:1836: undefined reference to `pcre_free'
/usr/bin/ld: /tmp/ccpgj78x.o:/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/the_silver_searcher/main.c:1836: more undefined references to `pcre_free' follow
/usr/bin/ld: /tmp/ccpgj78x.o: in function `search_buf':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/the_silver_searcher/main.c:3783: undefined reference to `pcre_exec'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/the_silver_searcher/main.c:3818: undefined reference to `pcre_exec'
/usr/bin/ld: /tmp/ccpgj78x.o: in function `search_dir':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/the_silver_searcher/main.c:4947: undefined reference to `pcre_exec'
/usr/bin/ld: /tmp/ccpgj78x.o: in function `compile_study':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/the_silver_searcher/main.c:5800: undefined reference to `pcre_compile'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/the_silver_searcher/main.c:5806: undefined reference to `pcre_study'
/usr/bin/ld: /tmp/ccpgj78x.o: in function `decompress_zlib':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/the_silver_searcher/main.c:6404: undefined reference to `inflateInit2_'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/the_silver_searcher/main.c:6424: undefined reference to `inflateEnd'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/the_silver_searcher/main.c:6429: undefined reference to `inflate'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/the_silver_searcher/main.c:6434: undefined reference to `inflateEnd'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/the_silver_searcher/main.c:6440: undefined reference to `inflateEnd'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/the_silver_searcher/main.c:6452: undefined reference to `inflateEnd'
/usr/bin/ld: /tmp/ccpgj78x.o: in function `decompress_lzma':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/the_silver_searcher/main.c:6519: undefined reference to `lzma_auto_decoder'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/the_silver_searcher/main.c:6541: undefined reference to `lzma_code'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/the_silver_searcher/main.c:6561: undefined reference to `lzma_end'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/the_silver_searcher/main.c:6565: undefined reference to `lzma_end'
/usr/bin/ld: /tmp/ccpgj78x.o: in function `main':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/the_silver_searcher/main.c:6730: undefined reference to `pcre_version'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/the_silver_searcher/main.c:6737: undefined reference to `pcre_config'
/usr/bin/ld: /tmp/ccpgj78x.o: in function `zfile_cookie_init':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/the_silver_searcher/main.c:6978: undefined reference to `inflateInit2_'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/the_silver_searcher/main.c:6980: undefined reference to `zError'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/the_silver_searcher/main.c:7009: undefined reference to `lzma_auto_decoder'
/usr/bin/ld: /tmp/ccpgj78x.o: in function `zfile_cookie_cleanup':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/the_silver_searcher/main.c:7035: undefined reference to `inflateEnd'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/the_silver_searcher/main.c:7038: undefined reference to `lzma_end'
/usr/bin/ld: /tmp/ccpgj78x.o: in function `zfile_read':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/the_silver_searcher/main.c:7269: undefined reference to `inflate'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/the_silver_searcher/main.c:7272: undefined reference to `zError'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/the_silver_searcher/main.c:7278: undefined reference to `lzma_code'
/usr/bin/ld: warning: creating DT_TEXTREL in a PIE
collect2: error: ld returned 1 exit status
Traceback (most recent call last):
  File "/mnt/goblint-svcomp/benchexec/tools-pldi/sv-sanitizers/./sv-sanitizers.py", line 212, in <module>
    asyncio.run(main())
  File "/usr/lib/python3.10/asyncio/runners.py", line 44, in run
    return loop.run_until_complete(main)
  File "/usr/lib/python3.10/asyncio/base_events.py", line 649, in run_until_complete
    return future.result()
  File "/mnt/goblint-svcomp/benchexec/tools-pldi/sv-sanitizers/./sv-sanitizers.py", line 204, in main
    executable = await compile(args)
  File "/mnt/goblint-svcomp/benchexec/tools-pldi/sv-sanitizers/./sv-sanitizers.py", line 65, in compile
    raise RuntimeError("compile error")
RuntimeError: compile error
