diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2020-01-30 15:21:28 -0500 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2020-01-31 08:23:28 -0500 |
| commit | 45eb3e4944ba93b1d4e9070c703068cfa7aaace4 (patch) | |
| tree | 3a633a04934802f54a2d671f38c2ef4d065702cf /gcc/analyzer/function-set.cc | |
| parent | 95607c12363712c39345e1d97f2c1aee8025e188 (diff) | |
| download | gcc-45eb3e4944ba93b1d4e9070c703068cfa7aaace4.zip gcc-45eb3e4944ba93b1d4e9070c703068cfa7aaace4.tar.gz gcc-45eb3e4944ba93b1d4e9070c703068cfa7aaace4.tar.bz2 | |
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.
Diffstat (limited to 'gcc/analyzer/function-set.cc')
0 files changed, 0 insertions, 0 deletions