[Bug c/26372] opposite of may_alias attribute

["pinskia at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

------- Comment #7 from pinskia at gcc dot gnu dot org  2006-07-19 03:47 -------
(In reply to comment #6)
> Yes, char pointers are special. I'd like a non-special char pointer.

Actually it is not the char pointers which are special but access through a
character, there is a difference.

> I often know that a char pointer will never alias non-char data, but can not
> prove that it obeys all the complicated rules for __restrict.

restrict is actually less strict than what you want :).  restrict attributed
pointers are can still alias other pointers, just not other restrict attributed
pointers.


> For non-char pointers the attribute would be useless unless
> -fno-strict-aliasing is in effect.

Even then it might be useless as -fno-strict-aliasing is huge hammer.

Also no feedback on an example in 3 months so closing.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |RESOLVED
         Resolution|                            |INVALID


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26372