Your comment is technically correct, but the original description of “volatile” in the parent comment is much clearer. It may be fun to imagine what would happe

Your comment is technically correct, but the original description of “volatile” in the parent comment is much clearer. It may be fun to imagine what would happen if the compiler writer were malicious, but it doesn’t really help us understand C. Just like C compilers assume that the program is correct, the writers of the C standard assume that the people reading it are not insane or malicious.