[ 0:00]   | load /home/xrockai/src/divine/nightly/test/libcxx/containers/asan_throw.pass.cpp asan_throw.pass.cpp
[ 0:00]   | load /home/xrockai/src/divine/nightly/test/libcxx/containers/test_macros.h test_macros.h
[ 0:00]   | load /home/xrockai/src/divine/nightly/test/libcxx/containers/asan_testing.h asan_testing.h
[ 0:00]   | expect --result valid
[ 0:00]   | cc -o testcase.bc -std=c++14 -std=c++2a asan_throw.pass.cpp
[ 0:00]   | refine -o nofail:malloc --refinement pointers --output testcase.bc testcase.bc
[ 0:00]   | verify --max-memory 4GiB --max-time 600 --threads 2 --report-filename verify.out --solver stp -o nofail:malloc --lamp pointers --symbolic testcase.bc
[ 0:00] compiling asan_throw.pass.cpp
[ 0:01] In file included from asan_throw.pass.cpp:16:
[ 0:01] In file included from /dios/libcxx/include/vector:273:
[ 0:01] In file included from /dios/libcxx/include/iosfwd:95:
[ 0:01] In file included from /dios/libcxx/include/wchar.h:118:
[ 0:01] In file included from /dios/include/wchar.h:9:
[ 0:01] In file included from /dios/include/_PDCLIB/int.h:16:
[ 0:01] /dios/include/_PDCLIB/cdefs.h:69:10: warning: Unsupported _ _cplusplus (__cplusplus) (too new) (supported: ISO/IEC 14882:1997, ISO/IEC 14882:2011).
[ 0:01]         #warning Unsupported _ _cplusplus (__cplusplus) (too new) (supported: ISO/IEC 14882:1997, ISO/IEC 14882:2011).
[ 0:01]          ^
[ 0:01] 1 warning generated.
[ 0:01] .../divine/ra/llvmrefine.cpp: 96:
[ 0:51]   unreachable executed: not implemented abstracion of global pointers 
[ 0:51] /home/xrockai/src/divine/nightly/test/lib/verify: line 181: 2678503 Aborted                 divcheck $dcscript