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

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



I'm not sure I would trust KCC on protecting you from volatile errors :)  It's been a while, but I think the semantics mostly ignores 'volatile'.  I think it IS capable of catching some stuff related to const, but that's pretty much it.  I claimed the semantics runs defined programs and catches many undefined programs, but it doesn't catch all undefined programs.

Sorry!

-Chucky

On Thu, May 23, 2013 at 6:15 PM, Eric Eide <eeide@cs.utah.edu> wrote:
        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