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