diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2024-04-12 20:53:10 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@redhat.com> | 2024-04-12 20:54:59 +0200 |
| commit | 91146346f57cc54dfeb2669347edd0eb3d13af7f (patch) | |
| tree | 4b9fabf7b6b37971cabb792a3780dd794bde89d2 /gcc/cp/module.cc | |
| parent | d74fe10b13336b9de2e025ced4af00a25ff1d3e7 (diff) | |
| download | gcc-91146346f57cc54dfeb2669347edd0eb3d13af7f.zip gcc-91146346f57cc54dfeb2669347edd0eb3d13af7f.tar.gz gcc-91146346f57cc54dfeb2669347edd0eb3d13af7f.tar.bz2 | |
c++: Fix bogus warnings about ignored annotations [PR114691]
The middle-end warns about the ANNOTATE_EXPR added for while/for loops
if they declare a var inside of the loop condition.
This is because the assumption is that ANNOTATE_EXPR argument is used
immediately in a COND_EXPR (later GIMPLE_COND), but simplify_loop_decl_cond
wraps the ANNOTATE_EXPR inside of a TRUTH_NOT_EXPR, so it no longer
holds.
The following patch fixes that by adding the TRUTH_NOT_EXPR inside of the
ANNOTATE_EXPR argument if any.
2024-04-12 Jakub Jelinek <jakub@redhat.com>
PR c++/114691
* semantics.cc (simplify_loop_decl_cond): Use cp_build_unary_op with
TRUTH_NOT_EXPR on ANNOTATE_EXPR argument (if any) rather than
ANNOTATE_EXPR itself.
* g++.dg/ext/pr114691.C: New test.
Diffstat (limited to 'gcc/cp/module.cc')
0 files changed, 0 insertions, 0 deletions