It's not enforced. It's a promise. If you mark a non-pure function pure, then you are going to have a bad time. I would also be reluctant to mark any function

It's not enforced. It's a promise. If you mark a non-pure function pure, then you are going to have a bad time. I would also be reluctant to mark any function pure that takes pointers as arguments (directly or indirectly).