1  /* Verify that we can disable analyzer warnings via pragmas.  */
       2  
       3  #include <stdlib.h>
       4  
       5  void test_1 (void *ptr)
       6  {
       7    free (ptr);
       8    free (ptr); /* { dg-warning "double-'free'" } */
       9  }
      10  
      11  void test_2 (void *ptr)
      12  {
      13    _Pragma("GCC diagnostic push")
      14    _Pragma("GCC diagnostic ignored \"-Wanalyzer-double-free\"")
      15  
      16    free (ptr);
      17    free (ptr);  /* { dg-bogus "double-'free'" } */
      18  
      19    _Pragma("GCC diagnostic pop")
      20  }
      21  
      22  void test_3 (void *ptr)
      23  {
      24    free (ptr);
      25    free (ptr);  /* { dg-warning "double-'free'" } */
      26  }