Linux "NULL pointer dereferece" in the News...

[Rahul Sundaram]

On 07/20/2009 03:14 AM, Gene Heskett wrote:
> On Sunday 19 July 2009, Rahul Sundaram wrote:
>> On 07/19/2009 11:31 PM, Tom Horsley wrote:
>>> On Sun, 19 Jul 2009 23:11:52 +0530
>>>
>>> Rahul Sundaram wrote:
>>>> It is not so simple. This is not a compiler bug. I suggest you read
>>>> through http://lwn.net/Articles/341773/rss to understand why.
>>>
>>> I did. It is a compiler bug no matter what a bunch of language lawyer
>>> holier than thou compiler developers say :-).
>>
>> The kernel developers claim it is a kernel bug and the compiler
>> developers claim it is not their bug and this everybody agrees with and
>> yet you don't agree with all of them? Who is being holier than thou here?
>>
>> Kernel first dereferences a pointer, and after that checks whether it's
>> NULL.  It is quite common as a compiler optimization to compile out code
>> like this.
>>
>> Rahul
> 
> Ok, so what is the option to pass to the compiler to tell it not to do this?

Did you not read the rest of the thread?

http://git.kernel.org/?p=linux/kernel/git/torvalds/linux-2.6.git;a=commitdiff;h=a3ca86aea507904148870946d599e07a340b39bf

Rahul