diff options
Diffstat (limited to 'lib/msan/lit_tests/inline.cc')
| -rw-r--r-- | lib/msan/lit_tests/inline.cc | 20 | 
1 files changed, 20 insertions, 0 deletions
diff --git a/lib/msan/lit_tests/inline.cc b/lib/msan/lit_tests/inline.cc new file mode 100644 index 000000000000..4aeb15583f84 --- /dev/null +++ b/lib/msan/lit_tests/inline.cc @@ -0,0 +1,20 @@ +// RUN: %clangxx_msan -O3 %s -o %t && %t + +// Test that no_sanitize_memory attribute applies even when the function would +// be normally inlined. + +#include <stdlib.h> + +__attribute__((no_sanitize_memory)) +int f(int *p) { +  if (*p) // BOOOM?? Nope! +    exit(0); +  return 0; +} + +int main(int argc, char **argv) { +  int x; +  int * volatile p = &x; +  int res = f(p); +  return 0; +}  | 
