aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2017-01-29 11:48:07 +0100
committerChristopher Li <sparse@chrisli.org>2017-02-13 09:34:45 +0800
commit66b1f578780f432367da7d82e245f3fe30bc5b87 (patch)
treeadc55e5188e6d187eb47341b2a26df6cf5c3e54a
parentd3bf74f5f13702fc758d442894ad034e55328062 (diff)
downloadsparse-dev-66b1f578780f432367da7d82e245f3fe30bc5b87.tar.gz
explicitely ignore killing OP_ENTRY
It doesn't change anything, it's more for documentation purpose. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com> Signed-off-by: Christopher Li <sparse@chrisli.org>
-rw-r--r--simplify.c4
1 files changed, 4 insertions, 0 deletions
diff --git a/simplify.c b/simplify.c
index 690fdc4e..66550fa3 100644
--- a/simplify.c
+++ b/simplify.c
@@ -231,6 +231,10 @@ void kill_instruction(struct instruction *insn)
if (insn->bb_true && insn->bb_false)
kill_use(&insn->cond);
return;
+
+ case OP_ENTRY:
+ /* ignore */
+ return;
}
}