Mark Dickinson <dicki...@gmail.com> added the comment:

> How is the compiler supposed to know whether a and b belong to the same
> array when compiling ptr_compare?

It doesn't need to know.  So long as the compiler can guarantee that its code 
will produce correct results in the case that a and b *do* both point to the 
same array, that's enough.  In other words, when producing code for 
ptr_compare, the compiler is allowed to *assume* that a and b point into the 
same array, and act accordingly.

----------

_______________________________________
Python tracker <rep...@bugs.python.org>
<http://bugs.python.org/issue10044>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe: 
http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com

Reply via email to