Skip to content

Commit fb5b3ad

Browse files
committed
[NFC] fix formatting
1 parent 3a6b5d8 commit fb5b3ad

File tree

2 files changed

+6
-5
lines changed

2 files changed

+6
-5
lines changed

clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1481,8 +1481,8 @@ class SymbolicRangeInferrer
14811481
std::optional<RangeSet> getRangeForNegatedSym(SymbolRef Sym) {
14821482
return getRangeForNegatedExpr(
14831483
[Sym, State = this->State]() {
1484-
return State->getSymbolManager().acquire<UnarySymExpr>(Sym, UO_Minus,
1485-
Sym->getType());
1484+
return State->getSymbolManager().acquire<UnarySymExpr>(
1485+
Sym, UO_Minus, Sym->getType());
14861486
},
14871487
Sym->getType());
14881488
}
@@ -1540,7 +1540,8 @@ class SymbolicRangeInferrer
15401540

15411541
// Let's find an expression e.g. (x < y).
15421542
BinaryOperatorKind QueriedOP = OperatorRelationsTable::getOpFromIndex(i);
1543-
const SymSymExpr *SymSym = SymMgr.acquire<SymSymExpr>(LHS, QueriedOP, RHS, T);
1543+
const SymSymExpr *SymSym =
1544+
SymMgr.acquire<SymSymExpr>(LHS, QueriedOP, RHS, T);
15441545
const RangeSet *QueriedRangeSet = getConstraint(State, SymSym);
15451546

15461547
// If ranges were not previously found,

clang/lib/StaticAnalyzer/Core/RangedConstraintManager.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -62,8 +62,8 @@ ProgramStateRef RangedConstraintManager::assumeSym(ProgramStateRef State,
6262

6363
SymbolManager &SymMgr = getSymbolManager();
6464
QualType DiffTy = SymMgr.getContext().getPointerDiffType();
65-
SymbolRef Subtraction = SymMgr.acquire<SymSymExpr>(SSE->getRHS(), BO_Sub,
66-
SSE->getLHS(), DiffTy);
65+
SymbolRef Subtraction = SymMgr.acquire<SymSymExpr>(
66+
SSE->getRHS(), BO_Sub, SSE->getLHS(), DiffTy);
6767

6868
const llvm::APSInt &Zero = getBasicVals().getValue(0, DiffTy);
6969
Op = BinaryOperator::reverseComparisonOp(Op);

0 commit comments

Comments
 (0)