Re: Does a null pointer always raise Constraint_Error?

["Ken Garlington" <Ken.Garlington@computer.org>]

"Robert Dewar" <robert_dewar@my-deja.com> wrote in message
news:91agoe$kvf$1@nnrp1.deja.com...
: In article <87zoi0w0ey.fsf@deneb.enyo.de>,
:   Florian Weimer <fw@deneb.enyo.de> wrote:
: > I would argue that a.all and b.all are undefined,
: > but because of their type, their values can be
: > compared with a well-defined result anyway.
:
: I understand that argument, but I cannot see that
: it is backed by the language in the RM. Furthermore,
: there is an ACATS test that disputes this conclusion,
: and no one has ever contested this test.

The ACATS test seems to be consistent with the rest of the language. For
example, I'd assume that the following wouldn't work, either:

if (A/0) = (B/0) then...