gcc/testsuite/c-c++-common/Wfree-nonheap-object.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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50

/* Verify that built-in forms of functions can be used interchangeably
   with their ordinary (library) forms in attribute malloc.
   { dg-do compile }
   { dg-options "-Wall" } */

char* f (void) __attribute__ ((malloc (__builtin_free)));

#if __cplusplus
extern "C" {
#endif

void free (void*);

#if __cplusplus
}
#endif

char* g (void) __attribute__ ((malloc (free)));


void test_nowarm (void)
{
  char *p = f ();
  free (p);

  p = g ();
  free (p);

  p = f ();
  __builtin_free (p);

  p = g ();
  __builtin_free (p);
}


void test_warn (void)
{
  char *p = f ();
  free (p + 1);               // { dg-warning "'free|void free\\(void\\*\\)' called on pointer 'p|<unknown>' with nonzero offset" }

  p = g ();
  free (p + 2);               // { dg-warning "'free|void free\\(void\\*\\)' called on pointer 'p|<unknown>' with nonzero offset" }

  p = f ();
  __builtin_free (p + 3);     // { dg-warning "'__builtin_free|void __builtin_free\\(void\\*\\)' called on pointer 'p|<unknown>' with nonzero offset" }

  p = g ();
  __builtin_free (p + 4);     // { dg-warning "'__builtin_free|void __builtin_free\\(void\\*\\)' called on pointer 'p|<unknown>' with nonzero offset" }
}