| /external/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| MPIChecker.h | 24 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
36 void checkPreCall(const CallEvent &CE, CheckerContext &Ctx) const {
60 void checkDoubleNonblocking(const clang::ento::CallEvent &PreCallEvent,
69 void checkUnmatchedWaits(const clang::ento::CallEvent &PreCallEvent,
89 const clang::ento::MemRegion *const MR, const clang::ento::CallEvent &CE,
97 topRegionUsedByWait(const clang::ento::CallEvent &CE) const;
|
| MPIBugReporter.h | 43 void reportDoubleNonblocking(const CallEvent &MPICallEvent,
68 void reportUnmatchedWait(const CallEvent &CE,
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| TraversalChecker.cpp | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
73 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
74 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
78 void CallDumper::checkPreCall(const CallEvent &Call, CheckerContext &C) const {
91 void CallDumper::checkPostCall(const CallEvent &Call, CheckerContext &C) const {
|
| CheckerDocumentation.cpp | 117 void checkPreCall(const CallEvent &Call, CheckerContext &C) const {}
123 void checkPostCall(const CallEvent &Call, CheckerContext &C) const {}
269 const CallEvent *Call) const {
282 /// \param Call The corresponding CallEvent, if the symbols escape as
288 const CallEvent *Call,
299 const CallEvent *Call,
|
| SimpleStreamChecker.cpp | 21 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
61 const CallEvent &Call,
67 bool guaranteedNotToCloseFile(const CallEvent &Call) const;
73 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
75 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
82 const CallEvent *Call,
118 void SimpleStreamChecker::checkPostCall(const CallEvent &Call,
137 void SimpleStreamChecker::checkPreCall(const CallEvent &Call,
201 const CallEvent &Call,
230 bool SimpleStreamChecker::guaranteedNotToCloseFile(const CallEvent &Call) const
[all...] |
| NoReturnFunctionChecker.cpp | 20 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
35 void checkPostCall(const CallEvent &CE, CheckerContext &C) const;
41 void NoReturnFunctionChecker::checkPostCall(const CallEvent &CE,
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CallEvent.h | 1 //===- CallEvent.h - Wrapper for all function and method calls ----*- C++ -*--//
10 /// \file This file defines CallEvent and its subclasses, which represent path-
50 class CallEvent;
56 friend CallEvent;
77 template<typename T = CallEvent>
135 /// CallEventManager to be able to re-use CallEvent-sized memory blocks,
136 /// subclasses of CallEvent may not add any data members to the base class.
138 class CallEvent {
147 void operator=(const CallEvent &) = delete;
168 CallEvent(const Expr *E, ProgramStateRef state, const LocationContext *lctx
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-3957855/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CallEvent.h | 1 //===- CallEvent.h - Wrapper for all function and method calls ----*- C++ -*--//
10 /// \file This file defines CallEvent and its subclasses, which represent path-
50 class CallEvent;
56 friend CallEvent;
79 template<typename T = CallEvent>
137 /// CallEventManager to be able to re-use CallEvent-sized memory blocks,
138 /// subclasses of CallEvent may not add any data members to the base class.
140 class CallEvent {
149 void operator=(const CallEvent &) = delete;
170 CallEvent(const Expr *E, ProgramStateRef state, const LocationContext *lctx
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-3960126/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CallEvent.h | 1 //===- CallEvent.h - Wrapper for all function and method calls ----*- C++ -*--//
10 /// \file This file defines CallEvent and its subclasses, which represent path-
50 class CallEvent;
56 friend CallEvent;
79 template<typename T = CallEvent>
137 /// CallEventManager to be able to re-use CallEvent-sized memory blocks,
138 /// subclasses of CallEvent may not add any data members to the base class.
140 class CallEvent {
149 void operator=(const CallEvent &) = delete;
170 CallEvent(const Expr *E, ProgramStateRef state, const LocationContext *lctx
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-3977809/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CallEvent.h | 1 //===- CallEvent.h - Wrapper for all function and method calls ----*- C++ -*--//
10 /// \file This file defines CallEvent and its subclasses, which represent path-
50 class CallEvent;
56 friend CallEvent;
79 template<typename T = CallEvent>
137 /// CallEventManager to be able to re-use CallEvent-sized memory blocks,
138 /// subclasses of CallEvent may not add any data members to the base class.
140 class CallEvent {
149 void operator=(const CallEvent &) = delete;
170 CallEvent(const Expr *E, ProgramStateRef state, const LocationContext *lctx
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CallEvent.h | 1 //===- CallEvent.h - Wrapper for all function and method calls ----*- C++ -*--//
10 /// \file This file defines CallEvent and its subclasses, which represent path-
50 class CallEvent;
56 friend CallEvent;
79 template<typename T = CallEvent>
137 /// CallEventManager to be able to re-use CallEvent-sized memory blocks,
138 /// subclasses of CallEvent may not add any data members to the base class.
140 class CallEvent {
149 void operator=(const CallEvent &) = delete;
170 CallEvent(const Expr *E, ProgramStateRef state, const LocationContext *lctx
[all...] |
| /prebuilts/clang/host/linux-x86/clang-3957855/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CallEvent.h | 1 //===- CallEvent.h - Wrapper for all function and method calls ----*- C++ -*--//
10 /// \file This file defines CallEvent and its subclasses, which represent path-
50 class CallEvent;
56 friend CallEvent;
79 template<typename T = CallEvent>
137 /// CallEventManager to be able to re-use CallEvent-sized memory blocks,
138 /// subclasses of CallEvent may not add any data members to the base class.
140 class CallEvent {
149 void operator=(const CallEvent &) = delete;
170 CallEvent(const Expr *E, ProgramStateRef state, const LocationContext *lctx
[all...] |
| /prebuilts/clang/host/linux-x86/clang-3960126/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CallEvent.h | 1 //===- CallEvent.h - Wrapper for all function and method calls ----*- C++ -*--//
10 /// \file This file defines CallEvent and its subclasses, which represent path-
50 class CallEvent;
56 friend CallEvent;
79 template<typename T = CallEvent>
137 /// CallEventManager to be able to re-use CallEvent-sized memory blocks,
138 /// subclasses of CallEvent may not add any data members to the base class.
140 class CallEvent {
149 void operator=(const CallEvent &) = delete;
170 CallEvent(const Expr *E, ProgramStateRef state, const LocationContext *lctx
[all...] |
| /prebuilts/clang/host/linux-x86/clang-3977809/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CallEvent.h | 1 //===- CallEvent.h - Wrapper for all function and method calls ----*- C++ -*--//
10 /// \file This file defines CallEvent and its subclasses, which represent path-
50 class CallEvent;
56 friend CallEvent;
79 template<typename T = CallEvent>
137 /// CallEventManager to be able to re-use CallEvent-sized memory blocks,
138 /// subclasses of CallEvent may not add any data members to the base class.
140 class CallEvent {
149 void operator=(const CallEvent &) = delete;
170 CallEvent(const Expr *E, ProgramStateRef state, const LocationContext *lctx
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CallEvent.h | 1 //===- CallEvent.h - Wrapper for all function and method calls ----*- C++ -*--//
10 /// \file This file defines CallEvent and its subclasses, which represent path-
50 class CallEvent;
56 friend CallEvent;
79 template<typename T = CallEvent>
137 /// CallEventManager to be able to re-use CallEvent-sized memory blocks,
138 /// subclasses of CallEvent may not add any data members to the base class.
140 class CallEvent {
149 void operator=(const CallEvent &) = delete;
170 CallEvent(const Expr *E, ProgramStateRef state, const LocationContext *lctx
[all...] |
| /external/clang/lib/StaticAnalyzer/Core/ |
| CallEvent.cpp | 10 /// \file This file defines CallEvent and its subclasses, which represent path-
16 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
28 QualType CallEvent::getResultType() const {
87 bool CallEvent::hasNonNullArgumentsWithType(bool (*Condition)(QualType)) const {
97 for (CallEvent::param_type_iterator I = param_type_begin(),
113 bool CallEvent::hasNonZeroCallbackArg() const {
117 bool CallEvent::hasVoidPointerToNonConstArg() const {
121 bool CallEvent::isGlobalCFunction(StringRef FunctionName) const {
146 const CallEvent &Call) {
148 for (CallEvent::param_type_iterator I = Call.param_type_begin()
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| CheckerManager.h | 251 const CallEvent &Call, ExprEngine &Eng) {
257 const CallEvent &Call, ExprEngine &Eng,
266 const CallEvent &Call, ExprEngine &Eng,
344 const CallEvent *Call);
355 /// \param Call The corresponding CallEvent, if the symbols escape as
364 const CallEvent *Call,
374 /// Warning: Currently, the CallEvent MUST come from a CallExpr!
377 const CallEvent &CE, ExprEngine &Eng);
419 typedef CheckerFn<void (const CallEvent &, CheckerContext &)>
452 const CallEvent *Call)
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-3957855/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/ |
| CheckerManager.h | 251 const CallEvent &Call, ExprEngine &Eng) {
257 const CallEvent &Call, ExprEngine &Eng,
266 const CallEvent &Call, ExprEngine &Eng,
342 const CallEvent *Call);
353 /// \param Call The corresponding CallEvent, if the symbols escape as
362 const CallEvent *Call,
372 /// Warning: Currently, the CallEvent MUST come from a CallExpr!
375 const CallEvent &CE, ExprEngine &Eng);
417 typedef CheckerFn<void (const CallEvent &, CheckerContext &)>
451 const CallEvent *Call)
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-3960126/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/ |
| CheckerManager.h | 251 const CallEvent &Call, ExprEngine &Eng) {
257 const CallEvent &Call, ExprEngine &Eng,
266 const CallEvent &Call, ExprEngine &Eng,
342 const CallEvent *Call);
353 /// \param Call The corresponding CallEvent, if the symbols escape as
362 const CallEvent *Call,
372 /// Warning: Currently, the CallEvent MUST come from a CallExpr!
375 const CallEvent &CE, ExprEngine &Eng);
417 typedef CheckerFn<void (const CallEvent &, CheckerContext &)>
451 const CallEvent *Call)
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-3977809/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/ |
| CheckerManager.h | 251 const CallEvent &Call, ExprEngine &Eng) {
257 const CallEvent &Call, ExprEngine &Eng,
266 const CallEvent &Call, ExprEngine &Eng,
342 const CallEvent *Call);
353 /// \param Call The corresponding CallEvent, if the symbols escape as
362 const CallEvent *Call,
372 /// Warning: Currently, the CallEvent MUST come from a CallExpr!
375 const CallEvent &CE, ExprEngine &Eng);
417 typedef CheckerFn<void (const CallEvent &, CheckerContext &)>
451 const CallEvent *Call)
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/ |
| CheckerManager.h | 251 const CallEvent &Call, ExprEngine &Eng) {
257 const CallEvent &Call, ExprEngine &Eng,
266 const CallEvent &Call, ExprEngine &Eng,
342 const CallEvent *Call);
353 /// \param Call The corresponding CallEvent, if the symbols escape as
362 const CallEvent *Call,
372 /// Warning: Currently, the CallEvent MUST come from a CallExpr!
375 const CallEvent &CE, ExprEngine &Eng);
417 typedef CheckerFn<void (const CallEvent &, CheckerContext &)>
451 const CallEvent *Call)
[all...] |
| /prebuilts/clang/host/linux-x86/clang-3957855/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/ |
| CheckerManager.h | 251 const CallEvent &Call, ExprEngine &Eng) {
257 const CallEvent &Call, ExprEngine &Eng,
266 const CallEvent &Call, ExprEngine &Eng,
342 const CallEvent *Call);
353 /// \param Call The corresponding CallEvent, if the symbols escape as
362 const CallEvent *Call,
372 /// Warning: Currently, the CallEvent MUST come from a CallExpr!
375 const CallEvent &CE, ExprEngine &Eng);
417 typedef CheckerFn<void (const CallEvent &, CheckerContext &)>
451 const CallEvent *Call)
[all...] |
| /prebuilts/clang/host/linux-x86/clang-3960126/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/ |
| CheckerManager.h | 251 const CallEvent &Call, ExprEngine &Eng) {
257 const CallEvent &Call, ExprEngine &Eng,
266 const CallEvent &Call, ExprEngine &Eng,
342 const CallEvent *Call);
353 /// \param Call The corresponding CallEvent, if the symbols escape as
362 const CallEvent *Call,
372 /// Warning: Currently, the CallEvent MUST come from a CallExpr!
375 const CallEvent &CE, ExprEngine &Eng);
417 typedef CheckerFn<void (const CallEvent &, CheckerContext &)>
451 const CallEvent *Call)
[all...] |
| /prebuilts/clang/host/linux-x86/clang-3977809/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/ |
| CheckerManager.h | 251 const CallEvent &Call, ExprEngine &Eng) {
257 const CallEvent &Call, ExprEngine &Eng,
266 const CallEvent &Call, ExprEngine &Eng,
342 const CallEvent *Call);
353 /// \param Call The corresponding CallEvent, if the symbols escape as
362 const CallEvent *Call,
372 /// Warning: Currently, the CallEvent MUST come from a CallExpr!
375 const CallEvent &CE, ExprEngine &Eng);
417 typedef CheckerFn<void (const CallEvent &, CheckerContext &)>
451 const CallEvent *Call)
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/ |
| CheckerManager.h | 251 const CallEvent &Call, ExprEngine &Eng) {
257 const CallEvent &Call, ExprEngine &Eng,
266 const CallEvent &Call, ExprEngine &Eng,
342 const CallEvent *Call);
353 /// \param Call The corresponding CallEvent, if the symbols escape as
362 const CallEvent *Call,
372 /// Warning: Currently, the CallEvent MUST come from a CallExpr!
375 const CallEvent &CE, ExprEngine &Eng);
417 typedef CheckerFn<void (const CallEvent &, CheckerContext &)>
451 const CallEvent *Call)
[all...] |
