update

[l4.git] / l4 / pkg / valgrind / src / valgrind-3.6.0-svn / none / tests / bug129866.c

diff --git a/l4/pkg/valgrind/src/valgrind-3.6.0-svn/none/tests/bug129866.c b/l4/pkg/valgrind/src/valgrind-3.6.0-svn/none/tests/bug129866.c
index abb8b2f0eed674a60dc34a0f11133456e3e5a870..da13aca87baca7c78ffd018d46442775c808377f 100644 (file)
--- a/l4/pkg/valgrind/src/valgrind-3.6.0-svn/none/tests/bug129866.c
+++ b/l4/pkg/valgrind/src/valgrind-3.6.0-svn/none/tests/bug129866.c
@@ -25,7 +25,7 @@ char * touch_realloc (char * ptr, int size)
 
 int main ( void )
 {
-  char *a1, *b1, *a2, *b2;
+  char *a1, *b1, *a2 __attribute__((unused)), *b2 __attribute__((unused));
   printf("started\n");
   a1 = touch_malloc(1600000) ;
   b1 = touch_malloc(200000) ;