Sign in
gnu
/
gcc
/
ab810952eb7c061e37054ddd1dfe0aa033365131
/
.
/
gcc
/
testsuite
/
gcc.dg
/
analyzer
/
malloc-paths-6.c
blob: 1df6964544e275be5c995244bafd34d72465b883 [
file
] [
log
] [
blame
]
#include
<stdlib.h>
void
test
(
void
*
ptr
)
{
void
*
q
;
q
=
ptr
;
free
(
ptr
);
free
(
q
);
/* { dg-warning "double-'free' of 'q'" } */
/* The above case requires us to handle equivalence classes in
state transitions. */
}