[ 0:00] compiling /home/xrockai/src/divine/nightly/test/posix/longjmp-skips-dtors.cpp [ 0:00] /home/xrockai/src/divine/nightly/test/posix/longjmp-skips-dtors.cpp:11:27: warning: GCC does not allow '__noinline__' attribute in this position on a function definition [ 0:00] void bar() __attribute__((__noinline__)) { [ 0:00] ^ [ 0:00] /home/xrockai/src/divine/nightly/test/posix/longjmp-skips-dtors.cpp:16:27: warning: GCC does not allow '__noinline__' attribute in this position on a function definition [ 0:00] void foo() __attribute__((__noinline__)) { [ 0:00] ^ [ 0:00] 2 warnings generated. [ 0:00] states per second: 2.11864 [ 0:15] state count: 5 [ 0:15] mips: 0.42 [ 0:15] error found: no [ 0:15] a report was written to verify.out