Viewing file:  edges-1.c (1.39 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
typedef struct FILE FILE;
FILE* fopen (const char*, const char*);
int fclose (FILE*);
extern int foo ();
extern void bar ();
/* Verify that only significant edges are reported. */
void test_1 (const char *path, int flag)
{
FILE *fp = fopen (path, "r");
if (!fp) /* { dg-message "when 'fp' is non-NULL" } */
return;
/* We shouldn't report this control flow. */
while (foo ()) /* { dg-bogus "" } */
bar ();
if (flag) /* { dg-message "when 'flag == 0'" "branch event" } */
fclose (fp); /* { dg-bogus "leak" "warning at wrong location" { xfail *-*-* } .-1 } */
} /* { dg-warning "leak of FILE 'fp'" "warning" { xfail *-*-* } } */
// TODO(xfail): location of leak message ought to be on closing brace
void test_2 (const char *path, int flag)
{
FILE *fp = fopen (path, "r");
/* We shouldn't report this control flow. */
if (foo ()) /* { dg-bogus "" } */
bar ();
else
bar ();
if (flag) /* { dg-message "when 'flag == 0'" } */
fclose (fp);
} /* { dg-warning "leak of FILE 'fp'" } */
static void __attribute__((noinline))
called_by_test_3 (int flag)
{
if (flag)
foo ();
}
void test_3 (const char *path, int flag)
{
FILE *fp = fopen (path, "r");
/* We shouldn't report the call/return here. */
called_by_test_3 (flag); /* { dg-bogus "" } */
if (flag) /* { dg-message "when 'flag == 0'" } */
fclose (fp);
} /* { dg-warning "leak of FILE 'fp'" } */
|
