| OLD | NEW |
| (Empty) | |
| 1 ; Test that calls made through pointers are unchanged by ASan |
| 2 |
| 3 ; REQUIRES: allow_dump |
| 4 |
| 5 ; RUN: %p2i -i %s --args -verbose=inst -threads=0 -fsanitize-address \ |
| 6 ; RUN: | FileCheck --check-prefix=DUMP %s |
| 7 |
| 8 define internal i32 @caller(i32 %callee_addr, i32 %arg) { |
| 9 %callee = inttoptr i32 %callee_addr to i32 (i32)* |
| 10 %result = call i32 %callee(i32 %arg) |
| 11 ret i32 %result |
| 12 } |
| 13 |
| 14 ; DUMP-LABEL: ================ Initial CFG ================ |
| 15 ; DUMP-NEXT: define internal i32 @caller(i32 %callee_addr, i32 %arg) { |
| 16 ; DUMP-NEXT: __0: |
| 17 ; DUMP-NEXT: %result = call i32 %callee_addr(i32 %arg) |
| 18 ; DUMP-NEXT: ret i32 %result |
| 19 ; DUMP-NEXT: } |
| 20 ; DUMP-LABEL: ================ Instrumented CFG ================ |
| 21 ; DUMP-NEXT: define internal i32 @caller(i32 %callee_addr, i32 %arg) { |
| 22 ; DUMP-NEXT: __0: |
| 23 ; DUMP-NEXT: %result = call i32 %callee_addr(i32 %arg) |
| 24 ; DUMP-NEXT: ret i32 %result |
| 25 ; DUMP-NEXT: } |
| OLD | NEW |