-//===--- LoopWidening.h - Instruction class definition ----------*- C++ -*-===//
+//===--- LoopWidening.h - Widen loops ---------------------------*- C++ -*-===//
//
// The LLVM Compiler Infrastructure
//
/// by the loop body in any iteration.
ProgramStateRef getWidenedLoopState(ProgramStateRef PrevState,
const LocationContext *LCtx,
- unsigned BlockCount,
- const Stmt *LoopStmt);
+ unsigned BlockCount, const Stmt *LoopStmt);
} // end namespace ento
} // end namespace clang
return getSVal(CE->getCallee()).getAsFunctionDecl();
}
-void CXXInstanceCall::getExtraInvalidatedValues(ValueList &Values,
- RegionAndSymbolInvalidationTraits *ETraits) const {
+void CXXInstanceCall::getExtraInvalidatedValues(
+ ValueList &Values, RegionAndSymbolInvalidationTraits *ETraits) const {
SVal ThisVal = getCXXThisVal();
Values.push_back(ThisVal);
return;
ETraits->setTrait(ThisRegion->getBaseRegion(),
- RegionAndSymbolInvalidationTraits::TK_PreserveContents);
+ RegionAndSymbolInvalidationTraits::TK_PreserveContents);
}
}