diff options
| author | Andrew Pinski <quic_apinski@quicinc.com> | 2025-05-12 18:58:32 -0700 |
|---|---|---|
| committer | Andrew Pinski <quic_apinski@quicinc.com> | 2025-05-13 08:29:12 -0700 |
| commit | e4fb1b435a65f505b0172b4f0213483c3a07adbf (patch) | |
| tree | 50af380033466ee8e8b0019d90e8ebbad01753c3 /libgfortran/generated/maxloc1_8_s1.c | |
| parent | 232f22615857cd83735770d82c7c0178e43bee19 (diff) | |
| download | gcc-e4fb1b435a65f505b0172b4f0213483c3a07adbf.zip gcc-e4fb1b435a65f505b0172b4f0213483c3a07adbf.tar.gz gcc-e4fb1b435a65f505b0172b4f0213483c3a07adbf.tar.bz2 | |
verifier: Fix up PAREN_EXPR verification [PR118868]
The verification added in r12-1608-g2f1686ff70b25f, was incorrect
for PAREN_EXPR, pointer types should be valid for PAREN_EXPR.
Also for PAREN_EXPR, aggregate types don't make sense (currently
they ICE much earlier in the gimplifier rather than error message) so
we should disallow them here too.
Bootstrapped and tested on x86_64-linux-gnu.
PR middle-end/118868
gcc/ChangeLog:
* tree-cfg.cc (verify_gimple_assign_unary): Allow pointers
but disallow aggregate types for PAREN_EXPR.
gcc/testsuite/ChangeLog:
* c-c++-common/pr118868-1.c: New test.
Signed-off-by: Andrew Pinski <quic_apinski@quicinc.com>
Diffstat (limited to 'libgfortran/generated/maxloc1_8_s1.c')
0 files changed, 0 insertions, 0 deletions