aboutsummaryrefslogtreecommitdiff
path: root/gcc/cfgexpand.c
diff options
context:
space:
mode:
authorMarek Polacek <polacek@redhat.com>2021-02-03 17:57:22 -0500
committerMarek Polacek <polacek@redhat.com>2021-02-05 11:11:04 -0500
commit7a18bc4ae62081021f4fd90d591a588cac931f77 (patch)
tree96f3a425cf90a4941e732ea85fd19c5f5afb1f69 /gcc/cfgexpand.c
parent1cbc10d894494c34987d1f42f955e7843457ee38 (diff)
downloadgcc-7a18bc4ae62081021f4fd90d591a588cac931f77.zip
gcc-7a18bc4ae62081021f4fd90d591a588cac931f77.tar.gz
gcc-7a18bc4ae62081021f4fd90d591a588cac931f77.tar.bz2
c++: Fix bogus -Wvolatile warning in C++20 [PR98947]
Since most of volatile is deprecated in C++20, we are required to warn for compound assignments to volatile variables and so on. But here we have volatile int x, y, z; (b ? x : y) = 1; and we shouldn't warn, because simple assignments like x = 24; should not provoke the warning when they are a discarded-value expression. We warn here because when ?: is used as an lvalue, we transform it in cp_build_modify_expr/COND_EXPR from (a ? b : c) = rhs to (a ? (b = rhs) : (c = rhs)) and build_conditional_expr then calls mark_lvalue_use for the new artificial assignments, which then evokes the warning. The calls to mark_lvalue_use were added in r160289 to suppress warnings in Wunused-var-10.c, but looks like they're no longer needed. To warn on (b ? (x = 2) : y) = 1; (b ? x : (y = 5)) = 1; I've tweaked a check in mark_use/MODIFY_EXPR. I'd argue this is a regression because GCC 9 doesn't warn. gcc/cp/ChangeLog: PR c++/98947 * call.c (build_conditional_expr_1): Don't call mark_lvalue_use on arg2/arg3. * expr.c (mark_use) <case MODIFY_EXPR>: Don't check read_p when issuing the -Wvolatile warning. Only set TREE_THIS_VOLATILE if a warning was emitted. gcc/testsuite/ChangeLog: PR c++/98947 * g++.dg/cpp2a/volatile5.C: New test.
Diffstat (limited to 'gcc/cfgexpand.c')
0 files changed, 0 insertions, 0 deletions