aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/example.c
diff options
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
parent13299c9883c735da478d6b413df99a07d5fb75a1 (diff)
downloadsparse-dev-4b369282cf9d36c1a7306d0d1571e39fa5b6bfaa.tar.gz
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 f6a9c5d8..538bc9a3 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;