Home
last modified time | relevance | path

Searched refs:CondBSE (Results 1 – 2 of 2) sorted by relevance

/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DMacOSKeychainAPIChecker.cpp509 auto *CondBSE = dyn_cast_or_null<BinarySymExpr>(Cond.getAsSymExpr()); in evalAssume() local
510 if (!CondBSE) in evalAssume()
512 BinaryOperator::Opcode OpCode = CondBSE->getOpcode(); in evalAssume()
519 if (auto *SIE = dyn_cast<SymIntExpr>(CondBSE)) { in evalAssume()
H A DCheckObjCDealloc.cpp410 auto *CondBSE = dyn_cast_or_null<BinarySymExpr>(Cond.getAsSymExpr()); in evalAssume() local
411 if (!CondBSE) in evalAssume()
414 BinaryOperator::Opcode OpCode = CondBSE->getOpcode(); in evalAssume()
424 if (auto *SIE = dyn_cast<SymIntExpr>(CondBSE)) { in evalAssume()
429 } else if (auto *SIE = dyn_cast<IntSymExpr>(CondBSE)) { in evalAssume()