This is part of the series started by D9375, and teaches CaptureTracking to look through calls to llvm.noalias.
P.S. One reason why llvm.noalias is not itself marked with nocapture is because it requires this special handling anyway.
hfinkel on Apr 30 2015, 8:41 AM.Authored by
LGTM w.r.t. code.
I would prefer the intrinsic definition be marked nocapture if it's legal to do so. There's too much chance of someone checking only an attribute somewhere. Better to be complete as we can.
Also, I don't believe the parameter on stripPointerCasts is still needed per discussion in another thread right?
Maybe 'passthrough' should return a boolean, indicating that we need to stop or not. (see code comment)