explain assertion

labath · labath · commit 9faaa0ca45fa · 2025-07-30T09:30:21.000+02:00
diff --git a/llvm/lib/Object/SFrameParser.cpp b/llvm/lib/Object/SFrameParser.cpp
@@ -91,8 +91,8 @@ uint64_t SFrameParser<E>::getAbsoluteStartAddress(
     uintptr_t DataPtr = reinterpret_cast<uintptr_t>(Data.data());
     uintptr_t FDEPtr = reinterpret_cast<uintptr_t>(&*FDE);
 
-    assert(DataPtr <= FDEPtr);
-    assert(FDEPtr < DataPtr + Data.size());
+    assert(DataPtr <= FDEPtr && FDEPtr < DataPtr + Data.size() &&
+           "Iterator does not belong to this object!");
 
     Result += FDEPtr - DataPtr;
   }

Original file line number	Diff line number	Diff line change
`@@ -91,8 +91,8 @@ uint64_t SFrameParser<E>::getAbsoluteStartAddress(`
`91`	`91`	`uintptr_t DataPtr = reinterpret_cast<uintptr_t>(Data.data());`
`92`	`92`	`uintptr_t FDEPtr = reinterpret_cast<uintptr_t>(&*FDE);`
`93`	`93`
`94`		`- assert(DataPtr <= FDEPtr);`
`95`		`- assert(FDEPtr < DataPtr + Data.size());`
	`94`	`+ assert(DataPtr <= FDEPtr && FDEPtr < DataPtr + Data.size() &&`
	`95`	`+ "Iterator does not belong to this object!");`
`96`	`96`
`97`	`97`	`Result += FDEPtr - DataPtr;`
`98`	`98`	`}`