Re: Compiling C++ modules

[Al Viro]

On Tue, May 02, 2006 at 06:19:35PM +0300, Avi Kivity wrote:
> Al Viro wrote:
> >On Tue, May 02, 2006 at 06:04:23PM +0300, Avi Kivity wrote:
> >  
> >>BTW, C++ could take over some of sparse's function:
> >>    
> >
> >And the point of that would be?  sparse is _fast_ and easy to modify;
> >g++ is neither.
> >  
> 
> I wasn't talking about modifying gcc to do the checking, rather using 
> language features so that the checks would happen during a regular 
> compile. That would mean we weren't dependent on somebody running sparse 
> with a configuration that triggers the bug, but those few who compile 
> the code before submitting the patch would get it automatically checked.

g++ won't cover all checks sparse is capable of, so you still want to
run the latter over new code anyway (== pass C=1 to make).  IOW, type
safety from C++ isn't particulary good argument.
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/