Hello,

> > In the meantime, I think it's fine to check in your patch.
> > We'll probably end up rewriting this part of the code, but
> > that won't actually change the actual logic, so....
> 
> Glad you're on it, and I'll commit this patch.

Paul Hilfinger pointed out that we actually have the perfect
function for it, so we don't even have to create it. I just
committed the following patch, which considerably simplifies
the complexity of the condition :).

2007-08-15  Paul Hilfinger  <hilfinger@adacore.com>
            Joel Brobecker  <brobecker@adacore.com>

        * ada-lang.c (possible_user_operator_p): Alternative fix to last
        checkin guarding against NULL.

Tested on x86-linux.

-- 
Joel