I thought most people used the explicit version:

  for (size_t i = count; i > 0; --i) {
      // use array[i - 1]
  }

  size_t index = i - 1;

Yes, this is the best answer. This also works with `-fsanitize=unsigned-integer-overflow`.