[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.
On Thu, May 23, 2013 at 6:15 PM, Eric Eide <firstname.lastname@example.org>
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 :-).