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

Yonghong Song

Hi, Jiong,

Thanks for your interest to help with this issue.
You can reproduce with the code at
Using command:
sudo python lo -vip -rs
00:00:00:00:00:00/ -p 5683 5684
You need to have bcc installed in the system.


On Tue, Mar 19, 2019 at 11:23 PM Yonghong Song via Lists.Iovisor.Org
<> wrote:

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.