https://gcc.gnu.org/bugzilla/show_bug.cgi?id=32911
--- Comment #8 from Eric Gallager <egallager at gcc dot gnu.org> --- It might also be worth comparing against the attributes [[unsequenced]] and [[reproducible]] proposed for the C standard: https://www.open-std.org/jtc1/sc22/wg14/www/docs/n2956.htm
