プロトタイプが認識されないことがある問題

[yoshihiro503]

関数のプロトタイプを AST に変換する処理の問題で、プロトタイプを読み取れずその関数を使うコードがパースできないことがある。例えば以下のコードでエラーとなる。

int add(int a, int b);

int test(int x)
{
    return add(x, 1);
}

Fatal error: exception Clang2cabs_lib.Yojson2ast.Invalid_Yojson("Body not found.", _)
Raised at Dune__exe__Parse_main.dispatch_command in file "src/bin/parse_main.ml", line 50, characters 17-26
Called from Dune__exe__Parse_main in file "src/bin/parse_main.ml", line 60, characters 9-16