From c9a19621a07e246385ae075b61283140b23c3b5a Mon Sep 17 00:00:00 2001 From: Christophe Lyon Date: Tue, 23 May 2023 09:20:05 +0000 Subject: testsuite, analyzer: Fix testcases with fclose The gcc.dg/analyzer/data-model-4.c and gcc.dg/analyzer/torture/conftest-1.c fail with recent glibc headers and succeed with older headers. The new error message is: warning: use of possibly-NULL 'f' where non-null expected [CWE-690] [-Wanalyzer-possible-null-argument] Like similar previous fixes in this area, this patch updates the testcase so that this warning isn't reported. 2023-05-23 Christophe Lyon gcc/testsuite/ * gcc.dg/analyzer/data-model-4.c: Exit if fopen returns NULL. * gcc.dg/analyzer/torture/conftest-1.c: Likewise. --- gcc/testsuite/gcc.dg/analyzer/data-model-4.c | 2 ++ gcc/testsuite/gcc.dg/analyzer/torture/conftest-1.c | 2 ++ 2 files changed, 4 insertions(+) (limited to 'gcc') diff --git a/gcc/testsuite/gcc.dg/analyzer/data-model-4.c b/gcc/testsuite/gcc.dg/analyzer/data-model-4.c index 33f9087..d41868d 100644 --- a/gcc/testsuite/gcc.dg/analyzer/data-model-4.c +++ b/gcc/testsuite/gcc.dg/analyzer/data-model-4.c @@ -8,6 +8,8 @@ int main () { FILE *f = fopen ("conftest.out", "w"); + if (f == NULL) + return 1; return ferror (f) || fclose (f) != 0; ; diff --git a/gcc/testsuite/gcc.dg/analyzer/torture/conftest-1.c b/gcc/testsuite/gcc.dg/analyzer/torture/conftest-1.c index 0cf85f0..9631bcf 100644 --- a/gcc/testsuite/gcc.dg/analyzer/torture/conftest-1.c +++ b/gcc/testsuite/gcc.dg/analyzer/torture/conftest-1.c @@ -3,6 +3,8 @@ int main () { FILE *f = fopen ("conftest.out", "w"); + if (f == NULL) + return 1; return ferror (f) || fclose (f) != 0; ; -- cgit v1.1