@@ -505,7 +505,7 @@ void GCChecker::validateValue(const ValueState* VS, CheckerContext &C, SymbolRef
505
505
int GCChecker::validateValueInner (const ValueState* VS) const {
506
506
if (!VS)
507
507
return VALID;
508
-
508
+
509
509
if (VS->isPotentiallyFreed ()) {
510
510
return FREED;
511
511
}
@@ -563,7 +563,7 @@ void GCChecker::logWithDump(const std::string& message, const T &obj) {
563
563
void GCChecker::log (const std::string& message) {
564
564
if (!DEBUG_LOG)
565
565
return ;
566
-
566
+
567
567
llvm::errs () << message;
568
568
llvm::errs () << " \n " ;
569
569
}
@@ -1625,7 +1625,7 @@ void GCChecker::checkPreCall(const CallEvent &Call, CheckerContext &C) const {
1625
1625
C, Sym,
1626
1626
" Passing non-rooted value as argument to function that may GC" ,
1627
1627
range);
1628
- }
1628
+ }
1629
1629
}
1630
1630
if (ValState->isNotPinned ()) {
1631
1631
bool MaybeUnpinned = false ;
@@ -1753,7 +1753,7 @@ bool GCChecker::evalCall(const CallEvent &Call, CheckerContext &C) const {
1753
1753
State = State->set <GCPinMap>(Region, PinState::getTransitivePin (CurrentDepth));
1754
1754
} else {
1755
1755
logWithDump (" - Root and pin" , Region);
1756
- State = State->set <GCPinMap>(Region, PinState::getPin (CurrentDepth));
1756
+ State = State->set <GCPinMap>(Region, PinState::getPin (CurrentDepth));
1757
1757
}
1758
1758
// The Argument array may also be used as a value, so make it rooted
1759
1759
// SymbolRef ArgArraySym = ArgArray.getAsSymbol();
@@ -1991,7 +1991,7 @@ void GCChecker::checkBind(SVal LVal, SVal RVal, const clang::Stmt *S,
1991
1991
}
1992
1992
report_value_error (C, Sym,
1993
1993
" Saw assignment to root, but missed the allocation" );
1994
- }
1994
+ }
1995
1995
} else {
1996
1996
logWithDump (" - Found ValState for Sym" , RValState);
1997
1997
validateValue (RValState, C, Sym, " Trying to root value which may have been" );
0 commit comments