Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gcc.dg/analyzer/analyzer-verbosity-2a.c @ 158:494b0b89df80 default tip
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 25 May 2020 18:13:55 +0900 |
parents | 2b5abeee2509 |
children |
line wrap: on
line source
/* { dg-additional-options "-fanalyzer-verbosity=2" } */ #include <stdio.h> extern int foo (); extern void bar (); void test (const char *path, int flag) { FILE *fp = fopen (path, "r"); /* { dg-message "opened here" } */ /* We shouldn't report this control flow at -fanalyzer-verbosity=2. */ if (foo ()) /* { dg-bogus "" } */ bar (); else bar (); if (flag) /* { dg-message "when 'flag == 0'" } */ fclose (fp); } /* { dg-warning "leak of FILE 'fp'" } */