データフロー解析ぐらいは最近のコンパイラなら当たり前だよ？
ガチガチにソースコードに対応するようなコードを吐いて欲しいなら
-O0 を付けるとか...してもそこまでガチガチなコードが出るかどうか。