Searched defs:SIE (Results 1 – 7 of 7) sorted by relevance
175 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(BSE)) { in REGISTER_TRAIT_WITH_PROGRAMSTATE() local282 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(BSE)) in 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
2802 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(SE)) { in canReasonAbout() local
431 if (auto *SIE = dyn_cast<SymIntExpr>(CondBSE)) { in evalAssume() local436 } else if (auto *SIE = dyn_cast<IntSymExpr>(CondBSE)) { in evalAssume() local
220 if(const auto *SIE = dyn_cast<SymIntExpr>(CData.getBegin())) in checkLiveSymbols() local225 if(const auto *SIE = dyn_cast<SymIntExpr>(CData.getEnd())) in checkLiveSymbols() local
246 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(SymVal->getSymbol())) { in getSimplifiedOffsets() local