lkml.org 
[lkml]   [2005]   [Sep]   [27]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
From
SubjectRe: [PATCH] m32r: set CHECKFLAGS properly
Date
On Sep 27, 2005, at 13:55:26, Al Viro wrote:
> On Tue, Sep 27, 2005 at 01:31:25PM -0400, Kyle Moffett wrote:
>> Why not? Some of that stuff may get used in kernel headers, which
>> sparse should definitely have defined. Besides, sparse is
>> designed to check C source code, which will be compiled with said
>> GCC using those preprocessing defines. Why should it use a
>> different set of defines?
>
> First of all, some of that stuff should not be used in kernel
> headers and getting a warning about such uses is a Good Thing(tm).
> What's more, some are actively *wrong* for kernel -
> __STDC_HOSTED__, for one, is simply a lie.

So maybe put a "grep" in the middle to select the ones you want or
"grep -v" to remove the ones you don't? I don't see why this is such
a big deal. There are obviously missing defines that sparse needs to
correctly operate with kernel headers, and I'm not sure why we should
specify them in several places in the Makefiles, including one set
for each arch.?

> And no, sparse (or any other C compiler) is not required to have
> the same pile as gcc does.

But when we're using sparse to check kernel sources, it should have a
similar set to what the regular compiler (IE: gcc) has when building
kernel sources.

Cheers,
Kyle Moffett

--
Debugging is twice as hard as writing the code in the first place.
Therefore, if you write the code as cleverly as possible, you are, by
definition, not smart enough to debug it.
-- Brian Kernighan


-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/

\
 
 \ /
  Last update: 2005-09-27 20:40    [W:0.042 / U:0.992 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site