[Attributor] AAPointerInfo can model non-escaping call uses
If a call base use will not capture a pointer we can approximate the effects. This is important especially for readnone/only uses. Even may-write uses are not too bad with reachability in place. Capturing is the problem as we loose track of update sides.
Loading
Please sign in to comment