Go to the source code of this file.
|
| llvm |
| DominatorTree GraphTraits specialization so the DominatorTree can be iterable by generic graph iterators.
|
|
◆ ObjectState
◆ isVirtualCall()
Definition at line 140 of file VirtualCallChecker.cpp.
References clang::ento::CheckerContext::addTransition(), clang::ento::CheckerContext::emitReport(), clang::ento::CheckerContext::generateErrorNode(), clang::ento::CheckerContext::generateNonFatalErrorNode(), clang::ento::CheckerManager::getAnalyzerOptions(), clang::AnalyzerOptions::getBooleanOption(), clang::CallExpr::getCallee(), clang::ento::CallEvent::getDecl(), clang::CallExpr::getDirectCallee(), clang::ento::CheckerContext::getLocationContext(), clang::ento::CallEvent::getOriginExpr(), clang::CXXMethodDecl::getParent(), clang::ento::CheckerContext::getState(), clang::ento::CheckerContext::getSValBuilder(), clang::Decl::hasAttr(), clang::FunctionDecl::isPure(), clang::CXXMethodDecl::isVirtual(), clang::ento::CheckerManager::registerChecker(), and State.