#include <stdio.h>
#include <stdlib.h>
#include <string.h>
int main ()
{
volatile int *p;
__mf_set_options ("-wipe-stack -no-check-initialization");
{
volatile int array [10];
p = & array[0];
array[0] = 2;
array[9] = 5;
}
__mf_set_options ("-no-wipe-stack");
{
volatile int array2[10];
if (p != & array2[0])
exit (0);
array2[5] = 6;
if (p[0] == 2 || p[9] == 5 || p[5] != 6)
abort() ;
}
{
volatile int array3[10];
if (p != & array3[0])
exit (0);
array3[1] = 2;
if (p[5] != 6 || p[1] != 2)
abort() ;
}
return 0;
}