A simple unit test to demonstrate the flags working correctly.
Reviewed By: vitalybuka
Differential Revision: https://reviews.llvm.org/D114485
--- /dev/null
+// RUN: %clangxx_msan %s -o %t && %run %t >%t.out 2>&1
+// RUN: FileCheck %s --check-prefix=MISSED --allow-empty < %t.out
+// RUN: %clangxx_msan %s -Xclang -enable-noundef-analysis -mllvm -msan-eager-checks=1 -o %t && not %run %t >%t.out 2>&1
+// RUN: FileCheck %s < %t.out
+
+struct SimpleStruct {
+ int md1;
+};
+
+static int sink;
+
+static void examineValue(int x) { sink = x; }
+
+int main(int argc, char *argv[]) {
+ auto ss = new SimpleStruct;
+ examineValue(ss->md1);
+
+ return 0;
+}
+
+// CHECK: WARNING: MemorySanitizer: use-of-uninitialized-value
+// MISSED-NOT: use-of-uninitialized-value