analyzer: add regression test [PR103685]
authorDavid Malcolm <dmalcolm@redhat.com>
Wed, 19 Jan 2022 17:09:09 +0000 (12:09 -0500)
committerDavid Malcolm <dmalcolm@redhat.com>
Thu, 20 Jan 2022 23:42:33 +0000 (18:42 -0500)
commitf5a9d76be849b4cf20b1b687febc34a937381dc3
tree0d26f30b0f7f0149eb736d709964c2b37f88e9f7
parentd2ad748eeef0dd260f3993b8dcbffbded3240a0a
analyzer: add regression test [PR103685]

PR analyzer/103685 reports a false positive from -Wanalyzer-null-dereference
seen at -O2 with GCC 11.  I can reproduce it with GCC 11, but not with
trunk; this patch adds a reduced test case that reproduces it with
GCC 11 as a regression test for GCC 12 onwards.

gcc/testsuite/ChangeLog:
PR analyzer/103685
* gcc.dg/analyzer/torture/pr103685.c: New test.

Signed-off-by: David Malcolm <dmalcolm@redhat.com>
gcc/testsuite/gcc.dg/analyzer/torture/pr103685.c [new file with mode: 0644]