blob: 27cb11a07889ac1062ff13e789b1ae151468bd48 [file] [log] [blame]
sewardjde4a1d02002-03-22 01:27:54 +00001
2#include <stdio.h>
3#include <stdlib.h>
4
njn4d5490d2002-10-04 14:16:38 +00005#include "../memcheck.h"
sewardjde4a1d02002-03-22 01:27:54 +00006
7int main1 ( void )
8{
9 int xxx, i;
10 for (i = 0; i < 10; i++) VALGRIND_CHECK_DEFINED(xxx);
11 return 0;
12}
13
14int main ( void )
15{
16 int i, sum, m;
17 char* aa = calloc(100,1);
18 sum = 0;
19
20 VALGRIND_CHECK_READABLE(aa,100);
21
22 m = VALGRIND_MAKE_WRITABLE( &aa[49], 1 );
23 VALGRIND_CHECK_WRITABLE(aa,100);
24
25 printf("m_na: returned value is %d\n", m );
26
27 for (i = 0; i < 100; i++)
28 sum += aa[i];
njn4d5490d2002-10-04 14:16:38 +000029 printf("sum is %s\n", sum > 0 ? "positive" : "non-positive");
sewardjde4a1d02002-03-22 01:27:54 +000030
31 m = VALGRIND_DISCARD(m);
32 printf("m_rm: returned value is %d\n", m );
33
34 for (i = 0; i < 100; i++)
35 sum += aa[i];
njn4d5490d2002-10-04 14:16:38 +000036 printf("sum is %s\n", sum > 0 ? "positive" : "non-positive");
sewardjde4a1d02002-03-22 01:27:54 +000037
38 return 0;
39}