diff options
author | 2005-02-04 18:24:36 -0700 | |
---|---|---|
committer | 2005-04-07 21:06:21 -0700 | |
commit | 4b369282cf9d36c1a7306d0d1571e39fa5b6bfaa (patch) | |
tree | d7f7c6b0a040e0fdc0bc9b095bab7903104bc91b /example.c | |
parent | Make sure we evaluate pointer comparisons as unsigned. (diff) | |
download | sparse-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.c | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -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; |