[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