Lines Matching defs:stateZeroSize

1453   ProgramStateRef stateZeroSize, stateNonZeroSize;
1454   std::tie(stateZeroSize, stateNonZeroSize) =
1462   if (stateZeroSize && !stateNonZeroSize) {
1463     stateZeroSize =
1464         stateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, destVal);
1465     C.addTransition(stateZeroSize);
1617   ProgramStateRef stateZeroSize, stateNonZeroSize;
1618   std::tie(stateZeroSize, stateNonZeroSize) =
1623   if (stateZeroSize) {
1624     State = stateZeroSize;
1697     ProgramStateRef stateZeroSize, stateNonZeroSize;
1698     std::tie(stateZeroSize, stateNonZeroSize) =
1703     if (stateZeroSize) {
1705       stateZeroSize = stateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, zero);
1706       C.addTransition(stateZeroSize);