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

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



	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?

Eric.

-- 
-------------------------------------------------------------------------------
Eric Eide <eeide@cs.utah.edu>  .         University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX