Christoph Berg <myon@debian.org> writes:
> So the question is, are all built-in *immutable* functions safe?
Perhaps.
> Extending the idea, perhaps the check could be moved to run-time and
> recursively check that only immutable functions are called, including
> user-defined immutable functions?
I don't think I'd trust that. UDFs can claim to be immutable but
be lying about it.
regards, tom lane