Lines Matching full:state
52 const ProgramState *state = C.getState();
53 SVal sizeV = state->getSVal(SE);
82 llvm::tie(stateNotZero, stateZero) = state->assume(sizeD);
99 state = stateNotZero;
116 SVal ArraySizeVal = svalBuilder.evalBinOpNN(state, BO_Mul, ArrayLength,
122 state->getRegion(VD, LC)->getExtent(svalBuilder);
125 svalBuilder.evalEQ(state, Extent, ArraySize);
126 state = state->assume(sizeIsKnown, true);
129 assert(state);
132 C.addTransition(state);
