Lines Matching refs:Ex
217 const Expr *Ex,
621 const Expr *Ex;
636 Ex(ex), Count(count), LCtx(lctx), IS(is), Regions(r) {}
731 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, Ctx.IntTy, Count);
746 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
755 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
771 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
778 const Expr *Ex,
786 SVal V = svalBuilder.conjureSymbolVal(/* SymbolTag = */ (const void*) GS, Ex, LCtx,
803 const Expr *Ex, unsigned Count,
810 Ex, Count, LCtx, IS, Invalidated, false);
832 Ex, Count, LCtx, B, Invalidated);
836 Ex, Count, LCtx, B, Invalidated);
838 Ex, Count, LCtx, B, Invalidated);