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

Re: [csmith-bugs] GCC Complaint: "init from incompatible pointer type"

Eric Eide wrote:
	Yang> It's undefined because a non-volatile pointer "p" points to a
	Yang> volatile object "i".

Yes.  (Well, more strictly, it is undefined because `i' is accessed through
`p', not simply because `p' points to `i'.)

But I said this in my message.  I think you might have answered without reading
the bottom half of my email?



There were discussions long time ago when Xuejun was implementing volatile point thing. I am sure Csmith tries to conform with the C standard in terms of volatile pointer stuff. If it generates code like:

volatile int g;
int *p = &g;

then it's a Csmith bug. As far as I know, Csmith analysis rules out this kind of code.

- Yang