]> git.ipfire.org Git - thirdparty/gcc.git/commit
analyzer: use tainted_allocation_size::m_mem_space [PR105017]
authorDavid Malcolm <dmalcolm@redhat.com>
Wed, 23 Mar 2022 12:37:06 +0000 (08:37 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Wed, 23 Mar 2022 12:37:06 +0000 (08:37 -0400)
commite6a3991ea15c0b14117b5693d77e15fd0477ce51
tree018e41209bb84b124cb0184a440d7923ca1016d4
parent160b095fc9ded4eaa2bf4d49bd97319f4aabff0a
analyzer: use tainted_allocation_size::m_mem_space [PR105017]

gcc/analyzer/ChangeLog:
PR analyzer/105017
* sm-taint.cc (taint_diagnostic::subclass_equal_p): Check
m_has_bounds as well as m_arg.
(tainted_allocation_size::subclass_equal_p): Chain up to base
class implementation.  Also check m_mem_space.
(tainted_allocation_size::emit): Add note showing stack-based vs
heap-based allocations.

gcc/testsuite/ChangeLog:
PR analyzer/105017
* gcc.dg/analyzer/taint-alloc-1.c: Add expected messages relating
to heap vs stack.

Signed-off-by: David Malcolm <dmalcolm@redhat.com>
gcc/analyzer/sm-taint.cc
gcc/testsuite/gcc.dg/analyzer/taint-alloc-1.c