aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/c-c++-common/analyzer/atomic-builtins-haproxy-proxy.c
blob: fbe89f7dfbbc4ff40ffaaba35e6ce6dcd0700917 (plain)
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
51
52
53
54
55
/* Reduced from haproxy-2.7.1's proxy.c  */

/* { dg-require-effective-target sync_int_long_stack } */
/* { dg-require-effective-target sync_int_long } */

typedef __SIZE_TYPE__ size_t;

extern void* malloc(size_t __size)
  __attribute__((__nothrow__, __leaf__, __malloc__, __alloc_size__(1)));

extern void free(void* __ptr) __attribute__((__nothrow__, __leaf__));

struct error_snapshot
{
  /* [..snip...] */
};

struct proxy
{
  /* [..snip...] */
  struct error_snapshot *invalid_req, *invalid_rep;
  /* [..snip...] */
};

extern unsigned int error_snapshot_id;

void
proxy_capture_error(struct proxy* proxy,
		    int is_back)
{
  struct error_snapshot* es;
  unsigned int ev_id;

  /* [...snip...] */

  ev_id = __atomic_fetch_add(&error_snapshot_id, 1, 5);

  /* [...snip...] */

  es = (struct error_snapshot *) malloc(sizeof(*es));
  if (!es)
    return;

  /* [...snip...] */

  if (is_back) {
    es = __atomic_exchange_n(&proxy->invalid_rep, es, 4); /* { dg-bogus "leak" } */
  } else {
    es = __atomic_exchange_n(&proxy->invalid_req, es, 4); /* { dg-bogus "leak" } */
  }

  /* [...snip...] */

  free(es);
}