================
@@ -107,6 +107,39 @@ namespace std {
using std::operator""s;
using std::operator""sv;
+namespace default_args {
+ using IntArray = int[];
+ const int *defaultparam1(const int &def1 [[clang::lifetimebound]] = 0); //
#def1
+ const int &defaultparam_array([[clang::lifetimebound]] const int *p =
IntArray{1, 2, 3}); // #def2
+ struct A {
+ A(const char*, const int& def3 [[clang::lifetimebound]] = 0); // #def3
+ };
+ const int &defaultparam2(const int &def4 [[clang::lifetimebound]] = 0); //
#def4
+ const int &defaultparam3(const int &def5 [[clang::lifetimebound]] =
defaultparam2()); // #def5
+ std::string_view defaultparam4(std::string_view s [[clang::lifetimebound]] =
std::string()); // #def6
+
+ const int*test_default_args() {
+ const int *c = defaultparam1(); // expected-warning {{temporary whose
address is used as value of local variable 'c' will be destroyed at the end of
the full-expression}} expected-note@#def1 {{initializing parameter 'def1' with
default argument}}
+ A a = A(""); // expected-warning {{temporary whose address is used as
value of local variable 'a' will be destroyed at the end of the
full-expression}} expected-note@#def3 {{initializing parameter 'def3' with
default argument}}
+ const int &s = defaultparam2(); // expected-warning {{temporary bound to
local reference 's' will be destroyed at the end of the full-expression}}
expected-note@#def4 {{initializing parameter 'def4' with default argument}}
+ const int &t = defaultparam3(); // expected-warning {{temporary bound to
local reference 't' will be destroyed at the end of the full-expression}}
expected-note@#def4 {{initializing parameter 'def4' with default argument}}
expected-note@#def5 {{initializing parameter 'def5' with default argument}}
+ const int &u = defaultparam_array(); // expected-warning {{temporary bound
to local reference 'u' will be destroyed at the end of the full-expression}}
expected-note@#def2 {{initializing parameter 'p' with default argument}}
+ int local;
+ const int &v = defaultparam2(local); // no warning
+ const int &w = defaultparam2(1); // expected-warning {{temporary bound to
local reference 'w' will be destroyed at the end of the full-expression}}
+ int x = defaultparam2(1); // FIXME: This should warn
----------------
usx95 wrote:
Ah, this is unfortunate. Filled
https://github.com/llvm/llvm-project/issues/112349 for it.
(no action required)
https://github.com/llvm/llvm-project/pull/112047
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
