Would love to be wrong, but to me this means things like "is signature correct" or "does the hash matches" can also be optimized away with --opt-level=3 in 1.72, unless the results are stored in a variable consumed for IO, and not just for branching.