[clang] Cover more cases of a template function that might return void.

bricknerb · bricknerb · commit 09d8ca254503 · 2024-10-25T14:58:31.000+02:00
diff --git a/clang/test/SemaCXX/attr-lifetimebound.cpp b/clang/test/SemaCXX/attr-lifetimebound.cpp
@@ -34,7 +34,9 @@ namespace usage_ok {
 
   template <class T, class R = void> R dependent_void(const T& t [[clang::lifetimebound]]);
   void dependent_void_instantiation() {
-    dependent_void<int>(1);
+    dependent_void<int>(1); // OK: Returns void.
+    int x = dependent_void<int, int>(1); // expected-warning {{temporary whose address is used as value of local variable 'x' will be destroyed at the end of the full-expression}}
+    dependent_void<int, int>(1); // OK: Returns an unused value.
   }
 
   struct A {

Original file line number	Diff line number	Diff line change
`@@ -34,7 +34,9 @@ namespace usage_ok {`
`34`	`34`
`35`	`35`	`template <class T, class R = void> R dependent_void(const T& t [[clang::lifetimebound]]);`
`36`	`36`	`void dependent_void_instantiation() {`
`37`		`- dependent_void<int>(1);`
	`37`	`+ dependent_void<int>(1); // OK: Returns void.`
	`38`	`+ int x = dependent_void<int, int>(1); // expected-warning {{temporary whose address is used as value of local variable 'x' will be destroyed at the end of the full-expression}}`
	`39`	`+ dependent_void<int, int>(1); // OK: Returns an unused value.`
`38`	`40`	`}`
`39`	`41`
`40`	`42`	`struct A {`