Just added a check for that in a subsequent commit. I annotated it as PHP-680, since it was technically related to segfaults from the dtor methods.