>非 GC 場合のルートって何さ?

プログラム内の変数が押さえてるところ。

>free しても system に返されない分は到達不可能な訳だが。

malloc/free のライブラリが押さえてる。