Cleaning Up Some general statements: If a refcount is increased, it's still in use and therefore not garbage. If the refcount is decreased and hits zero, the zval can be freed and is thus not garbage. So only refcount decrements to a non-zero value need to be checked. The basic algorithm checks whether it is possible to decrease their refcount by one, and then check which of the zvals have a refcount of zero.