diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2021-11-15 16:12:37 -0500 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2021-11-16 10:23:04 -0500 |
| commit | e1c0c908f85816240b685a5be4f0e5a0e6634979 (patch) | |
| tree | eed86c6c8fdd09e16f34f7e87bb0e35573d33f88 /gcc/gimple-fold.c | |
| parent | 132f1c27770fa6dafdf14591878d301aedd5ae16 (diff) | |
| download | gcc-e1c0c908f85816240b685a5be4f0e5a0e6634979.zip gcc-e1c0c908f85816240b685a5be4f0e5a0e6634979.tar.gz gcc-e1c0c908f85816240b685a5be4f0e5a0e6634979.tar.bz2 | |
analyzer: fix overeager sharing of bounded_range instances [PR102662]
This was leading to an assertion failure ICE on a switch stmt when using
-fstrict-enums, due to erroneously reusing a range involving one enum
with a range involving a different enum.
gcc/analyzer/ChangeLog:
PR analyzer/102662
* constraint-manager.cc (bounded_range::operator==): Require the
types to be the same for equality.
gcc/testsuite/ChangeLog:
PR analyzer/102662
* g++.dg/analyzer/pr102662.C: New test.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'gcc/gimple-fold.c')
0 files changed, 0 insertions, 0 deletions