dereferenceable(<n>) was passed to builtin params with n_inputs * 32, so something like SELFBALANCE that has more outputs that inputs (1 > 0) would have ptr dereferenceable(0).
This basically means that we were telling LLVM that the pointer is never used :(
dereferenceable(<n>)was passed to builtin params withn_inputs * 32, so something likeSELFBALANCEthat has more outputs that inputs (1 > 0) would haveptr dereferenceable(0). This basically means that we were telling LLVM that the pointer is never used :(