[ 0:00] + SRC=/home/xrockai/src/divine/nightly/test/c/2.pointer-arith.c
[ 0:00] + sim /home/xrockai/src/divine/nightly/test/c/2.pointer-arith.c
[ 0:00] compiling /home/xrockai/src/divine/nightly/test/c/2.pointer-arith.c
[ 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:14] # active threads: [0:0]
[ 0:14] # a new program state was stored as #2
[ 0:15] # active threads: [0:0]
[ 0:15] # executing main at /home/xrockai/src/divine/nightly/test/c/2.pointer-arith.c:6
[ 0:15] > step --over
[ 0:15]   %02 = call @malloc [i64 4 d]                              # [global* 0 0 uun]
[ 0:15]   %04 = getelementptr %02 [i64 1 d]                         # [global* 0 1 ddp]
[ 0:15] # executing main at /home/xrockai/src/divine/nightly/test/c/2.pointer-arith.c:7
[ 0:15] > step --over
[ 0:15]   %05 = ptrtoint %04                                        # [i64 1 d]
[ 0:15]   %06 = ptrtoint %02                                        # [i64 0 d]
[ 0:15]   %07 = sub %05 %06                                         # [i64 1 d]
[ 0:15]   %08 = icmp.eq %07 [i64 1 d]                               # [i1 1 1]
[ 0:15]   br %08 label %if.then label %if.end 
[ 0:15] # executing main at /home/xrockai/src/divine/nightly/test/c/2.pointer-arith.c:8
[ 0:15] 
[ 0:16] = expected ==========
[ 0:16] + ^# executing __boot
[ 0:16] > start
[ 0:16] + ^# executing main
[ 0:16] > step --over
[ 0:16] + ^# executing main at /home/xrockai/src/divine/nightly/test/c/2.pointer-arith.c:7
[ 0:16] > step --over
[ 0:16] + ^# executing main at /home/xrockai/src/divine/nightly/test/c/2.pointer-arith.c:8
[ 0:16] 
[ 0:16] = matched ===========
[ 0:16] # executing __boot at /divine/src/dios/core/dios.cpp:169     | ^# executing __boot
[ 0:16] > start                                                      | ^> start
[ 0:16] # executing main at /home/xrockai/src/divine/nightly/test/c/2.pointer-arith.c:6 | ^# executing main
[ 0:16] > step --over                                                | ^> step --over
[ 0:16] # executing main at /home/xrockai/src/divine/nightly/test/c/2.pointer-arith.c:7 | ^# executing main at /home/xrockai/src/divine/nightly/test/c/2.pointer-arith.c:7
[ 0:16] > step --over                                                | ^> step --over
[ 0:16] # executing main at /home/xrockai/src/divine/nightly/test/c/2.pointer-arith.c:8 | ^# executing main at /home/xrockai/src/divine/nightly/test/c/2.pointer-arith.c:8
[ 0:16] + sim /home/xrockai/src/divine/nightly/test/c/2.pointer-arith.c
[ 0:16] compiling /home/xrockai/src/divine/nightly/test/c/2.pointer-arith.c
[ 0:16] 
[ 0:27]            ^       —————.   —.—  .     .  —.—  .     .  .—————    .    .
[ 0:27]           ———      |     |   |   |     |   |   |\    |  |         |    |
[ 0:27]          —(o)—     |     |   |   |     |   |   |  \  |  |————     '————|
[ 0:27]         ———————    |     |   |    \   /    |   |    \|  |              |
[ 0:27]        —————————   —————'   —'—     '     —'—  '     '  '—————         '
[ 0:27] 
[ 0:27] Welcome to 'divine sim', an interactive debugger. Type 'help' to get started.
[ 0:27] # executing __boot at /divine/src/dios/core/dios.cpp:169
[ 0:27] > start
[ 0:27] # a new program state was stored as #1
[ 0:29] # active threads: [0:0]
[ 0:29] # a new program state was stored as #2
[ 0:31] # active threads: [0:0]
[ 0:31] # executing main at /home/xrockai/src/divine/nightly/test/c/2.pointer-arith.c:6
[ 0:31] > step
[ 0:31]   %02 = call @malloc [i64 4 d]                              # [global* 0 0 uun]
[ 0:31] # executing main at /home/xrockai/src/divine/nightly/test/c/2.pointer-arith.c:7
[ 0:31] > step
[ 0:31]   %04 = getelementptr %02 [i64 1 d]                         # [global* 0 1 ddp]
[ 0:31]   %05 = ptrtoint %04                                        # [i64 1 d]
[ 0:31]   %06 = ptrtoint %02                                        # [i64 0 d]
[ 0:31]   %07 = sub %05 %06                                         # [i64 1 d]
[ 0:31]   %08 = icmp.eq %07 [i64 1 d]                               # [i1 1 1]
[ 0:31]   br %08 label %if.then label %if.end 
[ 0:31] # executing main at /home/xrockai/src/divine/nightly/test/c/2.pointer-arith.c:8
[ 0:31] 
[ 0:32] = expected ==========
[ 0:32] + ^# executing __boot
[ 0:32] > start
[ 0:32] + ^# executing main
[ 0:32] > step
[ 0:32] + ^# executing main at /home/xrockai/src/divine/nightly/test/c/2.pointer-arith.c:7
[ 0:32] > step
[ 0:32] + ^# executing main at /home/xrockai/src/divine/nightly/test/c/2.pointer-arith.c:8
[ 0:32] 
[ 0:32] = matched ===========
[ 0:32] # executing __boot at /divine/src/dios/core/dios.cpp:169     | ^# executing __boot
[ 0:32] > start                                                      | ^> start
[ 0:32] # executing main at /home/xrockai/src/divine/nightly/test/c/2.pointer-arith.c:6 | ^# executing main
[ 0:32] > step                                                       | ^> step
[ 0:32] # executing main at /home/xrockai/src/divine/nightly/test/c/2.pointer-arith.c:7 | ^# executing main at /home/xrockai/src/divine/nightly/test/c/2.pointer-arith.c:7
[ 0:32] > step                                                       | ^> step
[ 0:32] # executing main at /home/xrockai/src/divine/nightly/test/c/2.pointer-arith.c:8 | ^# executing main at /home/xrockai/src/divine/nightly/test/c/2.pointer-arith.c:8
[ 0:32] + sim /home/xrockai/src/divine/nightly/test/c/2.pointer-arith.c
[ 0:32] compiling /home/xrockai/src/divine/nightly/test/c/2.pointer-arith.c
[ 0:32] 
[ 0:43]            ^       —————.   —.—  .     .  —.—  .     .  .—————    .    .
[ 0:43]           ———      |     |   |   |     |   |   |\    |  |         |    |
[ 0:43]          —(o)—     |     |   |   |     |   |   |  \  |  |————     '————|
[ 0:43]         ———————    |     |   |    \   /    |   |    \|  |              |
[ 0:43]        —————————   —————'   —'—     '     —'—  '     '  '—————         '
[ 0:43] 
[ 0:43] Welcome to 'divine sim', an interactive debugger. Type 'help' to get started.
[ 0:43] # executing __boot at /divine/src/dios/core/dios.cpp:169
[ 0:43] > setup --debug-everything
[ 0:43] # executing __boot at /divine/src/dios/core/dios.cpp:169
[ 0:43] > start
[ 0:43] # a new program state was stored as #1
[ 0:45] # active threads: [0:0]
[ 0:46] # a new program state was stored as #2
[ 0:47] # active threads: [0:0]
[ 0:47] # executing main at /home/xrockai/src/divine/nightly/test/c/2.pointer-arith.c:6
[ 0:47] > step --over
[ 0:47]   %02 = call @malloc [i64 4 d]                              # [global* 0 0 uun]
[ 0:47]   %06 = vm.control [i32 1 d] [i32 7 d] [i32 2 d] [i32 7 d]  # [global* 0 0 ddn]
[ 0:47]                    [i64 1 d] [i64 1 d] [code* 0 0 ddp] 
[ 0:47]   %07 = ptrtoint %06                                        # [i64 0 d]
[ 0:47]   %09 = load [global* ca 0 ddp]                             # [i8 1 d]
[ 0:47]   vm.interrupt.mem [global* ca 0 ddp] [i32 1 d] [i32 1 d] [code* 0 0 ddp] 
[ 0:47]   %0b = and %09 [i8 1 d]                                    # [i8 1 d]
[ 0:47]   %0c = icmp.eq %0b [i8 0 d]                                # [i1 0 1]
[ 0:47]   br %0c label %cond.true label %if.then 
[ 0:47]   %0f = vm.choose [i32 2 d] [code* 0 0 ddp]                 # [i32 0 d]
[ 0:47]   %10 = icmp.eq %0f [i32 0 d]                               # [i1 1 1]
[ 0:47]   br %10 label %if.then label %if.end 
[ 0:47]   %19 = and %07 [i64 1 d]                                   # [i64 0 d]
[ 0:47]   %1a = vm.control [i32 1 d] [i32 7 d] [i32 2 d] [i32 7 d]  # [global* 0 1 ddn]
[ 0:47]                    [i64 1 d] %19 [code* 0 0 ddp] 
[ 0:47]   ret %18 
[ 0:47] # executing main at /home/xrockai/src/divine/nightly/test/c/2.pointer-arith.c:7
[ 0:47] > step --over
[ 0:47]   %04 = getelementptr %02 [i64 1 d]                         # [global* 0 1 ddp]
[ 0:47]   %05 = ptrtoint %04                                        # [i64 1 d]
[ 0:47]   %06 = ptrtoint %02                                        # [i64 0 d]
[ 0:47]   %07 = sub %05 %06                                         # [i64 1 d]
[ 0:47]   %08 = icmp.eq %07 [i64 1 d]                               # [i1 1 1]
[ 0:47]   br %08 label %if.then label %if.end 
[ 0:47] # executing main at /home/xrockai/src/divine/nightly/test/c/2.pointer-arith.c:8
[ 0:47] 
[ 0:48] = expected ==========
[ 0:48] + ^# executing __boot
[ 0:48] > setup --debug-everything
[ 0:48] > start
[ 0:48] + ^# executing main
[ 0:48] > step --over
[ 0:48] + ^# executing main at /home/xrockai/src/divine/nightly/test/c/2.pointer-arith.c:7
[ 0:48] > step --over
[ 0:48] + ^# executing main at /home/xrockai/src/divine/nightly/test/c/2.pointer-arith.c:8
[ 0:48] 
[ 0:48] = matched ===========
[ 0:48] # executing __boot at /divine/src/dios/core/dios.cpp:169     | ^# executing __boot
[ 0:48] > setup --debug-everything                                   | ^> setup --debug-everything
[ 0:48] > start                                                      | ^> start
[ 0:48] # executing main at /home/xrockai/src/divine/nightly/test/c/2.pointer-arith.c:6 | ^# executing main
[ 0:48] > step --over                                                | ^> step --over
[ 0:48] # executing main at /home/xrockai/src/divine/nightly/test/c/2.pointer-arith.c:7 | ^# executing main at /home/xrockai/src/divine/nightly/test/c/2.pointer-arith.c:7
[ 0:48] > step --over                                                | ^> step --over
[ 0:48] # executing main at /home/xrockai/src/divine/nightly/test/c/2.pointer-arith.c:8 | ^# executing main at /home/xrockai/src/divine/nightly/test/c/2.pointer-arith.c:8
[ 0:48] + check debris