[llvm] [BasicAA] Make isNotCapturedBeforeOrAt() check for calls more precise (PR #69931)

[Florian Hahn via llvm-commits]

================
@@ -152,8 +152,8 @@ raw_ostream &operator<<(raw_ostream &OS, AliasResult AR);
 /// Virtual base class for providers of capture information.
 struct CaptureInfo {
   virtual ~CaptureInfo() = 0;
-  virtual bool isNotCapturedBeforeOrAt(const Value *Object,
-                                       const Instruction *I) = 0;
+  virtual bool isNotCapturedBefore(const Value *Object, const Instruction *I,
----------------
fhahn wrote:

While you are here it would be good to document the function

https://github.com/llvm/llvm-project/pull/69931