Fix formatting.

Author: tigbr

clang/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h

@@ -136,8 +136,7 @@ class CoreEngine {
 
 public:
   /// Construct a CoreEngine object to analyze the provided CFG.
-  CoreEngine(ExprEngine &exprengine,
-             FunctionSummariesTy *FS,
+  CoreEngine(ExprEngine &exprengine, FunctionSummariesTy *FS,
              AnalyzerOptions &Opts,
              llvm::BumpPtrAllocator &BlockCounterFactoryAllocator);
 

clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h

@@ -180,8 +180,8 @@ class ExprEngine {
 
 public:
   ExprEngine(cross_tu::CrossTranslationUnitContext &CTU, AnalysisManager &mgr,
-             SetOfConstDecls *VisitedCalleesIn,
-             FunctionSummariesTy *FS, InliningModes HowToInlineIn,
+             SetOfConstDecls *VisitedCalleesIn, FunctionSummariesTy *FS,
+             InliningModes HowToInlineIn,
              std::array<llvm::BumpPtrAllocator, 7> &ProgramStateAllocators,
              llvm::BumpPtrAllocator &BlockCounterFactoryAllocator);
 

clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h

@@ -527,11 +527,10 @@ class ProgramStateManager {
   std::vector<ProgramState *> freeStates;
 
 public:
-  ProgramStateManager(ASTContext &Ctx,
-                 StoreManagerCreator CreateStoreManager,
-                 ConstraintManagerCreator CreateConstraintManager,
-                 std::array<llvm::BumpPtrAllocator, 7> &Allocators,
-                 ExprEngine *expreng);
+  ProgramStateManager(ASTContext &Ctx, StoreManagerCreator CreateStoreManager,
+                      ConstraintManagerCreator CreateConstraintManager,
+                      std::array<llvm::BumpPtrAllocator, 7> &Allocators,
+                      ExprEngine *expreng);
 
   ~ProgramStateManager();
 

clang/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h

@@ -411,10 +411,11 @@ class SValBuilder {
                                const StackFrameContext *SFC);
 };
 
-SValBuilder* createSimpleSValBuilder(llvm::BumpPtrAllocator &BasicValueFactoryAllocator,
-                                     llvm::BumpPtrAllocator &SymbolManagerAllocator,
-                                     llvm::BumpPtrAllocator &MemRegionManagerAllocator,
-                                     ASTContext &context, ProgramStateManager &stateMgr);
+SValBuilder *
+createSimpleSValBuilder(llvm::BumpPtrAllocator &BasicValueFactoryAllocator,
+                        llvm::BumpPtrAllocator &SymbolManagerAllocator,
+                        llvm::BumpPtrAllocator &MemRegionManagerAllocator,
+                        ASTContext &context, ProgramStateManager &stateMgr);
 
 } // namespace ento
 

clang/lib/StaticAnalyzer/Core/CoreEngine.cpp

@@ -75,7 +75,8 @@ static std::unique_ptr<WorkList> generateWorkList(AnalyzerOptions &Opts) {
 }
 
 CoreEngine::CoreEngine(ExprEngine &exprengine, FunctionSummariesTy *FS,
-                       AnalyzerOptions &Opts, llvm::BumpPtrAllocator &BlockCounterFactoryAllocator)
+                       AnalyzerOptions &Opts,
+                       llvm::BumpPtrAllocator &BlockCounterFactoryAllocator)
     : ExprEng(exprengine), WList(generateWorkList(Opts)),
       CTUWList(Opts.IsNaiveCTUEnabled ? generateWorkList(Opts) : nullptr),
       BCounterFactory(BlockCounterFactoryAllocator), FunctionSummaries(FS) {}

clang/lib/StaticAnalyzer/Core/ExprEngine.cpp

@@ -219,17 +219,18 @@ REGISTER_TRAIT_WITH_PROGRAMSTATE(PendingArrayDestruction,
 
 static const char* TagProviderName = "ExprEngine";
 
-ExprEngine::ExprEngine(cross_tu::CrossTranslationUnitContext &CTU,
-                       AnalysisManager &mgr, SetOfConstDecls *VisitedCalleesIn,
-                       FunctionSummariesTy *FS, InliningModes HowToInlineIn,
-                       std::array<llvm::BumpPtrAllocator, 7> &ProgramStateAllocators,
-                       llvm::BumpPtrAllocator& BlockCounterFactoryAllocator)
+ExprEngine::ExprEngine(
+    cross_tu::CrossTranslationUnitContext &CTU, AnalysisManager &mgr,
+    SetOfConstDecls *VisitedCalleesIn, FunctionSummariesTy *FS,
+    InliningModes HowToInlineIn,
+    std::array<llvm::BumpPtrAllocator, 7> &ProgramStateAllocators,
+    llvm::BumpPtrAllocator &BlockCounterFactoryAllocator)
     : CTU(CTU), IsCTUEnabled(mgr.getAnalyzerOptions().IsNaiveCTUEnabled),
       AMgr(mgr), AnalysisDeclContexts(mgr.getAnalysisDeclContextManager()),
       Engine(*this, FS, mgr.getAnalyzerOptions(), BlockCounterFactoryAllocator),
-             G(Engine.getGraph()),
-      StateMgr(getContext(), mgr.getStoreManagerCreator(), mgr.getConstraintManagerCreator(),
-               ProgramStateAllocators, this),
+      G(Engine.getGraph()),
+      StateMgr(getContext(), mgr.getStoreManagerCreator(),
+               mgr.getConstraintManagerCreator(), ProgramStateAllocators, this),
       SymMgr(StateMgr.getSymbolManager()), MRMgr(StateMgr.getRegionManager()),
       svalBuilder(StateMgr.getSValBuilder()), ObjCNoRet(mgr.getASTContext()),
       BR(mgr, *this), VisitedCallees(VisitedCalleesIn),

clang/lib/StaticAnalyzer/Core/ProgramState.cpp

@@ -69,19 +69,18 @@ int64_t ProgramState::getID() const {
   return getStateManager().Alloc.identifyKnownAlignedObject<ProgramState>(this);
 }
 
-ProgramStateManager::ProgramStateManager(ASTContext &Ctx,
-                                         StoreManagerCreator CreateSMgr,
-                                         ConstraintManagerCreator CreateCMgr,
-                                         std::array<llvm::BumpPtrAllocator, 7> &Allocators,
-                                         ExprEngine *ExprEng)
-  : Eng(ExprEng), EnvMgr(Allocators[0]), GDMFactory(Allocators[1]),
-    svalBuilder(createSimpleSValBuilder(Allocators[2], Allocators[3], Allocators[4], Ctx, *this)),
-    CallEventMgr(new CallEventManager(Allocators[5])), Alloc(Allocators[6]) {
+ProgramStateManager::ProgramStateManager(
+    ASTContext &Ctx, StoreManagerCreator CreateSMgr,
+    ConstraintManagerCreator CreateCMgr,
+    std::array<llvm::BumpPtrAllocator, 7> &Allocators, ExprEngine *ExprEng)
+    : Eng(ExprEng), EnvMgr(Allocators[0]), GDMFactory(Allocators[1]),
+      svalBuilder(createSimpleSValBuilder(Allocators[2], Allocators[3],
+                                          Allocators[4], Ctx, *this)),
+      CallEventMgr(new CallEventManager(Allocators[5])), Alloc(Allocators[6]) {
   StoreMgr = (*CreateSMgr)(*this);
   ConstraintMgr = (*CreateCMgr)(*this, ExprEng);
 }
 
-
 ProgramStateManager::~ProgramStateManager() {
   for (GDMContextsTy::iterator I=GDMContexts.begin(), E=GDMContexts.end();
        I!=E; ++I)

clang/lib/StaticAnalyzer/Core/SValBuilder.cpp

@@ -52,13 +52,12 @@ void SValBuilder::anchor() {}
 SValBuilder::SValBuilder(llvm::BumpPtrAllocator &BasicValueFactoryAllocator,
                          llvm::BumpPtrAllocator &SymbolManagerAllocator,
                          llvm::BumpPtrAllocator &MemRegionManagerAllocator,
-                         ASTContext &context,
-                         ProgramStateManager &stateMgr)
+                         ASTContext &context, ProgramStateManager &stateMgr)
     : Context(context), BasicVals(context, BasicValueFactoryAllocator),
       SymMgr(context, BasicVals, SymbolManagerAllocator),
-      MemMgr(context, MemRegionManagerAllocator),
-      StateMgr(stateMgr),
-      AnOpts(stateMgr.getOwningEngine().getAnalysisManager().getAnalyzerOptions()),
+      MemMgr(context, MemRegionManagerAllocator), StateMgr(stateMgr),
+      AnOpts(
+          stateMgr.getOwningEngine().getAnalysisManager().getAnalyzerOptions()),
       ArrayIndexTy(context.LongLongTy),
       ArrayIndexWidth(context.getTypeSize(ArrayIndexTy)) {}
 

clang/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp

@@ -68,10 +68,8 @@ class SimpleSValBuilder : public SValBuilder {
                     llvm::BumpPtrAllocator &SymbolManagerAllocator,
                     llvm::BumpPtrAllocator &MemRegionManagerAllocator,
                     ASTContext &context, ProgramStateManager &stateMgr)
-      : SValBuilder(BasicValueFactoryAllocator,
-                    SymbolManagerAllocator,
-                    MemRegionManagerAllocator,
-                    context, stateMgr) {}
+      : SValBuilder(BasicValueFactoryAllocator, SymbolManagerAllocator,
+                    MemRegionManagerAllocator, context, stateMgr) {}
   ~SimpleSValBuilder() override {}
 
   SVal evalBinOpNN(ProgramStateRef state, BinaryOperator::Opcode op,
@@ -103,14 +101,14 @@ class SimpleSValBuilder : public SValBuilder {
 };
 } // end anonymous namespace
 
-SValBuilder *ento::createSimpleSValBuilder(llvm::BumpPtrAllocator &BasicValueFactoryAllocator,
-                                           llvm::BumpPtrAllocator &SymbolManagerAllocator,
-                                           llvm::BumpPtrAllocator &MemRegionManagerAllocator,
-                                           ASTContext &context, ProgramStateManager &stateMgr) {
+SValBuilder *ento::createSimpleSValBuilder(
+    llvm::BumpPtrAllocator &BasicValueFactoryAllocator,
+    llvm::BumpPtrAllocator &SymbolManagerAllocator,
+    llvm::BumpPtrAllocator &MemRegionManagerAllocator, ASTContext &context,
+    ProgramStateManager &stateMgr) {
   return new SimpleSValBuilder(BasicValueFactoryAllocator,
                                SymbolManagerAllocator,
-                               MemRegionManagerAllocator,
-                               context, stateMgr);
+                               MemRegionManagerAllocator, context, stateMgr);
 }
 
 // Checks if the negation the value and flipping sign preserve

clang/lib/StaticAnalyzer/Frontend/AnalysisConsumer.cpp

@@ -755,7 +755,8 @@ void AnalysisConsumer::RunPathSensitiveChecks(Decl *D,
   std::array<llvm::BumpPtrAllocator, 7> ProgramStateManagerAllocators;
   llvm::BumpPtrAllocator BlockCounterFactoryAllocator;
 
-  ExprEngine Eng(CTU, *Mgr, VisitedCallees, &FunctionSummaries, IMode, ProgramStateManagerAllocators, BlockCounterFactoryAllocator);
+  ExprEngine Eng(CTU, *Mgr, VisitedCallees, &FunctionSummaries, IMode,
+                 ProgramStateManagerAllocators, BlockCounterFactoryAllocator);
 
   // Execute the worklist algorithm.
   llvm::TimeRecord ExprEngineStartTime;