@hj @lanodan @Moon It's not false or true, it's completely undefined. The rules for sequencing explicitly state that you can only update a variable once between sequence points
The compiler is allowed to read C into register B, then increment C in place, then read C into register A, and then conclude that A > B