Home | History | Annotate | Download | only in Analysis

Lines Matching defs:newID

533     unsigned newID = VarDefinitions.size();
534     Context NewCtx = ContextFactory.add(Ctx, D, newID);
541     unsigned newID = VarDefinitions.size();
542     Context NewCtx = ContextFactory.add(Ctx, D, newID);
551       unsigned newID = VarDefinitions.size();
553       NewCtx = ContextFactory.add(NewCtx, D, newID);