aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLinus Torvalds <torvalds@ppc970.osdl.org>2005-02-04 18:24:36 -0700
committerLinus Torvalds <torvalds@ppc970.osdl.org>2005-04-07 21:06:21 -0700
commit4b369282cf9d36c1a7306d0d1571e39fa5b6bfaa (patch)
treed7f7c6b0a040e0fdc0bc9b095bab7903104bc91b /show-parse.c
parentMake sure we evaluate pointer comparisons as unsigned. (diff)
downloadsparse-4b369282cf9d36c1a7306d0d1571e39fa5b6bfaa.tar.gz
sparse-4b369282cf9d36c1a7306d0d1571e39fa5b6bfaa.tar.bz2
sparse-4b369282cf9d36c1a7306d0d1571e39fa5b6bfaa.zip
Add compile-time "range-check" infrastructure to sparse
Diffstat (limited to 'show-parse.c')
-rw-r--r--show-parse.c11
1 files changed, 9 insertions, 2 deletions
diff --git a/show-parse.c b/show-parse.c
index 695a1be..0a75a09 100644
--- a/show-parse.c
+++ b/show-parse.c
@@ -561,11 +561,18 @@ int show_statement(struct statement *stmt)
case STMT_ASM:
printf("\tasm( .... )\n");
break;
- case STMT_INTERNAL: {
+ case STMT_CONTEXT: {
int val = show_expression(stmt->expression);
- printf("\tINTERNAL( %d )\n", val);
+ printf("\tcontext( %d )\n", val);
break;
}
+ case STMT_RANGE: {
+ int val = show_expression(stmt->range_expression);
+ int low = show_expression(stmt->range_low);
+ int high = show_expression(stmt->range_high);
+ printf("\trange( %d %d-%d)\n", val, low, high);
+ break;
+ }
}
return 0;
}