| OLD | NEW |
| (Empty) |
| 1 @hex: | |
| 2 # Model case where the call is aligned so that the return address is aligned t
o 16, but not 32 bytes. | |
| 3 90 | |
| 4 90 | |
| 5 90 | |
| 6 90 | |
| 7 90 | |
| 8 90 | |
| 9 90 | |
| 10 90 | |
| 11 90 | |
| 12 90 | |
| 13 90 | |
| 14 e8 00 00 00 00 | |
| 15 90 | |
| 16 @val: | |
| 17 VALIDATOR: 000000000000000b: e8 00 00 00 00 call
0x10 | |
| 18 VALIDATOR: WARNING: Bad call alignment, return pc = 10 | |
| 19 VALIDATOR: Checking jump targets: 0 to 11 | |
| 20 VALIDATOR: Checking that basic blocks are aligned | |
| 21 *** <input> is safe *** | |
| 22 @rval: | |
| 23 VALIDATOR: 000000000000000b: e8 00 00 00 00 call
0x10 | |
| 24 VALIDATOR: WARNING: Bad call alignment, return pc = 10 | |
| 25 VALIDATOR: Checking jump targets: 0 to 11 | |
| 26 VALIDATOR: Checking that basic blocks are aligned | |
| 27 *** <input> is safe *** | |
| 28 @rvald: | |
| 29 VALIDATOR: 000000000000000b: e8 00 00 00 00 call
0x10 | |
| 30 VALIDATOR: WARNING: Bad call alignment, return pc = 10 | |
| 31 VALIDATOR: Checking block alignment and jump targets: 0 to 11 | |
| 32 *** <input> is safe *** | |
| 33 @vd-rval: | |
| 34 VALIDATOR: 000000000000000b: e8 00 00 00 00 call
0x10 | |
| 35 VALIDATOR: WARNING: Bad call alignment, return pc = 10 | |
| 36 VALIDATOR: Checking jump targets: 0 to 11 | |
| 37 VALIDATOR: Checking that basic blocks are aligned | |
| 38 *** <input> is safe *** | |
| 39 @dis: | |
| 40 0000000000000000: 90 nop | |
| 41 0000000000000001: 90 nop | |
| 42 0000000000000002: 90 nop | |
| 43 0000000000000003: 90 nop | |
| 44 0000000000000004: 90 nop | |
| 45 0000000000000005: 90 nop | |
| 46 0000000000000006: 90 nop | |
| 47 0000000000000007: 90 nop | |
| 48 0000000000000008: 90 nop | |
| 49 0000000000000009: 90 nop | |
| 50 000000000000000a: 90 nop | |
| 51 000000000000000b: e8 00 00 00 00 call 0x10 | |
| 52 0000000000000010: 90 nop | |
| 53 @vdis: | |
| 54 0000000000000000: 90 [P] dontcare | |
| 55 0000000000000001: 90 [P] dontcare | |
| 56 0000000000000002: 90 [P] dontcare | |
| 57 0000000000000003: 90 [P] dontcare | |
| 58 0000000000000004: 90 [P] dontcare | |
| 59 0000000000000005: 90 [P] dontcare | |
| 60 0000000000000006: 90 [P] dontcare | |
| 61 0000000000000007: 90 [P] dontcare | |
| 62 0000000000000008: 90 [P] dontcare | |
| 63 0000000000000009: 90 [P] dontcare | |
| 64 000000000000000a: 90 [P] dontcare | |
| 65 000000000000000b: e8 00 00 00 00 call 0x10 | |
| 66 0000000000000010: 90 [P] dontcare | |
| 67 @rdfa_output: | |
| 68 return code: 0 | |
| OLD | NEW |