gcc/testsuite/gcc.dg/analyzer/pr99044-2.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

struct node
{
  struct node *next;
};

void test_1 (struct node *n)
{
  while (n)
    {
      struct node *next = n->next;
      __builtin_free (n);
      n = next;
    }
}

extern void *get_ptr (void);

void test_2 (void)
{
  void *p;
  while (p = get_ptr ())
    __builtin_free (p); /* { dg-bogus "double-'free' of 'p'" } */
}

extern void **get_ptr_ptr (void);

void test_3 (void)
{
  void **p;
  while (p = get_ptr_ptr ())
    __builtin_free (*p); /* { dg-bogus "double-'free'" } */
}

void test_4 (void)
{
  void *p = (void *)0;
  while (1)
    {
      __builtin_free (p); /* { dg-bogus "double-'free' of 'p'" } */
      p = get_ptr ();
    }
}