blob: ca8d22be7b0d21af470e7454bd2950924836e837 (
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
|
#include <stdio.h>
#include <stdlib.h>
extern void do_stuff (void);
int test (const char *filename, int flag)
{
FILE *f;
int *p, *q;
int i;
p = (int *)malloc (sizeof (int)); /* { dg-line malloc_of_p } */
if (!p) /* { dg-line test_of_p } */
{
free (p);
return -1;
}
q = (int *)malloc (sizeof (int)); /* { dg-line malloc_of_q } */
if (!q) /* { dg-line test_of_q } */
{
free (p); /* { dg-line first_free_of_p } */
/* oops: forgot the "return" here, so it falls through. */
}
do_stuff ();
free (p); /* { dg-line second_free_of_p } */
free (q);
return 0;
/* { dg-warning "double-'free' of 'p'" "warning" { target *-*-* } second_free_of_p } */
/* { dg-message "\\(1\\) allocated here" "event 1" { target *-*-* } malloc_of_p } */
/* { dg-message "\\(2\\) assuming 'p' is non-NULL" "event 2" { target *-*-* } test_of_p } */
/* { dg-message "\\(3\\) following 'false' branch \\(when 'p' is non-NULL\\)\\.\\.\\." "event 3" { target *-*-* } test_of_p } */
/* { dg-message "\\(4\\) \\.\\.\\.to here" "event 4" { target *-*-* } malloc_of_q } */
/* { dg-message "\\(5\\) following 'true' branch \\(when 'q' is NULL\\)\\.\\.\\." "event 5" { target *-*-* } test_of_q } */
/* { dg-message "\\(6\\) \\.\\.\\.to here" "event 6" { target *-*-* } first_free_of_p } */
/* { dg-message "\\(7\\) first 'free' here" "event 7" { target *-*-* } first_free_of_p } */
/* { dg-message "\\(8\\) second 'free' here; first 'free' was at \\(7\\)" "event 8" { target *-*-* } second_free_of_p } */
/* We don't care about the state changes to q. */
}
|
