27 lines
1.1 KiB
LLVM
27 lines
1.1 KiB
LLVM
; Check that sanitizers invalidate GlobalsAA
|
|
|
|
; Msan and Dfsan use globals for origin tracking and TLS for parameters.
|
|
; RUN: opt < %s -S -passes='require<globals-aa>,module(msan)' -debug-pass-manager 2>&1 | FileCheck %s
|
|
; RUN: opt < %s -S -passes='require<globals-aa>,module(dfsan)' -debug-pass-manager 2>&1 | FileCheck %s
|
|
|
|
; Some types of coverage use globals.
|
|
; RUN: opt < %s -S -passes='require<globals-aa>,module(sancov-module)' -sanitizer-coverage-level=2 -debug-pass-manager 2>&1 | FileCheck %s
|
|
|
|
; Uses TLS for tags.
|
|
; RUN: opt < %s -S -passes='require<globals-aa>,module(hwasan)' -debug-pass-manager 2>&1 | FileCheck %s
|
|
|
|
; Modifies globals.
|
|
; RUN: opt < %s -S -passes='require<globals-aa>,module(asan)' -debug-pass-manager 2>&1 | FileCheck %s
|
|
|
|
; CHECK: Running analysis: GlobalsAA on [module]
|
|
; CHECK: Running pass: {{.*}}Sanitizer{{.*}}Pass on [module]
|
|
; CHECK: Invalidating analysis: GlobalsAA on [module]
|
|
|
|
target triple = "x86_64-unknown-linux"
|
|
|
|
define i32 @test(ptr readonly %a) local_unnamed_addr sanitize_address sanitize_hwaddress {
|
|
entry:
|
|
%0 = load i32, ptr %a, align 4
|
|
ret i32 %0
|
|
}
|