1de4a1d01951937632098a6cda45859afa587a06fsewardj
2de4a1d01951937632098a6cda45859afa587a06fsewardj#include <stdio.h>
3de4a1d01951937632098a6cda45859afa587a06fsewardj#include <stdlib.h>
4de4a1d01951937632098a6cda45859afa587a06fsewardj
54d5490d340b9c796c55c8755aab8b4a57fac1986njn#include "../memcheck.h"
6de4a1d01951937632098a6cda45859afa587a06fsewardj
7de4a1d01951937632098a6cda45859afa587a06fsewardjint main1 ( void )
8de4a1d01951937632098a6cda45859afa587a06fsewardj{
9de4a1d01951937632098a6cda45859afa587a06fsewardj  int xxx, i;
1006bc722457ffe12e056d2f40d0d2f5c8711b541fflorian  for (i = 0; i < 10; i++) (void) VALGRIND_CHECK_VALUE_IS_DEFINED(xxx);
11de4a1d01951937632098a6cda45859afa587a06fsewardj  return 0;
12de4a1d01951937632098a6cda45859afa587a06fsewardj}
13de4a1d01951937632098a6cda45859afa587a06fsewardj
14de4a1d01951937632098a6cda45859afa587a06fsewardjint main ( void )
15de4a1d01951937632098a6cda45859afa587a06fsewardj{
16de4a1d01951937632098a6cda45859afa587a06fsewardj   int i, sum, m;
17de4a1d01951937632098a6cda45859afa587a06fsewardj   char* aa = calloc(100,1);
18de4a1d01951937632098a6cda45859afa587a06fsewardj   sum = 0;
19de4a1d01951937632098a6cda45859afa587a06fsewardj
2006bc722457ffe12e056d2f40d0d2f5c8711b541fflorian   (void) VALGRIND_CHECK_MEM_IS_DEFINED(aa,100);
21de4a1d01951937632098a6cda45859afa587a06fsewardj
22dbf7ca71128c6787ba8a99cbd03c3773ff572d96njn   m = VALGRIND_MAKE_MEM_UNDEFINED( &aa[49], 1 );
2306bc722457ffe12e056d2f40d0d2f5c8711b541fflorian   (void) VALGRIND_CHECK_MEM_IS_ADDRESSABLE(aa,100);
24de4a1d01951937632098a6cda45859afa587a06fsewardj
25de4a1d01951937632098a6cda45859afa587a06fsewardj   printf("m_na: returned value is %d\n", m );
26de4a1d01951937632098a6cda45859afa587a06fsewardj
27de4a1d01951937632098a6cda45859afa587a06fsewardj   for (i = 0; i < 100; i++)
28de4a1d01951937632098a6cda45859afa587a06fsewardj     sum += aa[i];
294d5490d340b9c796c55c8755aab8b4a57fac1986njn   printf("sum is %s\n", sum > 0 ? "positive" : "non-positive");
30de4a1d01951937632098a6cda45859afa587a06fsewardj
31de4a1d01951937632098a6cda45859afa587a06fsewardj   m = VALGRIND_DISCARD(m);
32de4a1d01951937632098a6cda45859afa587a06fsewardj   printf("m_rm: returned value is %d\n", m );
33de4a1d01951937632098a6cda45859afa587a06fsewardj
34de4a1d01951937632098a6cda45859afa587a06fsewardj   for (i = 0; i < 100; i++)
35de4a1d01951937632098a6cda45859afa587a06fsewardj     sum += aa[i];
364d5490d340b9c796c55c8755aab8b4a57fac1986njn   printf("sum is %s\n", sum > 0 ? "positive" : "non-positive");
37de4a1d01951937632098a6cda45859afa587a06fsewardj
38de4a1d01951937632098a6cda45859afa587a06fsewardj   return 0;
39de4a1d01951937632098a6cda45859afa587a06fsewardj}
40