On architectures that support this, assert that a function is "pure", i.e only depends on parameters and global variables.
Definition at line 612 of file p99_compiler.h.