Home
last modified time | relevance | path

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

/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSimpleSValBuilder.cpp611 if (const SymIntExpr *symIntExpr = dyn_cast<SymIntExpr>(Sym)) { in evalBinOpNN() local
617 BinaryOperator::Opcode opc = symIntExpr->getOpcode(); in evalBinOpNN()
650 assert(symIntExpr->getType()->isBooleanType() || in evalBinOpNN()
651 getContext().hasSameUnqualifiedType(symIntExpr->getType(), in evalBinOpNN()
655 return makeNonLoc(symIntExpr->getLHS(), opc, in evalBinOpNN()
656 symIntExpr->getRHS(), resultTy); in evalBinOpNN()
665 BinaryOperator::Opcode lop = symIntExpr->getOpcode(); in evalBinOpNN()
675 const llvm::APSInt &first = IntType.convert(symIntExpr->getRHS()); in evalBinOpNN()
697 lhs = nonloc::SymbolVal(symIntExpr->getLHS()); in evalBinOpNN()
703 return MakeSymIntVal(symIntExpr, op, *RHSValue, resultTy); in evalBinOpNN()