aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2021-05-17 01:17:03 +0200
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2021-07-27 00:52:20 +0200
commita8ebc7229abe00ccf77d287c1fff8c25743512f8 (patch)
treec3df65927f2b33a96ce6c089a33c7b9662a0b583
parent0b0d8b197f1e3b76434b710f8320f8cdf14816a6 (diff)
downloadsparse-a8ebc7229abe00ccf77d287c1fff8c25743512f8.tar.gz
scheck: ignore OP_NOP & friends
Some instructions have no effects and so can just be ignored here. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
-rw-r--r--scheck.c5
1 files changed, 5 insertions, 0 deletions
diff --git a/scheck.c b/scheck.c
index c830f56a..d3ebddd6 100644
--- a/scheck.c
+++ b/scheck.c
@@ -313,6 +313,11 @@ static bool check_function(struct entrypoint *ep)
break;
case OP_RET:
goto out;
+ case OP_INLINED_CALL:
+ case OP_DEATHNOTE:
+ case OP_NOP:
+ case OP_CONTEXT:
+ continue;
default:
fprintf(stderr, "unsupported insn: %s\n", show_instruction(insn));
goto out;