On Tue, Mar 19, 2019 at 9:06 AM Simon <[email protected]> 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. > > > > -=-=-=-=-=-=-=-=-=-=-=- Links: You receive all messages sent to this group. View/Reply Online (#1619): https://lists.iovisor.org/g/iovisor-dev/message/1619 Mute This Topic: https://lists.iovisor.org/mt/30315706/21656 Mute #verifier: https://lists.iovisor.org/mk?hashtag=verifier&subid=2590197 Group Owner: [email protected] Unsubscribe: https://lists.iovisor.org/g/iovisor-dev/unsub [[email protected]] -=-=-=-=-=-=-=-=-=-=-=-
