1  /* { dg-additional-options "-fno-analyzer-suppress-followups" } */
       2  
       3  #include "analyzer-decls.h"
       4  
       5  extern int pipe(int pipefd[2]);
       6  extern int close(int fd);
       7  
       8  void
       9  test_leak (void)
      10  {
      11    int fds[2];
      12    if (pipe (fds) == -1) /* { dg-message "when 'pipe' succeeds" } */
      13      /* { dg-message "opened here as read-write" "sm msg" { target *-*-* } .-1 }} */
      14      return;
      15  } /* { dg-line leak } */
      16  /* { dg-warning "leak of file descriptor 'fds\\\[0\\\]'" "leak of 0" { target *-*-* } leak } */
      17  /* { dg-warning "leak of file descriptor 'fds\\\[1\\\]'" "leak of 1" { target *-*-* } leak } */
      18  /* { dg-message "'fds\\\[0\\\]' leaks here" "final msg 0" { target *-*-* } leak }} */
      19  /* { dg-message "'fds\\\[1\\\]' leaks here" "final msg 1" { target *-*-* } leak }} */
      20  
      21  void
      22  test_close (void)
      23  {
      24    int fds[2];
      25    if (pipe (fds) == -1)
      26      return;
      27    __analyzer_describe (0, fds[0]); /* { dg-warning "CONJURED" } */
      28    __analyzer_describe (0, fds[1]); /* { dg-warning "CONJURED" } */
      29    close (fds[0]);
      30    close (fds[1]);
      31  }
      32  
      33  void
      34  test_unchecked (void)
      35  {
      36    int fds[2];
      37    pipe (fds); /* { dg-message "when 'pipe' fails" } */
      38    close (fds[0]); /* { dg-warning "use of uninitialized value 'fds\\\[0\\\]'" } */
      39    close (fds[1]); /* { dg-warning "use of uninitialized value 'fds\\\[1\\\]'" } */
      40  }