[nayuki]

> it’s not too hard to make a compiler support a function attribute that says “do not optimize this function at all”

Note that memset_s() is an existing special case already. https://en.cppreference.com/w/c/string/byte/memset