diff options
Diffstat (limited to 'tests/mem_r.l')
| -rw-r--r-- | tests/mem_r.l | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tests/mem_r.l b/tests/mem_r.l index 861a7b7..ec150c0 100644 --- a/tests/mem_r.l +++ b/tests/mem_r.l @@ -87,6 +87,8 @@ static void dump_mem(FILE* fp){ void * yyalloc(yy_size_t n , void* yyscanner) { + (void)yyscanner; + void * p; int i; @@ -116,6 +118,8 @@ void * yyalloc(yy_size_t n , void* yyscanner) void * yyrealloc(void* p, yy_size_t n , void* yyscanner) { + (void)yyscanner; + int i; for (i=0; i < arrsz; i++) if ( ptrs[i].p == p){ @@ -137,6 +141,8 @@ void * yyrealloc(void* p, yy_size_t n , void* yyscanner) void yyfree(void* p , void* yyscanner) { + (void)yyscanner; + int i; for (i=0; i < arrsz; i++) if ( ptrs[i].p == p){ |