1 // RUN: %clangxx_msan -O0 %s -o %t && %run %t >%t.out 2>&1
2 // RUN: %clangxx_msan -O1 %s -o %t && %run %t >%t.out 2>&1
3 // RUN: %clangxx_msan -O2 %s -o %t && %run %t >%t.out 2>&1
4 // RUN: %clangxx_msan -O3 %s -o %t && %run %t >%t.out 2>&1
5 
6 // Test that (no_sanitize_memory) functions DO NOT propagate shadow.
7 
8 #include <stdlib.h>
9 #include <stdio.h>
10 
11 __attribute__((noinline))
12 __attribute__((weak))
13 __attribute__((no_sanitize_memory))
14 int f(int x) {
15   return x;
16 }
17 
18 int main(void) {
19   int x;
20   int * volatile p = &x;
21   int y = f(*p);
22   if (y)
23     exit(0);
24   return 0;
25 }
26