Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!purdue!decwrl!decvax!ima!haddock!karl
From: karl@haddock.ima.isc.com (Karl Heuer)
Newsgroups: comp.lang.c
Subject: Re: detecting invalid pointers
Message-ID: <12043@haddock.ima.isc.com>
Date: 15 Mar 89 00:20:04 GMT
References: <15495@cup.portal.com> <11998@haddock.ima.isc.com> <3011@nunki.usc.edu>
Reply-To: karl@haddock.ima.isc.com (Karl Heuer)
Distribution: usa
Organization: Interactive Systems, Boston
Lines: 11

In article <3011@nunki.usc.edu> jeenglis@nunki.usc.edu (Joe English) writes:
>karl@haddock.ima.isc.com (Karl Heuer) writes:
>>This works because pointer *equality* is well-defined even on pointers into
>>different arrays.
>
>Well, maybe not... [80x86 in large model with unnormalized pointers]

If the compiler ever generates unnormalized pointers, then it had better be
prepared to generate code to compare them correctly.

Karl W. Z. Heuer (ima!haddock!karl or karl@haddock.isc.com), The Walking Lint