2015-08-20から1日間の記事一覧

特定オプション指定時にdialyzerのメモリ消費量が異様に大きくなる

--get_warningsと-Wrace_conditionsの二つのオプションを合わせて指定すると、何故かメモリ使用量が大きくなってしまう模様。 例えば、以下のコマンド実行時には、メモリ使用量が途中で8GB(RAMサイズ)に達してしまい、PLTを構築することができなかった。 (上…