| OLD | NEW |
| 1 @hex: | 1 @hex: |
| 2 # Test if we disallow bsf to zero-extend (i.e. mask) a memory reference. | 2 # Test if we disallow bsf to zero-extend (i.e. mask) a memory reference. |
| 3 0f bc c3 | 3 0f bc c3 |
| 4 49 89 14 07 | 4 49 89 14 07 |
| 5 @dis: | 5 @dis: |
| 6 0: 0f bc c3 bsf %ebx,%eax | 6 0: 0f bc c3 bsf %ebx,%eax |
| 7 3: 49 89 14 07 mov %rdx,(%r15,%rax,1
) | 7 3: 49 89 14 07 mov %rdx,(%r15,%rax,1
) |
| 8 @rdfa_output: | 8 @rdfa_output: |
| 9 3: [0] improper memory address - bad index | 9 3: [0] improper memory address - bad index |
| 10 return code: 1 | 10 return code: 1 |
| 11 @spec: |
| 12 3: register %rax should be restricted, while in fact None is restricted |
| OLD | NEW |