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