[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [csmith-dev] assignments from incompatible pointer types

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

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