blob: a30f1494cff0ab1480e3c07cbe92557addc80b73 [file] [log] [blame]
; Test for a call to __asan_init in _start
; REQUIRES: allow_dump
; RUN: %p2i -i %s --args -verbose=inst -threads=0 -fsanitize-address \
; RUN: | FileCheck --check-prefix=DUMP %s
; notStart() should not be instrumented
define internal void @notStart() {
ret void
}
; DUMP-LABEL: ================ Instrumented CFG ================
; DUMP-NEXT: define internal void @notStart() {
; DUMP-NEXT: __0:
; DUMP-NOT: __asan_init()
; DUMP: ret void
; DUMP-NEXT: }
; _start() should be instrumented
define void @_start() {
ret void
}
; DUMP-LABEL: ================ Instrumented CFG ================
; DUMP-NEXT: define void @_start() {
; DUMP-NEXT: __0:
; DUMP-NEXT: call void @__asan_init(i32 0, i32 @__$rz_array, i32 @__$rz_sizes)
; DUMP-NEXT: ret void
; DUMP-NEXT: }