Home
last modified time | relevance | path

Searched refs:EpsilonKind (Results 1 – 3 of 3) sorted by relevance

/external/clang/include/clang/Analysis/
DProgramPoint.h62 EpsilonKind}; enumerator
530 : ProgramPoint(Data1, Data2, EpsilonKind, L, tag) {} in ProgramPoint() argument
535 return Location->getKind() == EpsilonKind; in classof()
/external/clang/lib/StaticAnalyzer/Core/
DCoreEngine.cpp254 case ProgramPoint::EpsilonKind: { in dispatchWorkItem()
DExprEngine.cpp1910 case ProgramPoint::EpsilonKind: in getNodeLabel()