Lines Matching defs:stateNonZeroSize

1453   ProgramStateRef stateZeroSize, stateNonZeroSize;
1454   std::tie(stateZeroSize, stateNonZeroSize) =
1462   if (stateZeroSize && !stateNonZeroSize) {
1470   if (stateNonZeroSize) {
1474     state = stateNonZeroSize;
1617   ProgramStateRef stateZeroSize, stateNonZeroSize;
1618   std::tie(stateZeroSize, stateNonZeroSize) =
1631   if (stateNonZeroSize) {
1632     State = stateNonZeroSize;
1697     ProgramStateRef stateZeroSize, stateNonZeroSize;
1698     std::tie(stateZeroSize, stateNonZeroSize) =
1710     if (!stateNonZeroSize)
1714     state = stateNonZeroSize;