Home
last modified time | relevance | path

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

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DSimpleSValBuilder.cpp583 if (const SymIntExpr *symIntExpr = dyn_cast<SymIntExpr>(Sym)) { in evalBinOpNN() local
589 BinaryOperator::Opcode opc = symIntExpr->getOpcode(); in evalBinOpNN()
622 assert(symIntExpr->getType()->isBooleanType() || in evalBinOpNN()
623 getContext().hasSameUnqualifiedType(symIntExpr->getType(), in evalBinOpNN()
627 return makeNonLoc(symIntExpr->getLHS(), opc, in evalBinOpNN()
628 symIntExpr->getRHS(), resultTy); in evalBinOpNN()
637 BinaryOperator::Opcode lop = symIntExpr->getOpcode(); in evalBinOpNN()
647 const llvm::APSInt &first = IntType.convert(symIntExpr->getRHS()); in evalBinOpNN()
669 lhs = nonloc::SymbolVal(symIntExpr->getLHS()); in evalBinOpNN()
675 return MakeSymIntVal(symIntExpr, op, *RHSValue, resultTy); in evalBinOpNN()