Searched defs:SIE (Results 1 – 8 of 8) sorted by relevance
172 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(BSE)) { REGISTER_TRAIT_WITH_PROGRAMSTATE() local 279 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(BSE)) REGISTER_TRAIT_WITH_PROGRAMSTATE() local
389 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(BSE)) { in getSymBinExpr() local
33 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(Sym)) { in assumeSym() local
2801 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(SE)) { canReasonAbout() local
431 if (auto *SIE = dyn_cast<SymIntExpr>(CondBSE)) { in evalAssume() local 436 } else if (auto *SIE = dyn_cast<IntSymExpr>(CondBSE)) { in evalAssume() local
147 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(SymVal->getSymbol())) { getSimplifiedOffsets() local
220 if(const auto *SIE = dyn_cast<SymIntExpr>(CData.getBegin())) in checkLiveSymbols() local 215 if(const auto *SIE = dyn_cast<SymIntExpr>(CData.getBegin())) checkLiveSymbols() local
513 if (auto *SIE = dyn_cast<SymIntExpr>(CondBSE)) { in evalAssume() local