lkml.org 
[lkml]   [2007]   [Mar]   [13]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: [PATCH] Fix vmi time header bug


On Tue, 13 Mar 2007, Andrew Morton wrote:
>
> (The ARM thing is a pain, because the compiler cannot check that the
> definition and declaration match. However something like sparse could do
> so).

Well, I guess sparse could do it, but the fact is, this is just a gcc bug.
It would be much better if *gcc* just checked the function attributes it
cared about. Anybody want to send a bug-report to the gcc lists?

Here's a trivial test-case.

#define section(x) __attribute__((__section__(x)))

extern int section(".text.one") test_function(int);

int section(".text.two") test_function(int arg)
{
return arg+1;
}

and the bug is that gcc doesn't warn about the section mismatch, and still
seems to care.

(Now, if gcc doesn't care, missing the section from the declaration could
be considered ok. But having explicit but *different* section declarations
can clearly not be ok, and it seems that gcc sometimes *does* require
sections to match, so it probably should always require them to match
exactly).

We could make sparse care, but right now sparse ignores the section
attribute *entirely*.

Linus
-
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: 2007-03-13 18:55    [W:0.056 / U:0.704 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site