>どちらが先に評価されようとも、式の値はそれぞれnである
こっちの方が意味不明だな。
「式の評価」はそれがどの変数に入っていたかなど全く関係ない。
評価された結果(の数値)が全てであり、それを元に+演算し、その結果をmに代入する。

#include<stdio.h>
int main()
{
 int n;
 n = printf("abcde") + (printf("12345") + 3);
 printf("\n");
 n = printf("abcde") + (printf("12345") + 0);
 return n;
}
bccだと、1行目と2行目で表示が変わった。
gccだと変わらない。