[gcc r16-8341] testsuite: analyzer: drop stderr from deref-before-check-2.c
Alexandre Oliva
aoliva@gcc.gnu.org
Tue Mar 31 01:05:09 GMT 2026
https://gcc.gnu.org/g:f480acd7fb6330c66d10eb44f1d160b9e6f95b60
commit r16-8341-gf480acd7fb6330c66d10eb44f1d160b9e6f95b60
Author: Alexandre Oliva <oliva@adacore.com>
Date: Mon Mar 30 21:57:34 2026 -0300
testsuite: analyzer: drop stderr from deref-before-check-2.c
On some VxWorks targets, stderr is #defined to a function call, and
this confuses the analyzer in test_1, so we skip the warning. That
appears to reveal a bug in the analyzer, but it doesn't seem to be
what the test was meant to test, so I'm dropping this unintended
feature from this testcase and filing PR124672 with a testcase to
reproduce it elsewhere.
for gcc/testsuite/ChangeLog
* c-c++-common/analyzer/deref-before-check-2.c (test_1):
Drop stderr.
Diff:
---
gcc/testsuite/c-c++-common/analyzer/deref-before-check-2.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/gcc/testsuite/c-c++-common/analyzer/deref-before-check-2.c b/gcc/testsuite/c-c++-common/analyzer/deref-before-check-2.c
index c0409c42d898..981635af7279 100644
--- a/gcc/testsuite/c-c++-common/analyzer/deref-before-check-2.c
+++ b/gcc/testsuite/c-c++-common/analyzer/deref-before-check-2.c
@@ -8,7 +8,7 @@ struct st
int test_1 (struct st *p)
{
- fprintf (stderr, "str: %s\n", p->str); /* { dg-message "pointer 'p' is dereferenced here" } */
+ printf ("str: %s\n", p->str); /* { dg-message "pointer 'p' is dereferenced here" } */
if (!p) /* { dg-warning "check of 'p' for NULL after already dereferencing it" } */
return -1;
return p->i;
More information about the Gcc-cvs
mailing list