Searched defs:SIE (Results 1 – 9 of 9) sorted by relevance
175 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(BSE)) { REGISTER_TRAIT_WITH_PROGRAMSTATE() local 282 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
2802 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(SE)) { 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
513 if (auto *SIE = dyn_cast<SymIntExpr>(CondBSE)) { in evalAssume() local
246 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(SymVal->getSymbol())) { getSimplifiedOffsets() local
266 const char SIE[] = "End of search list."; in parseDriverOutput() local