blob: ac7574788d2480ea784d03963b21c9cccb7d7d92 [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;
florian06bc7222013-10-01 22:38:43 +000010 for (i = 0; i < 10; i++) (void) VALGRIND_CHECK_VALUE_IS_DEFINED(xxx);
sewardjde4a1d02002-03-22 01:27:54 +000011 return 0;
12}
13
14int main ( void )
15{
16 int i, sum, m;
17 char* aa = calloc(100,1);
18 sum = 0;
19
florian06bc7222013-10-01 22:38:43 +000020 (void) VALGRIND_CHECK_MEM_IS_DEFINED(aa,100);
sewardjde4a1d02002-03-22 01:27:54 +000021
njndbf7ca72006-03-31 11:57:59 +000022 m = VALGRIND_MAKE_MEM_UNDEFINED( &aa[49], 1 );
florian06bc7222013-10-01 22:38:43 +000023 (void) VALGRIND_CHECK_MEM_IS_ADDRESSABLE(aa,100);
sewardjde4a1d02002-03-22 01:27:54 +000024
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}