gcc/testsuite/gcc.dg/analyzer/pragma-1.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

/* Verify that we can disable analyzer warnings via pragmas.  */

#include <stdlib.h>

void test_1 (void *ptr)
{
  free (ptr);
  free (ptr); /* { dg-warning "double-'free'" } */
}

void test_2 (void *ptr)
{
  _Pragma("GCC diagnostic push")
  _Pragma("GCC diagnostic ignored \"-Wanalyzer-double-free\"")

  free (ptr);
  free (ptr);  /* { dg-bogus "double-'free'" } */

  _Pragma("GCC diagnostic pop")
}

void test_3 (void *ptr)
{
  free (ptr);
  free (ptr);  /* { dg-warning "double-'free'" } */
}