From a67ffa423cc859ac5093337e26af9c87af4631f6 Mon Sep 17 00:00:00 2001
From: Quentin Carbonneaux <quentin.carbonneaux@yale.edu>
Date: Tue, 22 Mar 2016 12:16:03 -0400
Subject: check for overflow in ssa.c (abi fuzzer)

---
 lisc/ssa.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'lisc/ssa.c')

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;
 			}
-- 
cgit 1.4.1