From: Marek Polacek Date: Fri, 2 Aug 2019 13:26:06 +0000 (+0000) Subject: PR c++/91230 - wrong error with __PRETTY_FUNCTION__ and generic lambda. X-Git-Tag: upstream/12.2.0~22804 X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=b34fd35b83f8e93d87de4f865d86495a44c93498;p=platform%2Fupstream%2Fgcc.git PR c++/91230 - wrong error with __PRETTY_FUNCTION__ and generic lambda. * pt.c (value_dependent_expression_p): Consider __PRETTY_FUNCTION__ inside a template function value-dependent. * g++.dg/cpp1y/lambda-generic-pretty1.C: New test. From-SVN: r274009 --- diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 4843537..2715966 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,9 @@ +2019-08-02 Marek Polacek + + PR c++/91230 - wrong error with __PRETTY_FUNCTION__ and generic lambda. + * pt.c (value_dependent_expression_p): Consider __PRETTY_FUNCTION__ + inside a template function value-dependent. + 2019-08-02 Paolo Carlini * tree.c (handle_nodiscard_attribute): Do not warn about nodiscard diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c index 91a4674..87d177c 100644 --- a/gcc/cp/pt.c +++ b/gcc/cp/pt.c @@ -25553,7 +25553,14 @@ value_dependent_expression_p (tree expression) if (DECL_HAS_VALUE_EXPR_P (expression)) { tree value_expr = DECL_VALUE_EXPR (expression); - if (value_dependent_expression_p (value_expr)) + if (value_dependent_expression_p (value_expr) + /* __PRETTY_FUNCTION__ inside a template function is dependent + on the name of the function. */ + || (DECL_PRETTY_FUNCTION_P (expression) + /* It might be used in a template, but not a template + function, in which case its DECL_VALUE_EXPR will be + "top level". */ + && value_expr == error_mark_node)) return true; } return false; diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 36dbcc8..00d664f 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2019-08-02 Marek Polacek + + PR c++/91230 - wrong error with __PRETTY_FUNCTION__ and generic lambda. + * g++.dg/cpp1y/lambda-generic-pretty1.C: New test. + 2019-08-02 Uroš Bizjak PR target/91323 diff --git a/gcc/testsuite/g++.dg/cpp1y/lambda-generic-pretty1.C b/gcc/testsuite/g++.dg/cpp1y/lambda-generic-pretty1.C new file mode 100644 index 0000000..4d3246b --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp1y/lambda-generic-pretty1.C @@ -0,0 +1,17 @@ +// PR c++/91230 +// { dg-do compile { target c++14 } } + +struct StringWrapper { + const char* Value; +}; + +template +void f() { + [](auto) { + StringWrapper{__PRETTY_FUNCTION__}; + }; +} + +int main() { + f(); +}