projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9d2c0fa) | patch
analyzer: fix ICE on realloc of non-heap [PR104417]
authorDavid Malcolm <dmalcolm@redhat.com>
Mon, 7 Feb 2022 19:00:55 +0000 (14:00 -0500)
committerDavid Malcolm <dmalcolm@redhat.com>
Mon, 7 Feb 2022 23:32:47 +0000 (18:32 -0500)
commit0c04ac0e15830b94a9f1e0715d92a4a2558dda03
tree4edd29d207a8e3be4b4a472930cea6fa518b1fdftree | snapshot
parent9d2c0fad59745bf67aa6471e8c9e96c351f0de59commit | diff
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>
gcc/analyzer/sm-taint.cc diff | blob | history
gcc/testsuite/gcc.dg/analyzer/pr104417.c [new file with mode: 0644] blob
Domain: System / Toolchain;