diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2020-02-10 16:47:21 -0500 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2020-02-11 13:32:51 -0500 |
| commit | cd28b75921354c64fd4c8a1c238991e522abc38e (patch) | |
| tree | 42067c26f5d8b61751c50b6b73e10b91fa50deb1 /gcc/tree-ssa-alias.c | |
| parent | 5e17c1bdadbbd5606d869b1178ed3e653f931cda (diff) | |
| download | gcc-cd28b75921354c64fd4c8a1c238991e522abc38e.zip gcc-cd28b75921354c64fd4c8a1c238991e522abc38e.tar.gz gcc-cd28b75921354c64fd4c8a1c238991e522abc38e.tar.bz2 | |
analyzer: fix ICE with equiv_class constant (PR 93649)
gcc/analyzer/ChangeLog:
PR analyzer/93649
* constraint-manager.cc (constraint_manager::add_constraint): When
merging equivalence classes and updating m_constant, also update
m_cst_sid.
(constraint_manager::validate): If m_constant is non-NULL assert
that m_cst_sid is non-null and is valid.
gcc/testsuite/ChangeLog:
PR analyzer/93649
* gcc.dg/analyzer/torture/pr93649.c: New test.
Diffstat (limited to 'gcc/tree-ssa-alias.c')
0 files changed, 0 insertions, 0 deletions