As far as I can tell, the pure attribute works (the following code compiles), but where is the documentation for it? [[clang::pure]] int f(){return 5;} int main() { return 0; }