diff options
Diffstat (limited to 'gcc/testsuite/gcc.dg/analyzer/file-1.c')
| -rw-r--r-- | gcc/testsuite/gcc.dg/analyzer/file-1.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/analyzer/file-1.c b/gcc/testsuite/gcc.dg/analyzer/file-1.c index ba516afc8af..8531fb0296c 100644 --- a/gcc/testsuite/gcc.dg/analyzer/file-1.c +++ b/gcc/testsuite/gcc.dg/analyzer/file-1.c @@ -47,3 +47,11 @@ test_4 (const char *path) return; /* { dg-warning "leak of FILE 'f'" } */ } + +void +test_5 (FILE *f, const char *msg) +{ + fclose (f); /* { dg-message "\\(1\\) file closed here" } */ + fprintf (f, "foo: %s", msg); /* { dg-warning "use of closed FILE 'f'" } */ + /* { dg-message "\\(2\\) use of closed FILE 'f'; closed at \\(1\\)" "" { target *-*-* } .-1 } */ +} |