projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e01975f) | patch
analyzer: fix ICE due to comparing int and real constants (PR 93547)
authorDavid Malcolm <dmalcolm@redhat.com>
Mon, 3 Feb 2020 11:34:20 +0000 (06:34 -0500)
committerDavid Malcolm <dmalcolm@redhat.com>
Mon, 3 Feb 2020 19:23:27 +0000 (14:23 -0500)
commit287ccd3bd6b92f11ec90c52ffccb764aacfadb89
treec838e4a5e049a9f481f05e28e2408e8ed1092922tree
parente01975f97cbb1a098856687058ba4f64962ee533commit | diff
analyzer: fix ICE due to comparing int and real constants (PR 93547)

gcc/analyzer/ChangeLog:
PR analyzer/93547
* constraint-manager.cc
(constraint_manager::get_or_add_equiv_class): Ensure types are
compatible before comparing constants.

gcc/testsuite/ChangeLog:
PR analyzer/93547
* gcc.dg/analyzer/pr93547.c: New test.
gcc/analyzer/ChangeLog diff | blob | history
gcc/analyzer/constraint-manager.cc diff | blob | history
gcc/testsuite/ChangeLog diff | blob | history
gcc/testsuite/gcc.dg/analyzer/pr93547.c [new file with mode: 0644] blob