Comparing foo(int*) in assumed vs ignored

Files changed (1) hide show
  1. balber_berdecoder.t/{66.assume.s → 66.none.s} +9 -4
balber_berdecoder.t/{66.assume.s → 66.none.s} RENAMED
@@ -1,4 +1,9 @@
1
- 000000000046ebf0 <foo(int*)>:
 
 
2
- 0000000000000000: 01 retq
 
 
 
3
- 0000000000000001: 10 nopw %cs:(%rax,%rax)
4
- 000000000000000b: 05 nopl (%rax,%rax)
1
+ 000000000046efa0 <foo(int*)>:
2
+ 0000000000000000: 03 testq %rdi, %rdi
3
+ 0000000000000003: 02 je 0x46efa6 <foo(int*)+0x6>
4
+ 0000000000000005: 01 retq
5
+ 0000000000000006: 05 movl $5035629, %edi
6
+ 000000000000000b: 02 xorl %eax, %eax
7
+ 000000000000000d: 05 jmp 0x404180 <printf@plt>
8
+ 0000000000000012: 10 nopw %cs:(%rax,%rax)
9
+ 000000000000001c: 04 nopl (%rax)