search for: neveralia

...epending on how you look at it). This is what I mean by aliasing model. I'm also a bit unclear how this case would be handled: std::vector<int> A(100); > int* x,y; > x=&A[0]; > for(int i=0; i<100; i++) { > A[i]=5; > } > int z=A[2]; > MayAlias? MustAlias? NeverAlias? It depends on which dynamic instructions the semantics refer to. Thank you, Jeremy On Wed, Aug 13, 2014 at 5:22 PM, Daniel Berlin <dberlin at dberlin.org> wrote: > On Wed, Aug 13, 2014 at 1:39 PM, Jeremy Salwen <jeremysalwen at gmail.com> > wrote: > > Hello all, >...

Hello all, I've read the documentation on alias analysis, and I think I understand it literally, but I just want to be sure, because it seems a bit strange. As it says on this web page <http://llvm.org/docs/AliasAnalysis.html>, The MayAlias response is used whenever the two pointers might refer to the > same object. > > The PartialAlias response is used when the two memory

...would be handled: > > > >> std::vector<int> A(100); > >> int* x,y; > >> x=&A[0]; > >> > >> for(int i=0; i<100; i++) { > >> A[i]=5; > >> } > >> int z=A[2]; > > > > > > MayAlias? MustAlias? NeverAlias? It depends on which dynamic > instructions > > the semantics refer to. > These are all MayAlias. > > > > > > Thank you, > > Jeremy > > > > > > On Wed, Aug 13, 2014 at 5:22 PM, Daniel Berlin <dberlin at dberlin.org> > wrote: > >...