diff options
author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2021-05-17 01:17:03 +0200 |
---|---|---|
committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2021-07-27 00:52:20 +0200 |
commit | a8ebc7229abe00ccf77d287c1fff8c25743512f8 (patch) | |
tree | c3df65927f2b33a96ce6c089a33c7b9662a0b583 | |
parent | 0b0d8b197f1e3b76434b710f8320f8cdf14816a6 (diff) | |
download | sparse-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.c | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -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; |