aboutsummaryrefslogtreecommitdiff
path: root/gcc/expr.cc
diff options
context:
space:
mode:
authorJakub Jelinek <jakub@redhat.com>2024-06-17 19:24:05 +0200
committerJakub Jelinek <jakub@redhat.com>2024-06-17 19:24:05 +0200
commitb63c7d92012f92e0517190cf263d29bbef8a06bf (patch)
treea1d27d4da1beb80d69d3fd7bfefe9748c76b9a28 /gcc/expr.cc
parent8584c98f370cd91647c184ce58141508ca478a12 (diff)
downloadgcc-b63c7d92012f92e0517190cf263d29bbef8a06bf.zip
gcc-b63c7d92012f92e0517190cf263d29bbef8a06bf.tar.gz
gcc-b63c7d92012f92e0517190cf263d29bbef8a06bf.tar.bz2
c-family: Fix -Warray-compare warning ICE [PR115290]
The warning code uses %D to print the ARRAY_REF first operands. That works in the most common case where those operands are decls, but as can be seen on the following testcase, they can be other expressions with array type. Just changing %D to %E isn't enough, because then the diagnostics can suggest something like note: use '&(x) != 0 ? (int (*)[32])&a : (int (*)[32])&b[0] == &(y) != 0 ? (int (*)[32])&a : (int (*)[32])&b[0]' to compare the addresses which is a bad suggestion, the %E printing doesn't know that the warning code will want to add & before it and [0] after it. So, the following patch adds ()s around the operand as well, but does that only for non-decls, for decls keeps it as &arr[0] like before. 2024-06-17 Jakub Jelinek <jakub@redhat.com> PR c/115290 * c-warn.cc (do_warn_array_compare): Use %E rather than %D for printing op0 and op1; if those operands aren't decls, also print parens around them. * c-c++-common/Warray-compare-3.c: New test.
Diffstat (limited to 'gcc/expr.cc')
0 files changed, 0 insertions, 0 deletions