> ローカル変数はスタックに積むんだから、関数からreturnすれば必ず解放される。

AnsiString の変数はポインタ。アドレス保持してる変数は解放されるけど、文字列
そのものはヒープ。