diff --git a/clang/test/CodeGen/msan-param-retval.c b/clang/test/CodeGen/msan-param-retval.c index e0aae2d90fdc6..b003ae21ba82c 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 6926cce1080e1..d34dafaa8eb6d 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