diff options
author | David Malcolm <dmalcolm@redhat.com> | 2021-07-15 15:01:57 -0400 |
---|---|---|
committer | David Malcolm <dmalcolm@redhat.com> | 2021-07-15 15:01:57 -0400 |
commit | a9241df96e1950c630550ada9371c0b4a03496cf (patch) | |
tree | 8223a597e534cc582599264829b4c0bb2e7f7ac6 /gcc/tree-vect-patterns.c | |
parent | 797358f42fab5ee58a893b68ed18f6ea05eff634 (diff) | |
download | gcc-a9241df96e1950c630550ada9371c0b4a03496cf.zip gcc-a9241df96e1950c630550ada9371c0b4a03496cf.tar.gz gcc-a9241df96e1950c630550ada9371c0b4a03496cf.tar.bz2 |
analyzer: handle self-referential phis
gcc/analyzer/ChangeLog:
* state-purge.cc (self_referential_phi_p): New.
(state_purge_per_ssa_name::process_point): Don't purge an SSA name
at its def-stmt if the def-stmt is self-referential.
gcc/testsuite/ChangeLog:
* gcc.dg/analyzer/phi-1.c: New test.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'gcc/tree-vect-patterns.c')
0 files changed, 0 insertions, 0 deletions