Displaying 3 results from an estimated 3 matches for "pr20585".
2014 Aug 08
2
[LLVMdev] For alias analysis, It's gcc too aggressive or LLVM need to improve?
> your C program invokes undefined behavior when it dereferences pointers that
> have been converted to other types. See for example
> http://stackoverflow.com/questions/4810417/c-when-is-casting-between-pointer-types-not-undefined-behavior
I don't think it's quite that simple.The type-based aliasing rules
come from 6.5p7 of C11, I think. That says:
"An object shall have
2014 Aug 11
2
[LLVMdev] [cfe-dev] For alias analysis, It's gcc too aggressive or LLVM need to improve?
...ect
> > with
> > the correct effective type. So the entire area is probably one that's
> > open to interpretation.
> >
> > I've added cfe-dev to the list; they're the *professional* language
> > lawyers.
>
> Coincidentally, this also seems to be PR20585 (adding Jiangning Liu, the
> reporter of that bug, to this thread too).
>
> -Hal
>
> >
> > Cheers.
> >
> > Tim.
> > _______________________________________________
> > cfe-dev mailing list
> > cfe-dev at cs.uiuc.edu
> > http://lists.cs.ui...
2014 Aug 12
4
[LLVMdev] [cfe-dev] For alias analysis, It's gcc too aggressive or LLVM need to improve?
...e. So the entire area is probably one that's
> >> > open to interpretation.
> >> >
> >> > I've added cfe-dev to the list; they're the *professional* language
> >> > lawyers.
> >>
> >> Coincidentally, this also seems to be PR20585 (adding Jiangning Liu, the
> >> reporter of that bug, to this thread too).
> >>
> >> -Hal
> >>
> >> >
> >> > Cheers.
> >> >
> >> > Tim.
> >> > _______________________________________________
> >&g...