From: Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx> 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(-) -- 2.32.0
