Sign in
gnu
/
gcc
/
refs/heads/devel/c++-contracts
/
.
/
gcc
/
testsuite
/
gcc.dg
/
analyzer
/
use-after-free.c
blob: d7e4bc2c6cac627fc58f53e70713876e2f669f92 [
file
] [
log
] [
blame
]
#include
<stdlib.h>
#include
"analyzer-decls.h"
struct
link
{
struct
link
*
next
;
};
int
free_a_list_badly
(
struct
link
*
n
)
{
while
(
n
)
{
free
(
n
);
/* { dg-message "freed here" } */
n
=
n
->
next
;
/* { dg-warning "use after 'free' of 'n'" } */
}
}