[ 0:00] + cat [ 0:00] + sim file.cpp [ 0:00] compiling file.cpp [ 0:00] [ 0:11] ^ —————. —.— . . —.— . . .————— . . [ 0:11] ——— | | | | | | |\ | | | | [ 0:11] —(o)— | | | | | | | \ | |———— '————| [ 0:11] ——————— | | | \ / | | \| | | [ 0:11] ————————— —————' —'— ' —'— ' ' '————— ' [ 0:11] [ 0:11] Welcome to 'divine sim', an interactive debugger. Type 'help' to get started. [ 0:11] # executing __boot at /divine/src/dios/core/dios.cpp:169 [ 0:11] > start [ 0:11] # a new program state was stored as #1 [ 0:13] # active threads: [0:0] [ 0:13] # a new program state was stored as #2 [ 0:15] # active threads: [0:0] [ 0:15] # executing main at file.cpp:3 [ 0:15] > bitcode [ 0:15] label %entry: [ 0:15] >> %01 = alloca [i32 1 d] # [global* 0 0 uun] [ 0:15] dbg.declare x [ 0:15] %03 = dbg.bitcast %01 to i8* # [global* 0 0 uun] [ 0:15] store [i32 0 d] %01 [ 0:15] vm.interrupt.mem %03 [i32 4 d] [i32 2 d] [code* 0 0 ddp] [ 0:15] dbg.declare fun [ 0:15] dbg.value fun [code* 1 4 ddp] [ 0:15] invoke @_Z3fooPVi %01 label %invoke.cont label %lpad [ 0:15] label %invoke.cont: [ 0:15] br label %try.cont [ 0:15] label %lpad: [ 0:15] %0c = landingpad [global* 0 0 ddp] # [ 0:15] %0d = extractvalue %0c # [global* 0 0 uun] [ 0:15] %0e = extractvalue %0c # [i32 0 u] [ 0:15] %0f = call @__cxa_begin_catch %0d # [global* 0 0 uun] [ 0:15] call @__cxa_end_catch [ 0:15] br label %try.cont [ 0:15] label %try.cont: [ 0:15] call @_Z3fooPVi %01 [ 0:15] ret [i32 0 d] [ 0:15] # executing main at file.cpp:3 [ 0:15] [ 0:16] = expected ========== [ 0:16] + ^# executing __boot at [ 0:16] > start [ 0:16] - ^# executing [ 0:16] + ^# executing main at [ 0:16] > bitcode [ 0:16] + >>.*alloca [ 0:16] + invoke .*%.*label %.*label % [ 0:16] + label %.*: [ 0:16] + landingpad [ 0:16] + call @__cxa_begin_catch [ 0:16] + call @__cxa_end_catch [ 0:16] + ret [ 0:16] [ 0:16] = matched =========== [ 0:16] # executing __boot at /divine/src/dios/core/dios.cpp:169 | ^# executing __boot at [ 0:16] > start | ^> start [ 0:16] # executing main at file.cpp:3 | ^# executing main at [ 0:16] > bitcode | ^> bitcode [ 0:16] >> %01 = alloca [i32 1 d] # [global* 0 0 uun] | >>.*alloca [ 0:16] invoke @_Z3fooPVi %01 label %invoke.cont label %lpad | invoke .*%.*label %.*label % [ 0:16] label %invoke.cont: | label %.*: [ 0:16] %0c = landingpad [global* 0 0 ddp] # | landingpad [ 0:16] %0f = call @__cxa_begin_catch %0d # [global* 0 0 uun] | call @__cxa_begin_catch [ 0:16] call @__cxa_end_catch | call @__cxa_end_catch [ 0:16] ret [i32 0 d] | ret [ 0:16] + check debris