1  typedef struct FILE   FILE;
       2  
       3  FILE* fopen (const char*, const char*);
       4  int   fclose (FILE*);
       5  #define SEEK_SET        0
       6  int fseek (FILE *, long int, int);
       7  
       8  void
       9  test_1 (const char *path)
      10  {
      11    FILE *f = fopen (path, "r"); /* { dg-message "opened here" } */
      12    if (!f)
      13      return;
      14  
      15    fclose (f); /* { dg-message "\\(4\\) \\.\\.\\.to here" "to here" } */
      16    /* { dg-message "\\(5\\) first 'fclose' here" "first fclose" { target *-*-* } .-1 } */
      17    fclose (f); /* { dg-warning "double 'fclose' of FILE 'f' \\\[CWE-1341\\\]" "warning" } */ 
      18    /* { dg-message "second 'fclose' here; first 'fclose' was at \\(5\\)" "second fclose" { target *-*-* } .-1 } */
      19  }
      20  
      21  /* Swallow -Wuse-after-free issued for the same problem
      22     { dg-prune-output "-Wuse-after-free" } */
      23  
      24  void
      25  test_2 (const char *src, const char *dst)
      26  {
      27    FILE *f_in = fopen (src, "r"); /* { dg-message "\\(1\\) opened here" } */
      28    if (!f_in)
      29      return;
      30  
      31    FILE *f_out = fopen (src, "w");
      32    if (!f_out)
      33      return; /* { dg-warning "leak of FILE 'f_in'" "warning" } */
      34    /* { dg-message "\\(7\\) 'f_in' leaks here; was opened at \\(1\\)" "event" { target *-*-* } .-1 } */
      35  
      36    fclose (f_out);
      37    fclose (f_in);
      38  }
      39  
      40  void
      41  test_3 (const char *path)
      42  {
      43    FILE *f = fopen (path, "r"); /* { dg-message "opened here" } */
      44    return; /* { dg-warning "leak of FILE 'f'" } */ 
      45  }
      46  
      47  void
      48  test_4 (const char *path)
      49  {
      50    FILE *f = fopen (path, "r"); /* { dg-message "opened here" } */
      51  
      52    /* Ensure we know about common fns that are known to not close the
      53       file (e.g. "fseek").  */
      54    fseek (f, 1024, SEEK_SET);
      55  
      56    return; /* { dg-warning "leak of FILE 'f'" } */ 
      57  }
      58  
      59  void
      60  test_5 (const char *path)
      61  {
      62    FILE *f = fopen (path, "r"); /* { dg-message "opened here" } */
      63    return; /* { dg-warning "leak of FILE 'f'" } */ 
      64  }