Hello Paul, to follow up on your mails about the difference between the gnu attributes `const` and `pure` and the standard attributes `unsequenced` and `reproducible`. So, yes, from what I recall, the proposed changes seemed to complicated and there were too much discussions for people to feel confident to apply these.
In the mean time, I personally am not convinced anymore that we should be adding termination to the side effects are prohibited. In general, it is not clear for all functions that are "pure" (in the CS sense of the term) that they shouldn't have error conditions that lead to program or thread termination. So probably distinguishing all these four different properties makes sense, and your proposed patches to the documentation then put these differences in the right light. Thanks Jₑₙₛ -- :: ICube :::::::::::::::::::::::::::::: deputy director :: :: Université de Strasbourg :::::::::::::::::::::: ICPS :: :: INRIA antenne de Strasbourg :::::::::::::::::: Camus :: :: INRIA PIQ program Strasbourg :::::::::: piq.inria.fr :: :: :::::::::::::::::::::::::::::::::::: ☎ +33 368854536 :: :: https://icube-icps.unistra.fr/index.php/Jens_Gustedt ::
