diff --git a/clang/test/CodeGen/attr-noundef-no-sanitize.cpp b/clang/test/CodeGen/attr-noundef-no-sanitize.cpp
new file mode 100644
--- /dev/null
+++ b/clang/test/CodeGen/attr-noundef-no-sanitize.cpp
@@ -0,0 +1,32 @@
+// RUN: %clang -cc1 -triple x86_64-gnu-linux -x c++ -S -emit-llvm -enable-noundef-analysis -fsanitize=memory %s -o - | FileCheck %s --check-prefixes=CHECK,NOUNDEF
+// RUN: %clang -cc1 -triple aarch64-gnu-linux -x c++ -S -emit-llvm -enable-noundef-analysis -fsanitize=memory %s -o - | FileCheck %s --check-prefixes=CHECK,NOUNDEF
+// RUN: %clang -cc1 -triple x86_64-gnu-linux -x c++ -S -emit-llvm -enable-noundef-analysis -fsanitize=memory -fsanitize-ignorelist=%S/Inputs/sanitizer-special-case-list.sanitized.txt %s -o - | FileCheck %s --check-prefixes=CHECK,IGNORE
+// RUN: %clang -cc1 -triple aarch64-gnu-linux -x c++ -S -emit-llvm -enable-noundef-analysis -fsanitize=memory -fsanitize-ignorelist=%S/Inputs/sanitizer-special-case-list.sanitized.txt %s -o - | FileCheck %s --check-prefixes=CHECK,IGNORE
+
+int ret_trivial() { return {}; }
+// CHECK: define dso_local noundef i32 @{{.*}}ret_trivial{{.*}}(
+
+void pass_trivial(int e) {}
+// CHECK: define dso_local void @{{.*}}pass_trivial{{.*}}(i32 noundef %
+
+void call_trivial() {
+  pass_trivial(ret_trivial());
+  // CHECK: call noundef i32 @{{.*}}ret_trivial{{.*}}(
+  // CHECK: call void @{{.*}}pass_trivial{{.*}}(i32 noundef %
+}
+
+int ret_ignored() { return {}; }
+// NOUNDEF: define dso_local noundef i32 @{{.*}}ret_ignored{{.*}}(
+// IGNORE: define dso_local i32 @{{.*}}ret_ignored{{.*}}(
+
+void pass_ignored(int e) {}
+// NOUNDEF: define dso_local void @{{.*}}pass_ignored{{.*}}(i32 noundef %
+// IGNORE: define dso_local void @{{.*}}pass_ignored{{.*}}(i32 %
+
+void call_ignored() {
+  pass_ignored(ret_ignored());
+  // NOUNDEF: call noundef i32 @{{.*}}ret_ignored{{.*}}(
+  // IGNORE: call i32 @{{.*}}ret_ignored{{.*}}(
+  // NOUNDEF: call void @{{.*}}pass_ignored{{.*}}(i32 noundef %
+  // IGNORE: call void @{{.*}}pass_ignored{{.*}}(i32 %
+}