[gcc/devel/omp/gcc-10] c++: Fix bogus -Wparentheses warning [PR95344]

[Tobias Burnus]

https://gcc.gnu.org/g:4c07da7bec0c952e4918323222c2baa85f0a29f1

commit 4c07da7bec0c952e4918323222c2baa85f0a29f1
Author: Marek Polacek <polacek@redhat.com>
Date:   Thu Jun 11 16:27:59 2020 -0400

    c++: Fix bogus -Wparentheses warning [PR95344]
    
    Since r267272, which added location wrappers, cp_fold loses
    TREE_NO_WARNING on a MODIFY_EXPR that finish_parenthesized_expr set, and
    that results in a bogus -Wparentheses warning.
    
    I.e., previously we had "b = 1" but now we have "VIEW_CONVERT_EXPR<bool>(b) = 1"
    and cp_fold_maybe_rvalue folds away the location wrapper and so we do
    2718             x = fold_build2_loc (loc, code, TREE_TYPE (x), op0, op1);
    in cp_fold and the flag is lost.
    
            PR c++/95344
            * cp-gimplify.c (cp_fold) <case MODIFY_EXPR>: Don't set
            TREE_THIS_VOLATILE here.
            (cp_fold): Set it here along with TREE_NO_WARNING.
    
            * c-c++-common/Wparentheses-2.c: New test.

Diff:
---
 gcc/cp/cp-gimplify.c                        |  8 ++++++--
 gcc/testsuite/c-c++-common/Wparentheses-2.c | 18 ++++++++++++++++++
 2 files changed, 24 insertions(+), 2 deletions(-)

diff --git a/gcc/cp/cp-gimplify.c b/gcc/cp/cp-gimplify.c
index f326d71637b..0cf5bbb60b6 100644
--- a/gcc/cp/cp-gimplify.c
+++ b/gcc/cp/cp-gimplify.c
@@ -2675,8 +2675,6 @@ cp_fold (tree x)
 	  else
 	    x = org_x;
 	}
-      if (code == MODIFY_EXPR && TREE_CODE (x) == MODIFY_EXPR)
-	TREE_THIS_VOLATILE (x) = TREE_THIS_VOLATILE (org_x);
 
       break;
 
@@ -2932,6 +2930,12 @@ cp_fold (tree x)
       return org_x;
     }
 
+  if (EXPR_P (x) && TREE_CODE (x) == code)
+    {
+      TREE_THIS_VOLATILE (x) = TREE_THIS_VOLATILE (org_x);
+      TREE_NO_WARNING (x) = TREE_NO_WARNING (org_x);
+    }
+
   fold_cache->put (org_x, x);
   /* Prevent that we try to fold an already folded result again.  */
   if (x != org_x)
diff --git a/gcc/testsuite/c-c++-common/Wparentheses-2.c b/gcc/testsuite/c-c++-common/Wparentheses-2.c
new file mode 100644
index 00000000000..1aa5d314ae7
--- /dev/null
+++ b/gcc/testsuite/c-c++-common/Wparentheses-2.c
@@ -0,0 +1,18 @@
+// PR c++/95344 - bogus -Wparentheses warning.
+// { dg-do compile }
+// { dg-options "-Wparentheses" }
+
+#ifndef __cplusplus
+# define bool _Bool
+# define true 1
+# define false 0
+#endif
+
+void
+f (int i)
+{
+  bool b = false;
+  if (i == 99 ? (b = true) : false) // { dg-bogus "suggest parentheses" }
+    {
+    }
+}