This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: aliasing between const and non-const objects


Hi,

On Tue, 29 Jul 2003, Richard Earnshaw wrote:

> Incorrect.  External code could quite legitimately be:

Hmm, right.  I'm obviously blind and barking up the wrong tree :-|

> foo()
> {
>   int a[5];
>
>   t = a; c = a;

You'll get a warning for the latter assignment, though.  Nevethess you are
right.  I should have provided a more complete example:

int *t;
const int data[3] = {0, 1, 2};
const int *c;
bla() {
  c = data;
  t[0] = c[0] + c[1] + c[2];
  t[1] = c[0] + c[1] + c[2];
}

Ok, that seems more an issue for memrefs_conflict_p() and friends.


Ciao,
Michael.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]