stringnull branch

[Allison Randal]

On 4/12/10 3:06 AM, Andy Lester wrote:
> On Apr 11, 2010, at 8:47 PM, Peter Lobsinger wrote:
>
>> I've created the stringnull branch to use STRINGNULL in stead of
>> NULL as the representation of the null string

+1

> Does STRINGNULL actually pass around as NULL?  Or is it a pointer to
> some magic STRING that just is null?
>
> I ask because splint is very good at tracking when things are
> actually NULL, and if we hide NULL behind STRINGNULL, we lose that.

If STRINGNULL is a singleton valid string like PMCNULL is for PMCs, it
would actually be useful for us with this change, because in many places
we can say for sure that a string argument should absolutely never be NULL.

Allison