Home
last modified time | relevance | path

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

/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DMacOSKeychainAPIChecker.cpp503 auto *CondBSE = dyn_cast_or_null<BinarySymExpr>(Cond.getAsSymbol()); in evalAssume() local
504 if (!CondBSE) in evalAssume()
506 BinaryOperator::Opcode OpCode = CondBSE->getOpcode(); in evalAssume()
513 if (auto *SIE = dyn_cast<SymIntExpr>(CondBSE)) { in evalAssume()
H A DCheckObjCDealloc.cpp417 auto *CondBSE = dyn_cast_or_null<BinarySymExpr>(Cond.getAsSymbol()); in evalAssume() local
418 if (!CondBSE) in evalAssume()
421 BinaryOperator::Opcode OpCode = CondBSE->getOpcode(); in evalAssume()
431 if (auto *SIE = dyn_cast<SymIntExpr>(CondBSE)) { in evalAssume()
436 } else if (auto *SIE = dyn_cast<IntSymExpr>(CondBSE)) { in evalAssume()