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