diff --git a/gcc/cp/typeck.cc b/gcc/cp/typeck.cc index 55c958533b467cc6fa809e6d66a6c224e4324873..6c911827778c7e36e4b34b59126cce40f4594dbe 100644 --- a/gcc/cp/typeck.cc +++ b/gcc/cp/typeck.cc @@ -9513,19 +9513,6 @@ cp_build_modify_expr (location_t loc, tree lhs, enum tree_code modifycode, && MAYBE_CLASS_TYPE_P (TREE_TYPE (lhstype))) || MAYBE_CLASS_TYPE_P (lhstype))); - /* An expression of the form E1 op= E2. [expr.ass] says: - "Such expressions are deprecated if E1 has volatile-qualified - type and op is not one of the bitwise operators |, &, ^." - We warn here rather than in cp_genericize_r because - for compound assignments we are supposed to warn even if the - assignment is a discarded-value expression. */ - if (modifycode != BIT_AND_EXPR - && modifycode != BIT_IOR_EXPR - && modifycode != BIT_XOR_EXPR - && (TREE_THIS_VOLATILE (lhs) || CP_TYPE_VOLATILE_P (lhstype))) - warning_at (loc, OPT_Wvolatile, - "compound assignment with %<volatile%>-qualified left " - "operand is deprecated"); /* Preevaluate the RHS to make sure its evaluation is complete before the lvalue-to-rvalue conversion of the LHS: diff --git a/gcc/testsuite/g++.dg/cpp1y/new1.C b/gcc/testsuite/g++.dg/cpp1y/new1.C index fec0088cb402c213056939d285a74ee16b6ba303..21f225cc84733af3f6fbb78a786c0a2cb4a0a586 100644 --- a/gcc/testsuite/g++.dg/cpp1y/new1.C +++ b/gcc/testsuite/g++.dg/cpp1y/new1.C @@ -65,7 +65,7 @@ void test_unused() { volatile double d = 0.0; double *p = new double (); - d += 1.0; // { dg-warning "deprecated" "" { target c++2a } } + d += 1.0; delete p; } diff --git a/gcc/testsuite/g++.dg/cpp2a/volatile1.C b/gcc/testsuite/g++.dg/cpp2a/volatile1.C index a0264a47bc711f60649c5536fc428425cd81cfad..fc9d5e06c59992b5782d30d691b882aeeb379006 100644 --- a/gcc/testsuite/g++.dg/cpp2a/volatile1.C +++ b/gcc/testsuite/g++.dg/cpp2a/volatile1.C @@ -74,17 +74,17 @@ fn2 () decltype(i = vi = 42) x3 = i; // Compound assignments. - vi += i; // { dg-warning "assignment with .volatile.-qualified left operand is deprecated" "" { target c++20 } } - vi -= i; // { dg-warning "assignment with .volatile.-qualified left operand is deprecated" "" { target c++20 } } - vi %= i; // { dg-warning "assignment with .volatile.-qualified left operand is deprecated" "" { target c++20 } } + vi += i; // { dg-bogus "assignment with .volatile.-qualified left operand is deprecated" } + vi -= i; // { dg-bogus "assignment with .volatile.-qualified left operand is deprecated" } + vi %= i; // { dg-bogus "assignment with .volatile.-qualified left operand is deprecated" } vi ^= i; // { dg-bogus "assignment with .volatile.-qualified left operand is deprecated" } vi |= i; // { dg-bogus "assignment with .volatile.-qualified left operand is deprecated" } vi &= i; // { dg-bogus "assignment with .volatile.-qualified left operand is deprecated" } - vi /= i; // { dg-warning "assignment with .volatile.-qualified left operand is deprecated" "" { target c++20 } } + vi /= i; // { dg-bogus "assignment with .volatile.-qualified left operand is deprecated" } vi = vi += 42; // { dg-warning "assignment with .volatile.-qualified left operand is deprecated" "" { target c++20 } } vi += vi = 42; // { dg-warning "assignment with .volatile.-qualified left operand is deprecated" "" { target c++20 } } i *= vi; - decltype(vi -= 42) x2 = vi; // { dg-warning "assignment with .volatile.-qualified left operand is deprecated" "" { target c++20 } } + decltype(vi -= 42) x2 = vi; // { dg-bogus "assignment with .volatile.-qualified left operand is deprecated" } // Structured bindings. int a[] = { 10, 5 }; @@ -107,12 +107,12 @@ fn3 () volatile U u; u.c = 42; i = u.c = 42; // { dg-warning "assignment with .volatile.-qualified left operand is deprecated" "" { target c++20 } } - u.c += 42; // { dg-warning "assignment with .volatile.-qualified left operand is deprecated" "" { target c++20 } } + u.c += 42; // { dg-bogus "assignment with .volatile.-qualified left operand is deprecated" } volatile T t; t.a = 3; j = t.a = 3; // { dg-warning "assignment with .volatile.-qualified left operand is deprecated" "" { target c++20 } } - t.a += 3; // { dg-warning "assignment with .volatile.-qualified left operand is deprecated" "" { target c++20 } } + t.a += 3; // { dg-bogus "assignment with .volatile.-qualified left operand is deprecated" } volatile int *src = &i; *src; // No assignment, don't warn. @@ -135,7 +135,7 @@ void raccoon () volatile T t, u; t = 42; u = t = 42; // { dg-warning "assignment with .volatile.-qualified left operand is deprecated" "" { target c++20 } } - t += 42; // { dg-warning "assignment with .volatile.-qualified left operand is deprecated" "" { target c++20 } } + t += 42; // { dg-bogus "assignment with .volatile.-qualified left operand is deprecated" } t &= 42; // { dg-bogus "assignment with .volatile.-qualified left operand is deprecated" } } diff --git a/gcc/testsuite/g++.dg/cpp2a/volatile3.C b/gcc/testsuite/g++.dg/cpp2a/volatile3.C index 58816dc3084d4ccd670ae59bb03ba99e8fc5d9b7..9f1a8dcd3eb983221e66da18eb0040a406955476 100644 --- a/gcc/testsuite/g++.dg/cpp2a/volatile3.C +++ b/gcc/testsuite/g++.dg/cpp2a/volatile3.C @@ -75,17 +75,17 @@ fn2 () decltype(i = vi = 42) x3 = i; // Compound assignments. - vi += i; // { dg-warning "assignment with .volatile.-qualified left operand is deprecated" } - vi -= i; // { dg-warning "assignment with .volatile.-qualified left operand is deprecated" } - vi %= i; // { dg-warning "assignment with .volatile.-qualified left operand is deprecated" } + vi += i; // { dg-bogus "assignment with .volatile.-qualified left operand is deprecated" } + vi -= i; // { dg-bogus "assignment with .volatile.-qualified left operand is deprecated" } + vi %= i; // { dg-bogus "assignment with .volatile.-qualified left operand is deprecated" } vi ^= i; // { dg-bogus "assignment with .volatile.-qualified left operand is deprecated" } vi |= i; // { dg-bogus "assignment with .volatile.-qualified left operand is deprecated" } vi &= i; // { dg-bogus "assignment with .volatile.-qualified left operand is deprecated" } - vi /= i; // { dg-warning "assignment with .volatile.-qualified left operand is deprecated" } + vi /= i; // { dg-bogus "assignment with .volatile.-qualified left operand is deprecated" } vi = vi += 42; // { dg-warning "assignment with .volatile.-qualified left operand is deprecated" } vi += vi = 42; // { dg-warning "assignment with .volatile.-qualified left operand is deprecated" } i *= vi; - decltype(vi -= 42) x2 = vi; // { dg-warning "assignment with .volatile.-qualified left operand is deprecated" } + decltype(vi -= 42) x2 = vi; // { dg-bogus "assignment with .volatile.-qualified left operand is deprecated" } // Structured bindings. int a[] = { 10, 5 }; @@ -108,12 +108,12 @@ fn3 () volatile U u; u.c = 42; i = u.c = 42; // { dg-warning "assignment with .volatile.-qualified left operand is deprecated" } - u.c += 42; // { dg-warning "assignment with .volatile.-qualified left operand is deprecated" } + u.c += 42; // { dg-bogus "assignment with .volatile.-qualified left operand is deprecated" } volatile T t; t.a = 3; j = t.a = 3; // { dg-warning "assignment with .volatile.-qualified left operand is deprecated" } - t.a += 3; // { dg-warning "assignment with .volatile.-qualified left operand is deprecated" } + t.a += 3; // { dg-bogus "assignment with .volatile.-qualified left operand is deprecated" } volatile int *src = &i; *src; // No assignment, don't warn. @@ -136,7 +136,7 @@ void raccoon () volatile T t, u; t = 42; u = t = 42; // { dg-warning "assignment with .volatile.-qualified left operand is deprecated" } - t += 42; // { dg-warning "assignment with .volatile.-qualified left operand is deprecated" } + t += 42; // { dg-bogus "assignment with .volatile.-qualified left operand is deprecated" } t &= 42; // { dg-bogus "assignment with .volatile.-qualified left operand is deprecated" } } diff --git a/gcc/testsuite/g++.dg/cpp2a/volatile5.C b/gcc/testsuite/g++.dg/cpp2a/volatile5.C index 3684be9837ea08a4523c64052bbbb2966c032bb1..291b9bc894acfc38a6374748e1103e913cb0ba87 100644 --- a/gcc/testsuite/g++.dg/cpp2a/volatile5.C +++ b/gcc/testsuite/g++.dg/cpp2a/volatile5.C @@ -7,7 +7,7 @@ void f (bool b) { (b ? x : y) = 1; - (b ? x : y) += 1; // { dg-warning "compound assignment" "" { target c++20 } } + (b ? x : y) += 1; // { dg-bogus "compound assignment" } z = (b ? x : y) = 1; // { dg-warning "using value of assignment" "" { target c++20 } } ((z = 2) ? x : y) = 1; // { dg-warning "using value of assignment" "" { target c++20 } } (b ? (x = 2) : y) = 1; // { dg-warning "using value of assignment" "" { target c++20 } } diff --git a/gcc/testsuite/g++.dg/ext/vector25.C b/gcc/testsuite/g++.dg/ext/vector25.C index 339865d694295079151994389b46a13c21215e1b..71eaac5d639f345f282ab413b8dfbfaaa77f3e1e 100644 --- a/gcc/testsuite/g++.dg/ext/vector25.C +++ b/gcc/testsuite/g++.dg/ext/vector25.C @@ -2,5 +2,5 @@ volatile int i __attribute__((vector_size(8))); void foo() { - i += i; // { dg-warning "deprecated" "" { target c++2a } } + i += i; // { dg-bogus "deprecated" } }