>++演算子の方が優先順位(？)が高い

その通り。ただし b++ のように後置の ++ が付いた式の評価値は、
++ する前の値であると決まってる。b自身の値が本当に ++ されて
1 になる(ことが保証される)のは ; の直後から。

b++ という式の評価値と、bそのものの値が変化する(副作用)とを
区別して考える必要がある。