[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