[llvm] [BasicAA] Compute minimal access extents lazily (PR #226931)

Antonio Frighetto via llvm-commits llvm-commits at lists.llvm.org
Mon Sep 28 02:48:46 PDT 2026


================
@@ -120,8 +120,12 @@ static std::optional<TypeSize> getObjectSize(const Value *V,
 /// Returns true if we can prove that the object specified by V is smaller than
 /// Size. Bails out early unless the root object is passed as the first
 /// parameter.
-static bool isObjectSmallerThan(const Value *V, TypeSize Size,
-                                const DataLayout &DL,
+static TypeSize getMinimalExtentFrom(const Value &V,
+                                     const LocationSize &LocSize,
+                                     const DataLayout &DL, bool NullIsValidLoc);
----------------
antoniofrighetto wrote:

Could you please move the definition of getMinimalExtentFrom() before isObjectSmallerThan() so you wouldn't need this declaration (and the comment above this would continue documenting isObjectSmallerThan())?

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


More information about the llvm-commits mailing list