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 // RUN: %clangxx_msan -O0 %s -o %t -DCHECK_IN_F && %run %t >%t.out 2>&1 7 // RUN: %clangxx_msan -O1 %s -o %t -DCHECK_IN_F && %run %t >%t.out 2>&1 8 // RUN: %clangxx_msan -O2 %s -o %t -DCHECK_IN_F && %run %t >%t.out 2>&1 9 // RUN: %clangxx_msan -O3 %s -o %t -DCHECK_IN_F && %run %t >%t.out 2>&1 10 11 // Test that (no_sanitize_memory) functions 12 // * don't check shadow values (-DCHECK_IN_F) 13 // * treat all values loaded from memory as fully initialized (-UCHECK_IN_F) 14 15 #include <stdlib.h> 16 #include <stdio.h> 17 18 __attribute__((noinline)) 19 __attribute__((no_sanitize_memory)) 20 int f(void) { 21 int x; 22 int * volatile p = &x; 23 #ifdef CHECK_IN_F 24 if (*p) 25 exit(0); 26 #endif 27 return *p; 28 } 29 30 int main(void) { 31 if (f()) 32 exit(0); 33 return 0; 34 } 35
