aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/tree-ssa/vrp122.c
diff options
context:
space:
mode:
authorAlexander Monakov <amonakov@ispras.ru>2025-05-12 23:23:31 +0300
committerAlexander Monakov <amonakov@ispras.ru>2025-05-15 14:07:52 +0300
commit5c012971969db94f88335d9bacd192d318564daa (patch)
tree64cb9c4044829a6f49de6b83bf600a1e83e831ed /gcc/testsuite/gcc.dg/tree-ssa/vrp122.c
parentf99017c3125f4400cf6a098cf5b33d32fe3e6645 (diff)
downloadgcc-master.zip
gcc-master.tar.gz
gcc-master.tar.bz2
tighten type verification for CONJ_EXPRHEADtrunkmaster
As a followup to PAREN_EXPR verification, let's ensure that CONJ_EXPR is only used with COMPLEX_TYPE. While at it, move the whole block towards the end of the switch, because unlike the other entries it needs to break out of the switch, not immediately return from the function, as after the switch we check that types of LHS and RHS match. Refactor a bit to avoid repeated blocks with debug_generic_expr. gcc/ChangeLog: * tree-cfg.cc (verify_gimple_assign_unary): Accept only COMPLEX_TYPE for CONJ_EXPR.
Diffstat (limited to 'gcc/testsuite/gcc.dg/tree-ssa/vrp122.c')
0 files changed, 0 insertions, 0 deletions