Match semantics of PointerMayBeCapturedBefore to its name by default
authorHal Finkel <hfinkel@anl.gov>
Mon, 21 Jul 2014 21:30:22 +0000 (21:30 +0000)
committerHal Finkel <hfinkel@anl.gov>
Mon, 21 Jul 2014 21:30:22 +0000 (21:30 +0000)
commit9da65a86441114cd1ef2a32ece06e00f3ddd3193
tree19bff4ef2c9362d88a6a979be4fc6e9bae89c9c6
parent529165298e16ac3ac0e92055ec9b140811a8cb95
Match semantics of PointerMayBeCapturedBefore to its name by default

As it turns out, the capture tracker named CaptureBefore used by AA, and now
available via the PointerMayBeCapturedBefore function, would have been
more-aptly named CapturedBeforeOrAt, because it considers captures at the
instruction provided. This is not always what one wants, and it is difficult to
get the strictly-before behavior given only the current interface. This adds an
additional parameter which controls whether or not you want to include
captures at the provided instruction. The default is not to include the
instruction provided, so that 'Before' matches its name.

No functionality change intended.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@213582 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/Analysis/CaptureTracking.h
lib/Analysis/AliasAnalysis.cpp
lib/Analysis/CaptureTracking.cpp