Lines Matching refs:Ex
419 const Expr *Ex,
996 const Expr *Ex;
1014 Ex(ex), Count(count), LCtx(lctx), IS(is), ITraits(ITraitsIn), Regions(r),
1151 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, Ctx.IntTy, Count);
1172 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
1244 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
1250 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
1281 const Expr *Ex,
1289 SVal V = svalBuilder.conjureSymbolVal(/* symbolTag = */ (const void*) GS, Ex, LCtx,
1337 const Expr *Ex, unsigned Count,
1355 InvalidateRegionsWorker W(*this, StateMgr, B, Ex, Count, LCtx, IS, ITraits,
1376 Ex, Count, LCtx, B, Invalidated);
1380 Ex, Count, LCtx, B, Invalidated);