PR c++/92049 - extra error with -fchecking=2.

The concepts merge brought this bit

@@ -26326,9 +26559,9 @@ build_non_dependent_expr (tree expr)
     unexpected recursive instantiations.  */
       && !parsing_nsdmi ()
       /* Don't do this during concept expansion either and for
-         the same reason.  */
-      && !expanding_concept ())
-    fold_non_dependent_expr (expr, tf_none);
+    the same reason.  */
+      && !parsing_constraint_expression_p ())
+    fold_non_dependent_expr (expr);

   STRIP_ANY_LOCATION_WRAPPER (expr);

(which I'm not finding in the ChangeLog).  Dropping tf_none means that
fold_non_dependent_expr will use tf_warning_or_error by default, and in
this test that causes an error:

  template<bool> struct cond;

  template<int> struct S {
    void f(int i) {
      cond<__builtin_constant_p(i)>();
    }
  };

  S<1> s;

where it complains that cond<false> is incomplete.  Which it is, but we're
not actually instantiating the function f, so issuing an error seems
overzealous (though not wrong), and it breaks a bunch of tests.  This patch
brings that tf_none back.  We will still complain if we do instantiate f.

	* pt.c (build_non_dependent_expr): Call fold_non_dependent_expr
	with tf_none.

	* g++.dg/template/builtin2.C: New test.

From-SVN: r276906

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 49fb50db2d28c153840eba36a3dc9f7d9dee3257..02a330d772e95667ee26efc38d7c2aea49f5f255 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,9 @@
+2019-10-11  Marek Polacek  <polacek@redhat.com>
+
+       PR c++/92049 - extra error with -fchecking=2.
+       * pt.c (build_non_dependent_expr): Call fold_non_dependent_expr
+       with tf_none.
+
 2019-10-11  Paolo Carlini  <paolo.carlini@oracle.com>
 
        * typeck.c (cp_build_binary_op): Do not handle RROTATE_EXPR and

diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c
index 7fecc03f6cc3aff1a7e582f06207693c73952006..773eb43d9342d18c6b38a910fe1b0a17a2923348 100644 (file)
--- a/gcc/cp/pt.c
+++ b/gcc/cp/pt.c
@@ -27059,7 +27059,7 @@ build_non_dependent_expr (tree expr)
       /* Don't do this during concept processing either and for
          the same reason.  */
       && !processing_constraint_expression_p ())
-    fold_non_dependent_expr (expr);
+    fold_non_dependent_expr (expr, tf_none);
 
   STRIP_ANY_LOCATION_WRAPPER (expr);
 

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index cc1a57b7097fe17524c0e8b27dba3812ba09da61..bbcea404db490895b87fa303b704cb1c2267ae9b 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2019-10-11  Marek Polacek  <polacek@redhat.com>
+
+       PR c++/92049 - extra error with -fchecking=2.
+       * g++.dg/template/builtin2.C: New test.
+
 2019-10-11  Jim Wilson  <jimw@sifive.com>
 
        PR rtl-optimization/91860

diff --git a/gcc/testsuite/g++.dg/template/builtin2.C b/gcc/testsuite/g++.dg/template/builtin2.C
new file mode 100644 (file)
index 0000000..4e9089a
--- /dev/null
+++ b/gcc/testsuite/g++.dg/template/builtin2.C
@@ -0,0 +1,5 @@
+// PR c++/92049 - extra error with -fchecking=2.
+// { dg-do compile { target c++11 } }
+// { dg-additional-options "-fchecking=2" }
+
+#include "builtin1.C"