https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104943
--- Comment #1 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by David Malcolm <dmalc...@gcc.gnu.org>: https://gcc.gnu.org/g:1c1daca1cdf7bc0156d57bb2b9083ee70c66b000 commit r12-7717-g1c1daca1cdf7bc0156d57bb2b9083ee70c66b000 Author: David Malcolm <dmalc...@redhat.com> Date: Thu Mar 17 18:12:46 2022 -0400 analyzer: add tests of boxed values [PR104943] This patch adds various regression tests as preparatory work for purging irrelevant local decls from state (PR analyzer/104943) gcc/testsuite/ChangeLog: PR analyzer/104943 * gcc.dg/analyzer/boxed-malloc-1-29.c: New test. * gcc.dg/analyzer/boxed-malloc-1.c: New test. * gcc.dg/analyzer/taint-alloc-5.c: New test. * gcc.dg/analyzer/torture/boxed-int-1.c: New test. * gcc.dg/analyzer/torture/boxed-ptr-1.c: New test. Signed-off-by: David Malcolm <dmalc...@redhat.com>
