[clang] [analyzer] Fix handling of zero-sized elements in ArrayBound (PR #218712)
Balázs Benics via cfe-commits
cfe-commits at lists.llvm.org
Wed Aug 26 04:07:07 PDT 2026
================
@@ -200,6 +200,14 @@ static bool isDeterminedByInterestingSymbol(SVal SV,
return false;
}
+static int64_t getElementSize(const ElementRegion *ER, SValBuilder &SVB) {
+ QualType ElemType = ER->getElementType();
+
+ assert(!ElemType->isIncompleteType() && "ElemType cannot be incomplete");
----------------
steakhal wrote:
Fine.
https://github.com/llvm/llvm-project/pull/218712
More information about the cfe-commits
mailing list