🚀 go-pugleaf

In article <1992Nov4.080805.13496@jyu.fi> sakkinen@jyu.fi (Markku Sakkinen) writes:
...
>I would first like to return to a much more important, related problem,
>which somebody brought up here rather recently.
>Namely, there is nothing in the ARM explicitly saying that
>p == q  might not yield 1 even when p and q are pointing at two different
>objects.  This hole makes e.g. some standard idioms in Stroustrup's books
>implementation dependent.

I'd like to ask a related question.

Given code like:

char* start = new char [10];
char* end   = start+10;
char* p     = start;

assert ((p >= start) && (p <= end));		// this is gauranteed by ANSI-C
p += 10;
assert ((p >= start) && (p <= end));		// this is gauranteed by ANSI-C
p = start;
p--;
assert (! ((p >= start) && (p <= end)));	// ???????

Is the last assertion portable? ARM/ANSI-C References?


				LeWiS.



-- 
Reading peoples signatures is a real waste of time.

lewis@sophists.com                                  (Lewis Gordon Pringle, Jr.)