Suhail Singh <suhailsingh...@gmail.com> writes: > Steven Allen <ste...@stebalien.com> writes: > >> The concern is that, e.g., there may b a function _marked_ as pure >> that's not actually pure, leaks some information, and/or has a >> security vulnerability (e.g., a C function exposed to lisp that's >> marked as pure but internally has, e.g., a buffer overflow). > > Are there any functions marked as pure, by default? >
Yes. Any function that starts with: (declare (pure t) ... This flag was introduced to allow the byte/native compiler to better optimize calls to pure functions. It's used here because "pure" functions should be safe to call.