Lines Matching defs:state
34 ProgramStateRef state = C.getState();
52 state = state->assume(Arg.castAs<DefinedOrUnknownSVal>(), true);
55 if (!state) {
60 C.addTransition(state);
74 C.addTransition(state->BindExpr(CE, LCtx, Arg));
95 svalBuilder.evalEQ(state, Extent, Size.castAs<DefinedOrUnknownSVal>());
96 state = state->assume(extentMatchesSizeArg, true);
97 assert(state && "The region should not have any previous constraints");
99 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R)));
127 C.addTransition(state->BindExpr(CE, LCtx, V));