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
https://github.com/sbernard31/udploadbalancer/tree/bf71e99fbd0c3f806a43076fc12a47e966422839
Using command:
sudo python ulb.py lo -vip 10.41.44.13 -rs
00:00:00:00:00:00/127.0.0.1 -p 5683 5684
You need to have bcc installed in the system.

Yonghong


On Tue, Mar 19, 2019 at 11:23 PM Yonghong Song via Lists.Iovisor.Org
<ys114321=gmail.com@...> 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
reject.


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 iovisor-dev@lists.iovisor.org to automatically receive all group messages.