internal error in erlc: "no function clause matching beam_types:make_integer(0,-1) "

[RobinMorisset]

On master, running erlc on the following file (admittedly not very reasonable):

-module(make_integer).
-compile([export_all]).

f(<<0:((bnot (1 div 0)))>>)  -> 
	42.

gives the following error message:

Function: f/1
Sub pass ssa_opt_type_start
make_integer.erl: internal error in pass beam_ssa_opt:
exception error: no function clause matching beam_types:make_integer(0,-1) 
  in function  beam_ssa_type:update_types/3 (beam_ssa_type.erl, line 2038)
  in call from beam_ssa_type:simplify/5 (beam_ssa_type.erl, line 1043)
  in call from beam_ssa_type:sig_is/7 (beam_ssa_type.erl, line 309)
  in call from beam_ssa_type:sig_bs/8 (beam_ssa_type.erl, line 251)
  in call from beam_ssa_type:sig_function_1/4 (beam_ssa_type.erl, line 220)
  in call from beam_ssa_type:do_sig_function/4 (beam_ssa_type.erl, line 168)
  in call from beam_ssa_type:sig_function/4 (beam_ssa_type.erl, line 159)

Expected result:
I'd expect erlc to either succeed or fail cleanly, not crash.

[bjorng]

Thanks! The linked pull request resolves the issue.