Searched refs:IntSymExpr (Results 1 – 9 of 9) sorted by relevance
179 } else if (const IntSymExpr *ISE = dyn_cast<IntSymExpr>(BSE)) { in REGISTER_TRAIT_WITH_PROGRAMSTATE()293 if (const IntSymExpr *ISE = dyn_cast<IntSymExpr>(BSE)) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
39 SYMBOL(IntSymExpr, BinarySymExpr)
401 if (const IntSymExpr *ISE = dyn_cast<IntSymExpr>(BSE)) { in getSymBinExpr()
487 using IntSymExpr = BinarySymExprImpl<APSIntPtr, const SymExpr *, variable
193 itr.push_back(cast<IntSymExpr>(SE)->getRHS()); in expand()367 KnownLive = isLive(cast<IntSymExpr>(sym)->getRHS()); in isLive()
90 return nonloc::SymbolVal(SymMgr.acquire<IntSymExpr>(lhs, op, rhs, type)); in makeNonLoc()
1356 SVal VisitIntSymExpr(const IntSymExpr *S) { in simplifySValOnce()
1238 RangeSet VisitIntSymExpr(const IntSymExpr *Sym) { in VisitIntSymExpr()
436 } else if (auto *SIE = dyn_cast<IntSymExpr>(CondBSE)) { in evalAssume()