From mboxrd@z Thu Jan  1 00:00:00 1970
From: kenner@vlsi1.ultra.nyu.edu (Richard Kenner)
To: aoliva@redhat.com
Cc: gcc@gcc.gnu.org
Subject: Re: Bug in loop optimize (invalid postinc to preinc transformation)
Date: Thu, 28 Dec 2000 01:14:00 -0000
Message-id: <10012280914.AA28437@vlsi1.ultra.nyu.edu>
X-SW-Source: 2000-12/msg00794.html

    > Overflow of *unsigned* types is well-defined.  

    Indeed.  But I don't think pointers are unsigned by default, are they?

The implementation of pointers is indeed unsigned on most machines,but
they are not "unsigned types", which would mean integral unsigned types.
So overflow is indeed undefined.