[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bug #39334] obstack code is non portable
From: |
Paul Eggert |
Subject: |
Re: [bug #39334] obstack code is non portable |
Date: |
Tue, 25 Jun 2013 07:54:28 -0700 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130510 Thunderbird/17.0.6 |
On 06/25/2013 05:09 AM, David Monniaux wrote:
> What happened is that we were testing the front-end of a static analysis
> system and ended up with some pointer arithmetic on NULL in the middle
> of a function.
It's not uncommon to do pointer arithmetic on NULL, regardless
of what the standard says. (The Gnulib coding standards, for
example, explicitly bless adding 0 to NULL.) So you may want
to add an option to your static analysis tool to let it accept
that sort of thing. Not every piece of code needs to be
portable to segmented architectures.