Lines Matching defs:stateNonZeroSize

1448   ProgramStateRef stateZeroSize, stateNonZeroSize;
1449   std::tie(stateZeroSize, stateNonZeroSize) =
1457   if (stateZeroSize && !stateNonZeroSize) {
1465   if (stateNonZeroSize) {
1469     state = stateNonZeroSize;
1612   ProgramStateRef stateZeroSize, stateNonZeroSize;
1613   std::tie(stateZeroSize, stateNonZeroSize) =
1626   if (stateNonZeroSize) {
1627     State = stateNonZeroSize;
1692     ProgramStateRef stateZeroSize, stateNonZeroSize;
1693     std::tie(stateZeroSize, stateNonZeroSize) =
1705     if (!stateNonZeroSize)
1709     state = stateNonZeroSize;