HomeSort by relevance Sort by last modified time
    Searched refs:SymIntExpr (Results 1 - 5 of 5) sorted by null

  /external/clang/lib/StaticAnalyzer/Core/
SimpleConstraintManager.cpp 31 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(SE)) {
171 } else if (const SymIntExpr *SE = dyn_cast<SymIntExpr>(sym)) {
226 if (const SymIntExpr *SE = dyn_cast<SymIntExpr>(Sym)) {
SymbolManager.cpp 30 void SymIntExpr::dumpToStream(raw_ostream &os) const {
129 itr.push_back(cast<SymIntExpr>(SE)->getLHS());
254 const SymIntExpr *SymbolManager::getSymIntExpr(const SymExpr *lhs,
259 SymIntExpr::Profile(ID, lhs, op, v, t);
264 data = (SymIntExpr*) BPAlloc.Allocate<SymIntExpr>();
265 new (data) SymIntExpr(lhs, op, v, t);
269 return cast<SymIntExpr>(data);
470 KnownLive = isLive(cast<SymIntExpr>(sym)->getLHS());
SimpleSValBuilder.cpp 404 if (const SymIntExpr *symIntExpr = dyn_cast<SymIntExpr>(Sym)) {
410 BinaryOperator::Opcode opc = symIntExpr->getOpcode();
443 assert(symIntExpr->getType()->isBooleanType() ||
444 getContext().hasSameUnqualifiedType(symIntExpr->getType(),
448 return makeNonLoc(symIntExpr->getLHS(), opc,
449 symIntExpr->getRHS(), resultTy);
458 BinaryOperator::Opcode lop = symIntExpr->getOpcode();
468 const llvm::APSInt &first = IntType.convert(symIntExpr->getRHS())
    [all...]
ProgramState.cpp 557 return scan(cast<SymIntExpr>(sym)->getLHS());
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SymbolManager.h 371 class SymIntExpr : public BinarySymExpr {
376 SymIntExpr(const SymExpr *lhs, BinaryOperator::Opcode op,
529 const SymIntExpr *getSymIntExpr(const SymExpr *lhs, BinaryOperator::Opcode op,
532 const SymIntExpr *getSymIntExpr(const SymExpr &lhs, BinaryOperator::Opcode op,

Completed in 1706 milliseconds