diff options
author | David Malcolm <dmalcolm@redhat.com> | 2022-02-07 14:00:55 -0500 |
---|---|---|
committer | David Malcolm <dmalcolm@redhat.com> | 2022-02-07 18:32:47 -0500 |
commit | 0c04ac0e15830b94a9f1e0715d92a4a2558dda03 (patch) | |
tree | 4edd29d207a8e3be4b4a472930cea6fa518b1fdf /gcc/cp/constraint.cc | |
parent | 9d2c0fad59745bf67aa6471e8c9e96c351f0de59 (diff) | |
download | gcc-0c04ac0e15830b94a9f1e0715d92a4a2558dda03.zip gcc-0c04ac0e15830b94a9f1e0715d92a4a2558dda03.tar.gz gcc-0c04ac0e15830b94a9f1e0715d92a4a2558dda03.tar.bz2 |
analyzer: fix ICE on realloc of non-heap [PR104417]
gcc/analyzer/ChangeLog:
PR analyzer/104417
* sm-taint.cc (tainted_allocation_size::tainted_allocation_size):
Remove overzealous assertion.
(tainted_allocation_size::emit): Likewise.
(region_model::check_dynamic_size_for_taint): Likewise.
gcc/testsuite/ChangeLog:
PR analyzer/104417
* gcc.dg/analyzer/pr104417.c: New test.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'gcc/cp/constraint.cc')
0 files changed, 0 insertions, 0 deletions