[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},

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);
	  cl_halt(cl(Opts), Opts)

Anthony Shipman                    Mamas don't let your babies 
                   grow up to be outsourced.

More information about the erlang-questions mailing list