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.
