Searched defs:MarkAsSink (Results 1 - 2 of 2) sorted by relevance
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CheckerContext.h | 287 bool MarkAsSink,
290 if (!State || (State == Pred->getState() && !Tag && !MarkAsSink))
299 if (MarkAsSink)
286 addTransitionImpl(ProgramStateRef State, bool MarkAsSink, ExplodedNode *P = nullptr, const ProgramPointTag *Tag = nullptr) argument
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| H A D | CoreEngine.cpp | 611 bool MarkAsSink) {
614 ExplodedNode *N = C.Eng.G->getNode(Loc, State, MarkAsSink, &IsNew);
621 if (!MarkAsSink)
608 generateNodeImpl(const ProgramPoint &Loc, ProgramStateRef State, ExplodedNode *FromN, bool MarkAsSink) argument
|
Completed in 428 milliseconds