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 /example.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 'example.c')
-rw-r--r--example.c4
1 files changed, 3 insertions, 1 deletions
diff --git a/example.c b/example.c
index f6a9c5d..538bc9a 100644
--- a/example.c
+++ b/example.c
@@ -80,6 +80,8 @@ static const char* opcodes[] = {
[OP_PHI] = "phi",
[OP_PHISOURCE] = "phisrc",
[OP_CAST] = "cast",
+ [OP_SCAST] = "scast",
+ [OP_FPCAST] = "fpcast",
[OP_PTRCAST] = "ptrcast",
[OP_CALL] = "call",
[OP_VANEXT] = "va_next",
@@ -1438,7 +1440,7 @@ static void generate_one_insn(struct instruction *insn, struct bb_state *state)
generate_compare(state, insn);
break;
- case OP_CAST: case OP_PTRCAST:
+ case OP_CAST: case OP_SCAST: case OP_FPCAST: case OP_PTRCAST:
generate_cast(state, insn);
break;