Skip to content

Commit 6158258

Browse files
committed
fixed formatting error
1 parent ba535f8 commit 6158258

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1000,7 +1000,9 @@ ProgramStateRef CStringChecker::checkNullTerminated(CheckerContext &C,
10001000
if (Offset >= RegionExtent)
10011001
return State;
10021002
for (int I = Offset; I < RegionExtent; ++I) {
1003-
const ElementRegion *ElemR = RegionM.getElementRegion(C.getASTContext().CharTy, SVB.makeArrayIndex(I), StrReg, C.getASTContext());
1003+
const ElementRegion *ElemR = RegionM.getElementRegion(
1004+
C.getASTContext().CharTy, SVB.makeArrayIndex(I), StrReg,
1005+
C.getASTContext());
10041006
SVal ElemVal = State->getSValAsScalarOrLoc(ElemR);
10051007
if (!State->isNonNull(ElemVal).isConstrainedTrue())
10061008
// We have here a lower bound for the string length.

0 commit comments

Comments
 (0)