review.tizen.org Git - platform/upstream/gcc.git/commit

author	David Malcolm <dmalcolm@redhat.com>
	Thu, 17 Mar 2022 22:12:46 +0000 (18:12 -0400)
committer	David Malcolm <dmalcolm@redhat.com>
	Fri, 18 Mar 2022 23:20:15 +0000 (19:20 -0400)
commit	1c1daca1cdf7bc0156d57bb2b9083ee70c66b000
tree	4227c05274b7535b5a5f78b311c3caccdf3aec86	tree \| snapshot
parent	0c016888ffd569c4b70722cf7df2efcc003f397b	commit \| diff

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 <dmalcolm@redhat.com>

gcc/testsuite/gcc.dg/analyzer/boxed-malloc-1-29.c	[new file with mode: 0644]	blob
gcc/testsuite/gcc.dg/analyzer/boxed-malloc-1.c	[new file with mode: 0644]	blob
gcc/testsuite/gcc.dg/analyzer/taint-alloc-5.c	[new file with mode: 0644]	blob
gcc/testsuite/gcc.dg/analyzer/torture/boxed-int-1.c	[new file with mode: 0644]	blob
gcc/testsuite/gcc.dg/analyzer/torture/boxed-ptr-1.c	[new file with mode: 0644]	blob