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

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

	Yang> There were discussions long time ago when Xuejun was implementing
	Yang> volatile point thing.  [...]  As far as I know, Csmith analysis
	Yang> rules out this kind of code.

Sounds like a job for KCC to check this :-).

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