projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 95607c1) | patch
analyzer: further fixes for comparisons between uncomparable types (PR 93450)
authorDavid Malcolm <dmalcolm@redhat.com>
Thu, 30 Jan 2020 20:21:28 +0000 (15:21 -0500)
committerDavid Malcolm <dmalcolm@redhat.com>
Fri, 31 Jan 2020 13:23:28 +0000 (08:23 -0500)
commit45eb3e4944ba93b1d4e9070c703068cfa7aaace4
tree3a633a04934802f54a2d671f38c2ef4d065702cftree
parent95607c12363712c39345e1d97f2c1aee8025e188commit | diff
analyzer: further fixes for comparisons between uncomparable types (PR 93450)

gcc/analyzer/ChangeLog:
PR analyzer/93450
* constraint-manager.cc
(constraint_manager::get_or_add_equiv_class): Only compare constants
if their types are compatible.
* region-model.cc (constant_svalue::eval_condition): Replace check
for identical types with call to types_compatible_p.
gcc/analyzer/ChangeLog diff | blob | history
gcc/analyzer/constraint-manager.cc diff | blob | history
gcc/analyzer/region-model.cc diff | blob | history