Re: R? min value is negative, either use unsigned or 'var &= const' #verifier

Yonghong Song

On Tue, Mar 19, 2019 at 9:06 AM Simon <contact@...> wrote:

The compiler is doing optimization which make verifier fail. It is possible an early compiler with less optimizations may work.

Maybe a silly question, but does it make sense to try to change compiler optimization option ? (I tried to play with -O option without success)
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

Please keep me informed about your progress about this issue :)
Sure. Will let you know if I have made progress in this.

Thx again.

Join { to automatically receive all group messages.