Displaying 1 result from an estimated 1 matches for "2ad670ee".
2017 Aug 20
5
RFC: Resolving TBAA issues
>
>
>
> I do not believe the current proposal will solve all of those cases,
> particularly when the fields are the same type and structures are
> compatible but they cannot overlap in C/C++ anyway.
>
> One of the threads is titled "[PATCH] D20665: Claim NoAlias if two GEPs
index different fields of the same struct"
For example, given
struct {
int arr_a[2];