Re: Does a null pointer always raise Constraint_Error?

[Robert Dewar <robert_dewar@my-deja.com>]

In article <slrn93f1ic.vo.lutz@taranis.iks-jena.de>,
  lutz@iks-jena.de (Lutz Donnerhacke) wrote:
> Possible, but irrelevant IMHO. Two empty arrays of
> the same component type
> are equal per definition.

THis is an easy HO to have, and that is why I noted
the example, but look more carefully at my example,
it is not comparing empty arrays, it is comparing
deferenced null pointers, and a constraint error
is required even though there is nothing to compare!

Actually, in this simple form, a compiler is not
likely to get this wrong, since there are simple
examples like this in the ACATS test suite.


Sent via Deja.com
http://www.deja.com/