Re: Compiling C++ modules

Avi Kivity
2006-05-02T15:51:30Z

Al Viro wrote:
> 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.
>
I'm pretty sure that sparse can't validate all the casting from void
pointers and from "base classes". Nor can it find bugs in data
structures which are open-coded instead of template libraries. Do
correct me if I'm wrong.

I'm not familiar with sparse's capabilities beyond __user, locking
depth, and the like (pulling it now). Can you point me to any information?

--
Do not meddle in the internals of kernels, for they are subtle and quick to panic.