clang
8.0.0
|
#include "clang/StaticAnalyzer/Checkers/BuiltinCheckerRegistration.h"
#include "clang/AST/DeclCXX.h"
#include "clang/StaticAnalyzer/Core/BugReporter/BugReporter.h"
#include "clang/StaticAnalyzer/Core/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/Core/Checker.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h"
Go to the source code of this file.
Classes | |
struct | llvm::FoldingSetTrait< ObjectState > |
Namespaces | |
llvm | |
DominatorTree GraphTraits specialization so the DominatorTree can be iterable by generic graph iterators. | |
Enumerations | |
enum | ObjectState : bool |
Functions | |
static bool | isVirtualCall (const CallExpr *CE) |
|
strong |
Definition at line 29 of file VirtualCallChecker.cpp.
Definition at line 138 of file VirtualCallChecker.cpp.
References clang::CallExpr::getCallee(), clang::CallExpr::getDirectCallee(), clang::CXXMethodDecl::getParent(), clang::Decl::hasAttr(), clang::FunctionDecl::isPure(), clang::CXXMethodDecl::isVirtual(), and State.