3 Commits

Author	SHA1	Message	Date
Duncan Sands	e90202e388	Revert r70876 and add a testcase (@c7) showing the problem: ... bits captured, but the pointer marked nocapture. In fact I now recall that this problem is why only readnone functions returning void were considered before! However keep a small fix that was also in r70876: a readnone function returning void can result in bits being captured if it unwinds, so test for this. llvm-svn: 71168	2009-05-07 18:08:34 +00:00
Duncan Sands	4c7021febf	Teach capture tracking that readonly functions can ... only capture their arguments by returning them or throwing an exception or not based on the argument value. Patch essentially by Frits van Bommel. llvm-svn: 70876	2009-05-04 16:50:29 +00:00
Duncan Sands	ddfeabbab7	BasicAliasAnalysis and FunctionAttrs were both ... doing very similar pointer capture analysis. Factor out the common logic. The new version is from FunctionAttrs since it does a better job than the version in BasicAliasAnalysis llvm-svn: 62461	2009-01-18 12:19:30 +00:00