Change allocation function logic to be negative.

[gbaraldi]

Changes logic to be safer, where only functions that are known not to allocate are allowed.