#include <stdlib.h>
void ddd ( char* x )
{
free(x);
free(x);
}
void ccc (char* x)
{
ddd(x);
}
void bbb (char* x)
{
ccc(x);
}
void aaa (char* x)
{
bbb(x);
}
void ok_to_suppress_double_free_from_this_fun(char* y)
{
aaa(y);
}
int main ( int argc, char*argv[] )
{
char* x = malloc(10);
char* y = malloc(10);
if (argc > 1)
ok_to_suppress_double_free_from_this_fun(y);
aaa(x);
return 0;
}