>>406
例えば、 >>309 の変数 x が volatile 宣言された大域変数で、関数処理
実行中に外部スレッドや割り込み処理で値が変わる場合があるとかなら
わからなくもない。

こういう組み込みではありがちなケースで、関数単位の静的なテストしか
想定していないテストツールはまず役に立たない。