User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.7.0
On 07/29/2015 02:14 PM, Burys, Jacek
A problem that I've recently came across is that CSmith
allows generation of assignments from incompatible pointers
between float and other types. In my case this breaks the
intervals when, for example, a pointer to int gets an address
of a float interval (then modifying the value using that int
pointer changes only the lower bound of interval struct).
I added --strict-float option to the git head, which may fix the
problem in your case. Can you try it out? Thanks.