Home
last modified time | relevance | path

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

/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
H A DMacOSKeychainAPIChecker.cpp512 auto *CondBSE = dyn_cast_or_null<BinarySymExpr>(Cond.getAsSymbol()); in evalAssume() local
513 if (!CondBSE) in evalAssume()
515 BinaryOperator::Opcode OpCode = CondBSE->getOpcode(); in evalAssume()
522 if (auto *SIE = dyn_cast<SymIntExpr>(CondBSE)) { in evalAssume()
H A DCheckObjCDealloc.cpp409 auto *CondBSE = dyn_cast_or_null<BinarySymExpr>(Cond.getAsSymbol()); in evalAssume() local
410 if (!CondBSE) in evalAssume()
413 BinaryOperator::Opcode OpCode = CondBSE->getOpcode(); in evalAssume()
423 if (auto *SIE = dyn_cast<SymIntExpr>(CondBSE)) { in evalAssume()
428 } else if (auto *SIE = dyn_cast<IntSymExpr>(CondBSE)) { in evalAssume()