[erlang-questions] 12B4 dialyzer problem 1

Anthony Shipman <>
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 
                   grow up to be outsourced.



More information about the erlang-questions mailing list