Splintのcsv出力のとき 最後がエラーになりやすいみたいだ。

splint +csv aaa.csv src.c
を行うと、ファイルを閉じる辺でエラーが出やすい。
ファイル自体は出力されているようだ。

Files unclosed: 1 [errno: 2]
*** Please report bug to splint-bug@splint.org ***
(attempting to continue, results may be incorrect)
src.c(783,1): *** Internal Bug at ..\..\src\llerror.c(2021):
..\..\src\llmain.c(957): Check Failed: fclose (g_csvstream) == 0 [errno: 2]
*** Please report bug to splint-bug@splint.org ***
(attempting to continue, results may be incorrect)

Finished checking --- 2183 code warnings
2 internal bugs reported