clang
6.0.0
|
Static Public Member Functions | |
static void | Profile (ObjectState X, FoldingSetNodeID &ID) |
Definition at line 34 of file VirtualCallChecker.cpp.
|
inlinestatic |
Definition at line 35 of file VirtualCallChecker.cpp.
References clang::LocationContext::getCurrentStackFrame(), clang::LocationContext::getDecl(), clang::ento::ExplodedNode::getLocationContext(), clang::ento::ExplodedNode::getState(), clang::ento::ProgramStateManager::getSValBuilder(), REGISTER_MAP_WITH_PROGRAMSTATE, State, and X.