1  /* { dg-skip-if "" { *-*-* } { "-fno-fat-lto-objects" } { "" } } */
       2  
       3  int ja;
       4  
       5  int *
       6  qd (void);
       7  
       8  void
       9  lk (void)
      10  {
      11    int *bs, *dx;
      12  
      13    bs = dx = !!ja ? qd () : 0; /* { dg-message "following 'true' branch" } */
      14  
      15    __builtin_free (dx);
      16    __builtin_free (bs); /* { dg-warning "double-'free'" } */
      17  }