mbox series

[0/5] small fixes for the symbolic checker

Message ID 20210729212054.34327-1-lucvoo@kernel.org (mailing list archive)
Headers show
Series small fixes for the symbolic checker | expand

Message

Luc Van Oostenryck July 29, 2021, 9:20 p.m. UTC 
From: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>

This series contains a few fixes for the symbolic checker (which
can be used internally to validate some code transformations).

Luc Van Oostenryck (5):
  scheck: better diagnostic for unsupported instructions
  scheck: ignore OP_NOP & friends
  scheck: constants are untyped
  scheck: mkvar() with target or input type
  scheck: fix type of operands in casts

 scheck.c | 48 +++++++++++++++++++++++++++++++-----------------
 1 file changed, 31 insertions(+), 17 deletions(-)