diff options
Diffstat (limited to 'clang/lib/Analysis/FlowSensitive/Models/ChromiumCheckModel.cpp')
| -rw-r--r-- | clang/lib/Analysis/FlowSensitive/Models/ChromiumCheckModel.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/clang/lib/Analysis/FlowSensitive/Models/ChromiumCheckModel.cpp b/clang/lib/Analysis/FlowSensitive/Models/ChromiumCheckModel.cpp index 5ac71e1d6bf6..77d817dafe83 100644 --- a/clang/lib/Analysis/FlowSensitive/Models/ChromiumCheckModel.cpp +++ b/clang/lib/Analysis/FlowSensitive/Models/ChromiumCheckModel.cpp @@ -56,7 +56,8 @@ bool ChromiumCheckModel::transfer(const CFGElement &Element, Environment &Env) { return false; auto Stmt = CS->getStmt(); if (const auto *Call = dyn_cast<CallExpr>(Stmt)) { - if (const auto *M = dyn_cast<CXXMethodDecl>(Call->getDirectCallee())) { + if (const auto *M = + dyn_cast_or_null<CXXMethodDecl>(Call->getDirectCallee())) { if (isCheckLikeMethod(CheckDecls, *M)) { // Mark this branch as unreachable. Env.assume(Env.arena().makeLiteral(false)); |
