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
44
45
46
47
48
49
50
51
52
|
#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;
/* Array[] should be wiped clean at this point. */
}
__mf_set_options ("-no-wipe-stack");
{
volatile int array2[10];
/* hope that this is allocated on top of old array[] */
if (p != & array2[0])
exit (0); /* Test is not applicable. */
array2[5] = 6;
/* Old values shouldn't still be around; the new one should. */
if (p[0] == 2 || p[9] == 5 || p[5] != 6)
abort() ;
/* array2[] should not be wiped at this point! */
}
{
volatile int array3[10];
/* hope that this is allocated on top of old array[] and array2[]*/
if (p != & array3[0])
exit (0); /* Test is not applicable. */
array3[1] = 2;
/* Check that old assignment is still around. */
if (p[5] != 6 || p[1] != 2)
abort() ;
}
return 0;
}
|
