[ 0:00] + cat [ 0:00] + sim file.cpp [ 0:00] compiling file.cpp [ 0:00] [ 0:02] ^ —————. —.— . . —.— . . .————— . . [ 0:02] ——— | | | | | | |\ | | | | [ 0:02] —(o)— | | | | | | | \ | |———— '————| [ 0:02] ——————— | | | \ / | | \| | | [ 0:02] ————————— —————' —'— ' —'— ' ' '————— ' [ 0:02] [ 0:02] Welcome to 'divine sim', an interactive debugger. Type 'help' to get started. [ 0:02] # executing __boot at /dios/config/common.hpp:28 [ 0:02] > start [ 0:02] # a new program state was stored as #1 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #2 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #3 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #4 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #5 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #6 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #7 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #8 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #9 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #10 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #11 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #12 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #13 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #14 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #15 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #16 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #17 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #18 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #19 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #20 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #21 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #22 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #23 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #24 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #25 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #26 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #27 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #28 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #29 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #30 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #31 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #32 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #33 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #34 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #35 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #36 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #37 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #38 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #39 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #40 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #41 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #42 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #43 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #44 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #45 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #46 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #47 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #48 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #49 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #50 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #51 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #52 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #53 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #54 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #55 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #56 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #57 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #58 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #59 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #60 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #61 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #62 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #63 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #64 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #65 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #66 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #67 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #68 [ 0:02] # active threads: [0:0] [ 0:02] # executing main at file.cpp:4 [ 0:02] > bitcode [ 0:02] label %entry: [ 0:02] >> %01 = alloca [i32 1 d] # [global* 0 0 uun] [ 0:02] %02 = alloca [i32 1 d] # [global* 0 0 uun] [ 0:02] dbg.declare x [ 0:02] %04 = dbg.bitcast %01 to i8* # [global* 0 0 uun] [ 0:02] store [i32 4 d] %01 [ 0:02] vm.test.crit %04 [i32 4 d] [i32 2 d] __dios_reschedule __vm_test_crit [ 0:02] dbg.declare fun [ 0:02] store _Z3barPVii %02 [ 0:02] %09 = load %02 # [global* 0 0 uun] [ 0:02] %0a = call %09 %01 [i32 4 d] # [i32 0 u] [ 0:02] store _Z3fooPVii %02 [ 0:02] %0c = load %02 # [global* 0 0 uun] [ 0:02] %0d = call %0c %01 [i32 4 d] # [i32 0 u] [ 0:02] ret %0d [ 0:02] # executing main at file.cpp:4 [ 0:02] [ 0:02] = expected ========== [ 0:02] + ^# executing __boot at [ 0:02] > start [ 0:02] - ^# executing [ 0:02] + ^# executing main at [ 0:02] > bitcode [ 0:02] + >>.*alloca [ 0:02] + call .*%.*%.*[i32 4 d] [ 0:02] + call .*%.*%.*[i32 4 d] [ 0:02] + ret [ 0:02] [ 0:02] = matched =========== [ 0:02] # executing __boot at /dios/config/common.hpp:28 | ^# executing __boot at [ 0:02] > start | ^> start [ 0:02] # executing main at file.cpp:4 | ^# executing main at [ 0:02] > bitcode | ^> bitcode [ 0:02] >> %01 = alloca [i32 1 d] # [global* 0 0 uun] | >>.*alloca [ 0:02] %0a = call %09 %01 [i32 4 d] # [i32 0 u] | call .*%.*%.*[i32 4 d] [ 0:02] %0d = call %0c %01 [i32 4 d] # [i32 0 u] | call .*%.*%.*[i32 4 d] [ 0:02] ret %0d | ret [ 0:02] + check debris [ 0:02] + test -e warning