search for: rl333070

...e source and hence concluded that the result of a launder_invariant_group call cannot alias any local non-escaping value." The first attempt to fix it fixed BasicAA (rL332466<https://reviews.llvm.org/rL332466>), but apparently there were similar issues in other parts. These were fixed by rL333070<https://reviews.llvm.org/rL333070>. Another example is our downstream optimization which does some sort of scalar replacement of non-escaping allocations. It rewrites uses of the allocation and needs to know about "aliases" as their uses also need to be rewritten. Currently it know...