> ループカウンタ用メンバ変数が書き換えられていないことが自明

m_pBuffer = &m_nCounter;
というケースをコンパイラは考慮しなくていいのか？