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: } 26
