Home | History | Annotate | Download | only in Core

Lines Matching refs:StFalse

1500     ProgramStateRef StTrue, StFalse;
1501     std::tie(StTrue, StFalse) = PrevState->assume(V);
1513       if (StFalse)
1514         builder.generateNode(StFalse, false, PredI);