Author: Vitaly Buka Date: 2022-12-04T19:10:17-08:00 New Revision: 9e8787821f62bc7856d9a4cdf439aadbaf43ed64
URL: https://github.com/llvm/llvm-project/commit/9e8787821f62bc7856d9a4cdf439aadbaf43ed64 DIFF: https://github.com/llvm/llvm-project/commit/9e8787821f62bc7856d9a4cdf439aadbaf43ed64.diff LOG: [test][CodeGen] Check noundef for omited return Added: Modified: clang/test/CodeGen/msan-param-retval.c clang/test/CodeGen/msan-param-retval.cpp Removed: ################################################################################ diff --git a/clang/test/CodeGen/msan-param-retval.c b/clang/test/CodeGen/msan-param-retval.c index e0aae2d90fdc..b003ae21ba82 100644 --- a/clang/test/CodeGen/msan-param-retval.c +++ b/clang/test/CodeGen/msan-param-retval.c @@ -23,6 +23,13 @@ int foo() { return 1; } -// CHECK: define dso_local i32 @foo() #0 { -// CHECK: @__msan_retval_tls +// CHECK: define dso_local i32 @foo() #0 { +// CHECK: @__msan_retval_tls +// CHECK: } + +int noret() { +} + +// CHECK: define dso_local i32 @noret() #0 { +// CHECK: %retval = alloca // CHECK: } \ No newline at end of file diff --git a/clang/test/CodeGen/msan-param-retval.cpp b/clang/test/CodeGen/msan-param-retval.cpp index 6926cce1080e..d34dafaa8eb6 100644 --- a/clang/test/CodeGen/msan-param-retval.cpp +++ b/clang/test/CodeGen/msan-param-retval.cpp @@ -28,4 +28,12 @@ int foo() { // CLEAN: @__msan_retval_tls // NOUNDEF_ONLY: @__msan_retval_tls // EAGER-NOT: @__msan_retval_tls +// CHECK: } + +int noret() { +} + +// CLEAN: define dso_local i32 @_Z5noretv() #0 { +// NOUNDEF: define dso_local noundef i32 @_Z5noretv() #0 { +// CHECK: unreachable // CHECK: } \ No newline at end of file _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
