From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2209) id BAA963858407; Thu, 20 Jan 2022 23:43:04 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org BAA963858407 MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: David Malcolm To: gcc-cvs@gcc.gnu.org Subject: [gcc r12-6781] analyzer: add regression test [PR103685] X-Act-Checkin: gcc X-Git-Author: David Malcolm X-Git-Refname: refs/heads/master X-Git-Oldrev: d2ad748eeef0dd260f3993b8dcbffbded3240a0a X-Git-Newrev: f5a9d76be849b4cf20b1b687febc34a937381dc3 Message-Id: <20220120234304.BAA963858407@sourceware.org> Date: Thu, 20 Jan 2022 23:43:04 +0000 (GMT) X-BeenThere: gcc-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 20 Jan 2022 23:43:04 -0000 https://gcc.gnu.org/g:f5a9d76be849b4cf20b1b687febc34a937381dc3 commit r12-6781-gf5a9d76be849b4cf20b1b687febc34a937381dc3 Author: David Malcolm Date: Wed Jan 19 12:09:09 2022 -0500 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 Diff: --- gcc/testsuite/gcc.dg/analyzer/torture/pr103685.c | 33 ++++++++++++++++++++++++ 1 file changed, 33 insertions(+) diff --git a/gcc/testsuite/gcc.dg/analyzer/torture/pr103685.c b/gcc/testsuite/gcc.dg/analyzer/torture/pr103685.c new file mode 100644 index 00000000000..1b222487417 --- /dev/null +++ b/gcc/testsuite/gcc.dg/analyzer/torture/pr103685.c @@ -0,0 +1,33 @@ +typedef struct ec_key_st EC_KEY; +typedef struct ec_group_st EC_GROUP; +typedef struct R3410_ec { + int nid; + EC_GROUP *group; +} R3410_ec_params; +extern R3410_ec_params R3410_2012_512_paramset[]; + +static R3410_ec_params *gost_nid2params(int nid) { + R3410_ec_params *params; + + params = R3410_2012_512_paramset; + while (params->nid != 0) { + if (params->nid == nid) + return params; + params++; + } + + return ((void *)0); +} + +int fill_GOST_EC_params(EC_KEY *eckey, int nid) { + R3410_ec_params *params = gost_nid2params(nid); + if (!eckey || !params) { + return 0; + } + + if (params->group) { + return 1; + } + + return 0; +}