Lines Matching +full:clang +full:- +full:analyzer

1 //== TraversalChecker.cpp -------------------------------------- -*- C++ -*--=//
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
12 //===----------------------------------------------------------------------===//
13 #include "clang/StaticAnalyzer/Checkers/BuiltinCheckerRegistration.h"
14 #include "clang/AST/ParentMap.h"
15 #include "clang/AST/StmtObjC.h"
16 #include "clang/StaticAnalyzer/Core/Checker.h"
17 #include "clang/StaticAnalyzer/Core/CheckerManager.h"
18 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
19 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
22 using namespace clang;
38   // Special-case Objective-C's for-in loop, which uses the entire loop as its  in checkBranchCondition()
42     const ParentMap &Parents = C.getLocationContext()->getParentMap();  in checkBranchCondition()
48   // the static analyzer machinery.  in checkBranchCondition()
49   SourceLocation Loc = Parent->getBeginLoc();  in checkBranchCondition()
51                << Parent->getStmtClassName() << "\n";  in checkBranchCondition()
55   llvm::outs() << "--BEGIN FUNCTION--\n";  in checkBeginFunction()
60   llvm::outs() << "--END FUNCTION--\n";  in checkEndFunction()
71 //------------------------------------------------------------------------------
84   for (const LocationContext *LC = C.getLocationContext()->getParent();  in checkPreCall()
85        LC != nullptr; LC = LC->getParent())  in checkPreCall()
90   // the static analyzer machinery.  in checkPreCall()
101   for (const LocationContext *LC = C.getLocationContext()->getParent();  in checkPostCall()
102        LC != nullptr; LC = LC->getParent())  in checkPostCall()
107   // the static analyzer machinery.  in checkPostCall()
109   if (Call.getResultType()->isVoidType())  in checkPostCall()