[gcc/devel/omp/gcc-9] c++: Fix return deduction of lambda in discarded stmt.

[Tobias Burnus]

https://gcc.gnu.org/g:e83a2d943a1affc8d945430b8feca290169fe3d7

commit e83a2d943a1affc8d945430b8feca290169fe3d7
Author: Jason Merrill <jason@redhat.com>
Date:   Mon Mar 2 14:42:47 2020 -0500

    c++: Fix return deduction of lambda in discarded stmt.
    
    A return statement in a discarded statement is not used for return type
    deduction, but we still want to do deduction for a return statement in a
    lambda in a discarded statement.
    
    gcc/cp/ChangeLog
    2020-03-02  Jason Merrill  <jason@redhat.com>
    
    	PR c++/93442
    	* parser.c (cp_parser_lambda_expression): Clear in_discarded_stmt.

Diff:
---
 gcc/cp/ChangeLog                                  |  5 +++++
 gcc/cp/parser.c                                   |  6 ++++++
 gcc/testsuite/g++.dg/cpp1z/constexpr-if-lambda1.C | 16 ++++++++++++++++
 3 files changed, 27 insertions(+)

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 2b134ee..bf1791d 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,5 +1,10 @@
 2020-03-02  Jason Merrill  <jason@redhat.com>
 
+	PR c++/93442
+	* parser.c (cp_parser_lambda_expression): Clear in_discarded_stmt.
+
+2020-03-02  Jason Merrill  <jason@redhat.com>
+
 	PR c++/90732 - ICE with VLA capture and generic lambda.
 	* pt.c (tsubst_lambda_expr): Repeat add_capture for VLAs.
 
diff --git a/gcc/cp/parser.c b/gcc/cp/parser.c
index d71d75e..e1c02d7 100644
--- a/gcc/cp/parser.c
+++ b/gcc/cp/parser.c
@@ -10453,6 +10453,10 @@ cp_parser_lambda_expression (cp_parser* parser)
     parser->implicit_template_scope = 0;
     parser->auto_is_implicit_function_template_parm_p = false;
 
+    /* The body of a lambda in a discarded statement is not discarded.  */
+    bool discarded = in_discarded_stmt;
+    in_discarded_stmt = 0;
+
     /* By virtue of defining a local class, a lambda expression has access to
        the private variables of enclosing classes.  */
 
@@ -10483,6 +10487,8 @@ cp_parser_lambda_expression (cp_parser* parser)
 
     type = finish_struct (type, /*attributes=*/NULL_TREE);
 
+    in_discarded_stmt = discarded;
+
     parser->num_template_parameter_lists = saved_num_template_parameter_lists;
     parser->in_statement = in_statement;
     parser->in_switch_statement_p = in_switch_statement_p;
diff --git a/gcc/testsuite/g++.dg/cpp1z/constexpr-if-lambda1.C b/gcc/testsuite/g++.dg/cpp1z/constexpr-if-lambda1.C
new file mode 100644
index 0000000..64c4cd2
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp1z/constexpr-if-lambda1.C
@@ -0,0 +1,16 @@
+// PR c++/93442
+// { dg-do compile { target c++17 } }
+
+struct bar {
+    int foo(){return 0;}
+};
+
+int foobar() {
+    if constexpr(true) {
+        return 0;
+    } else {
+        return [](){
+            return bar{};
+        }().foo();
+    }
+}