Hi Jacek, On 2015-07-29 14:14, Burys, Jacek wrote:
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).
Can you post some sample with the code pattern that you described? It'd be great if you could also paste the seed and the cmdline options for generating the code. I will take a look. Thanks.
- Yang