gcc/testsuite/c-c++-common/analyzer/pragma-1.c

   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 }