diff options
| author | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2016-03-22 12:16:03 -0400 |
|---|---|---|
| committer | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2016-03-22 12:16:09 -0400 |
| commit | a67ffa423cc859ac5093337e26af9c87af4631f6 (patch) | |
| tree | 3f136f899f59ee2a465f9c8c57d3a143a6a7f226 /lisc/ssa.c | |
| parent | 337b10f6edc4d56cbf126255b3e63e6e0b7c8530 (diff) | |
| download | roux-a67ffa423cc859ac5093337e26af9c87af4631f6.tar.gz | |
check for overflow in ssa.c (abi fuzzer)
Diffstat (limited to 'lisc/ssa.c')
| -rw-r--r-- | lisc/ssa.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lisc/ssa.c b/lisc/ssa.c index 269406b..7ccd944 100644 --- a/lisc/ssa.c +++ b/lisc/ssa.c @@ -464,6 +464,8 @@ renblk(Blk *b, Name **stk, Fn *fn) t = p->to.val; if ((t=fn->tmp[t].visit)) { m = p->narg++; + if (m == NPred) + diag("ssa: too many phi arguments"); p->arg[m] = getstk(t, b, stk); p->blk[m] = b; } |