// 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{{.*}} }