Lines Matching defs:stateZeroSize

1448   ProgramStateRef stateZeroSize, stateNonZeroSize;
1449   std::tie(stateZeroSize, stateNonZeroSize) =
1457   if (stateZeroSize && !stateNonZeroSize) {
1458     stateZeroSize =
1459         stateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, destVal);
1460     C.addTransition(stateZeroSize);
1612   ProgramStateRef stateZeroSize, stateNonZeroSize;
1613   std::tie(stateZeroSize, stateNonZeroSize) =
1618   if (stateZeroSize) {
1619     State = stateZeroSize;
1692     ProgramStateRef stateZeroSize, stateNonZeroSize;
1693     std::tie(stateZeroSize, stateNonZeroSize) =
1698     if (stateZeroSize) {
1700       stateZeroSize = stateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, zero);
1701       C.addTransition(stateZeroSize);