[ 0:01] compiling /home/xrockai/src/divine/nightly/test/dios/2.unwind-part.c
[ 0:01] /home/xrockai/src/divine/nightly/test/dios/2.unwind-part.c:9:27: warning: GCC does not allow '__noinline__' attribute in this position on a function definition
[ 0:01] void foo() __attribute__((__noinline__)) {
[ 0:01]                           ^
[ 0:01] /home/xrockai/src/divine/nightly/test/dios/2.unwind-part.c:14:27: warning: GCC does not allow '__noinline__' attribute in this position on a function definition
[ 0:01] void bar() __attribute__((__noinline__)) {
[ 0:01]                           ^
[ 0:01] /home/xrockai/src/divine/nightly/test/dios/2.unwind-part.c:19:27: warning: GCC does not allow '__noinline__' attribute in this position on a function definition
[ 0:01] void baz() __attribute__((__noinline__)) {
[ 0:01]                           ^
[ 0:01] /home/xrockai/src/divine/nightly/test/dios/2.unwind-part.c:33:20: warning: passing 'volatile struct _VM_Frame *' to parameter of type 'struct _VM_Frame *' discards qualifiers
[ 0:01]     __dios_unwind( tframe, tframe->parent, tframe->parent->parent->parent );
[ 0:01]                    ^~~~~~
[ 0:01] /divine/include/libc/include/sys/stack.h:17:39: note: passing argument to parameter 'stack' here
[ 0:01] void __dios_unwind( struct _VM_Frame *stack, struct _VM_Frame *from, struct _VM_Frame *to )
[ 0:01]                                       ^
[ 0:01] 4 warnings generated.
[ 0:01] states per second: 4.17896
[ 0:19] state count: 17
[ 0:19] mips: 0.09
[ 0:19] 
[ 0:27] error found: yes
[ 0:27] error trace: |
[ 0:27]   (1) FAULT: Assertion failed: 0, file /home/xrockai/src/divine/nightly/test/dios/2.unwind-part.c, line 26.
[ 0:27]   [1] FATAL: assertion failure in userspace
[ 0:27] 
[ 0:27] stack 2:
[ 0:27]   - symbol: main
[ 0:27]     location: /home/xrockai/src/divine/nightly/test/dios/2.unwind-part.c:35
[ 0:27]   - symbol: _start
[ 0:27]     location: /divine/src/libc/functions/sys/start.cpp:76
[ 0:27] active stack:
[ 0:27]   - symbol: void {Fault}::handler<{Context} >(_VM_Fault, _VM_Frame*, void (*)(), ...)
[ 0:28]     location: /divine/include/dios/core/fault.hpp:187
[ 0:28]   - symbol: __dios_fault
[ 0:28]     location: /divine/src/libc/functions/sys/fault.c:25
[ 0:28]   - symbol: thread
[ 0:28]     location: /home/xrockai/src/divine/nightly/test/dios/2.unwind-part.c:26
[ 0:28] a report was written to verify.out
[ 0:28] 
[ 0:37]            ^       —————.   —.—  .     .  —.—  .     .  .—————    .    .
[ 0:37]           ———      |     |   |   |     |   |   |\    |  |         |    |
[ 0:37]          —(o)—     |     |   |   |     |   |   |  \  |  |————     '————|
[ 0:37]         ———————    |     |   |    \   /    |   |    \|  |              |
[ 0:37]        —————————   —————'   —'—     '     —'—  '     '  '—————         '
[ 0:37] 
[ 0:37] Welcome to 'divine sim', an interactive debugger. Type 'help' to get started.
[ 0:37] traced states: #1 #2 #3 #4 #5 #6
[ 0:41] # active threads: 0:0 [0:1]
[ 0:41] T: (1) FAULT: Assertion failed: 0, file /home/xrockai/src/divine/nightly/test/dios/2.unwind-part.c, line 26.
[ 0:41] T: [1] FATAL: assertion failure in userspace
[ 0:41] # executing void {Fault}::handler<{Context} >(_VM_Fault, _VM_Frame*, void (*)(), ...) at /divine/include/dios/core/fault.hpp:187
[ 0:41] # NOTE: $frame in __dios_fault
[ 0:41] > backtrace
[ 0:41]   void {Fault}::handler<{Context} >(_VM_Fault, _VM_Frame*, void (*)(), ...) at /divine/include/dios/core/fault.hpp:187
[ 0:41]   __dios_fault at /divine/src/libc/functions/sys/fault.c:25
[ 0:41]   thread at /home/xrockai/src/divine/nightly/test/dios/2.unwind-part.c:26
[ 0:41] # executing void {Fault}::handler<{Context} >(_VM_Fault, _VM_Frame*, void (*)(), ...) at /divine/include/dios/core/fault.hpp:187
[ 0:41] # NOTE: $frame in __dios_fault