I've also added a few other attributes in a couple of places. What do you think about the nonnull attribute?
I do think the attributes ((pure)) and ((const)) could make a difference. (For instance, hashing functions or any other function that base their result solely on their arguments)
Ard
-- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php