次のような、自身への変数の代入を検出します :
a = a;