[erlang-questions] 12B4 dialyzer problem 1

Tobias Lindahl <>
Thu Sep 11 13:55:42 CEST 2008


Thanks,

I'll have a look at this.

Tobias

Anthony Shipman wrote:
> 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;
> 



More information about the erlang-questions mailing list