test/msan/select.cc

   1 // RUN: %clangxx_msan -m64 -O0 %s -o %t && not %run %t >%t.out 2>&1
   2 // RUN: FileCheck %s < %t.out
   3 // RUN: %clangxx_msan -m64 -O1 %s -o %t && not %run %t >%t.out 2>&1
   4 // RUN: FileCheck %s < %t.out
   5 // RUN: %clangxx_msan -m64 -O2 %s -o %t && not %run %t >%t.out 2>&1
   6 // RUN: FileCheck %s < %t.out
   7 // RUN: %clangxx_msan -m64 -O3 %s -o %t && not %run %t >%t.out 2>&1
   8 // RUN: FileCheck %s < %t.out
   9
  10 #include <stdlib.h>
  11 int main(int argc, char **argv) {
  12   int x;
  13   int *volatile p = &x;
  14   int z = *p ? 1 : 0;
  15   if (z)
  16     exit(0);
  17   // CHECK: WARNING: MemorySanitizer: use-of-uninitialized-value
  18   // CHECK: {{#0 0x.* in main .*select.cc:}}[[@LINE-3]]
  19
  20   // CHECK: SUMMARY: MemorySanitizer: use-of-uninitialized-value {{.*select.cc:.* main}}
  21   return 0;
  22 }