1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
// RUN: %clang_cc1 -triple x86_64-apple-darwin -emit-llvm -o - %s | FileCheck -check-prefix=WITHOUT %s
// RUN: %clang_cc1 -triple x86_64-apple-darwin -emit-llvm -o - %s -fsanitize=numerical | FileCheck -check-prefix=NSAN %s
// RUN: echo "src:%s" | sed -e 's/\\/\\\\/g' > %t
// RUN: %clang_cc1 -triple x86_64-apple-darwin -emit-llvm -o - %s -fsanitize=numerical -fsanitize-ignorelist=%t | FileCheck -check-prefix=BL %s
// WITHOUT: NoNSAN3{{.*}}) [[NOATTR:#[0-9]+]]
// BL: NoNSAN3{{.*}}) [[NOATTR:#[0-9]+]]
// NSAN: NoNSAN3{{.*}}) [[NOATTR:#[0-9]+]]
__attribute__((no_sanitize("numerical")))
int NoNSAN3(int *a) { return *a; }
// WITHOUT: NSANOk{{.*}}) [[NOATTR]]
// BL: NSANOk{{.*}}) [[NOATTR]]
// NSAN: NSANOk{{.*}}) [[WITH:#[0-9]+]]
int NSANOk(int *a) { return *a; }
// WITHOUT: TemplateNSANOk{{.*}}) [[NOATTR]]
// BL: TemplateNSANOk{{.*}}) [[NOATTR]]
// NSAN: TemplateNSANOk{{.*}}) [[WITH]]
template<int i>
int TemplateNSANOk() { return i; }
// WITHOUT: TemplateNoNSAN{{.*}}) [[NOATTR]]
// BL: TemplateNoNSAN{{.*}}) [[NOATTR]]
// NSAN: TemplateNoNSAN{{.*}}) [[NOATTR]]
template<int i>
__attribute__((no_sanitize("numerical")))
int TemplateNoNSAN() { return i; }
int force_instance = TemplateNSANOk<42>() + TemplateNoNSAN<42>();
// WITHOUT: attributes [[NOATTR]] = { mustprogress noinline nounwind{{.*}} }
// BL: attributes [[NOATTR]] = { mustprogress noinline nounwind{{.*}} }
// NSAN: attributes [[WITH]] = { mustprogress noinline nounwind optnone sanitize_numerical_stability{{.*}} }
|
