[erlang-questions] 12B4 dialyzer problem 1
Anthony Shipman
als@REDACTED
Thu Sep 11 11:45:52 CEST 2008
I get this each time my plt is updated:
{"init terminating in do_boot",{{case_clause,{ok,2}},[{dialyzer,plain_cl,0},
{init,start_it,1},{init,start_em,1}]}}
build/dial: line 53: 19765 Segmentation fault dialyzer --plt $PLT $DARGS
The problem code appears to be in dialyzer.erl somewhere near line 70 where
the case doesn't test all return codes.
case cl_check_init(Opts) of
{error, _} = Error -> cl_halt(Error, Opts);
{ok, ?RET_NOTHING_SUSPICIOUS} ->
cl_halt(cl(Opts), Opts)
end;
--
Anthony Shipman Mamas don't let your babies
als@REDACTED grow up to be outsourced.
More information about the erlang-questions
mailing list