Searched defs:MarkAsSink (Results 1 - 2 of 2) sorted by relevance
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CheckerContext.h | 317 bool MarkAsSink,
332 if (!State || (State == Pred->getState() && !Tag && !MarkAsSink))
341 if (MarkAsSink)
316 addTransitionImpl(ProgramStateRef State, bool MarkAsSink, ExplodedNode *P = nullptr, const ProgramPointTag *Tag = nullptr) argument
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| H A D | CoreEngine.cpp | 645 bool MarkAsSink) {
648 ExplodedNode *N = C.Eng.G.getNode(Loc, State, MarkAsSink, &IsNew);
655 if (!MarkAsSink)
642 generateNodeImpl(const ProgramPoint &Loc, ProgramStateRef State, ExplodedNode *FromN, bool MarkAsSink) argument
|
Completed in 370 milliseconds