Re: R? min value is negative, either use unsigned or 'var &= const' #verifier
On Tue, Mar 19, 2019 at 9:06 AM Simon <contact@...> wrote:
Maybe. I have not looked at this yet from compiler side. Sometimes you
won't have an easy compiler option to turn off. Tuning -O may not
help. Lowering -O to -O1/-O0 may help to remove this particular
optimization, but may introduce more spills which verifier will also
Sure. Will let you know if I have made progress in this.