================
@@ -779,7 +787,10 @@ ProgramStateRef
CStringChecker::CheckOverlap(CheckerContext &C,
}
void CStringChecker::emitOverlapBug(CheckerContext &C, ProgramStateRef state,
- const Stmt *First, const Stmt *Second) const
{
+ const Stmt *First,
+ const Stmt *Second) const {
+ assert(BufferOverlap.isEnabled() &&
----------------
NagyDonat wrote:
Okay for now. However, eventually the return value at the call site should not
depend on this (when this sub-checker is moved out of alpha), so perhaps then
we can unify the assert and the check.
https://github.com/llvm/llvm-project/pull/186802
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
