Displaying 1 result from an estimated 1 matches for "rl331587".
2019 Jan 04
2
Coupling between CaptureTracking and its users
...apturing, but produces another value, which needs to be tracked.
Examples: bitcasts, geps, phis, selects, etc. I’ll call this kind of uses
"aliases", for the lack of better word.
* Capturing.
The "aliases" are tricky. CT users often need to know about these. For example,
rL331587<https://reviews.llvm.org/rL331587> taught CT the "alias" semantic of launder.invariant.group calls.
Because BasicAA was not aware of this change, it lead to incorrect AA results.
"BasicAA still considered every call instruction as a possible escape source and
hence concluded th...