if文について

[ｃ]

if((a >= 1 && a++) || b>=3 ){
処理X;
}
という場合、どのような動きをするのでしょうか？
どなたか分かる方いたら教えてください。

[みけCAT]

コード:

if(
(a>=1
&&
a++
) ||
b>=3
) {
処理X;
}

1.条件分岐をします。
2.aが1以上なら真になります。
3.前の文(a>=1)が真なら次の文(a++)を評価します。
前の文が真なら次の文を評価せず偽になります。
4.aの値を1増やし、増やす前のaの値を返します。
5.前の文(a >= 1 && a++)が偽なら次の文(b>=3)を評価します。
前の文が真なら次の文を評価せず真を返します。
6.bが3以上なら真を返します。
7.((a >= 1 && a++) || b>=3 )が真なら{}内を実行します。

[box]

4.aの値を1増やし、増やす前のaの値を返します。

ここを必ず通るって書いてあるように見えるんですが、よろしいんですか？

[box]

コード:

if((a >= 1 && a++) || b>=3 ){
    処理X;
}

こんな感じじゃないんでしょうか。
１）a >= 1 かどうか評価する。真ならば２）へ。偽ならば、(a >= 1 && a++) 全体が偽であることがわかったので、a++ を評価せずに４）へ。
２）aをインクリメントする。評価結果はインクリメントする前のa（前項で、１以上であることは確定しているので、必ず真）。
３）(a >= 1 && a++) が真であることがわかったので、if文全体が真であることがわかった。よって、b >= 3 を評価せずに５）へ。
４）b >= 3 かどうか評価する。真ならば５）へ。偽ならば処理Xを実行せずにif文から抜ける。
５）処理Xを実行してif文から抜ける。

このif文を終了した時点でaの値がどうなっているかは、上記１）の結果しだい。