[erlang-bugs] internal compiler faults

[Björn Gustavsson]

On Thu, Dec 10, 2009 at 2:05 PM, Kostis Sagonas <kostis@REDACTED> wrote:

> For Bjorn, I guess, I include a smaller version of your module that also
> throws the same error as the program you attached.

Thanks for minimizing the example.

I have included a fix in the 'pu' branch. Basically, my fix just
treats the symptom (disabling the optimization for that kind of code
instead of crashing), but I have looked at the code to understand
why it crashed and added some information about it to the comments
and commit message.


To debug problems found by the beam_validator, I generally start
by disabling various optimization passes to see if the problem
disappears. If it does, I know in which part of the code to start
looking.

Type

  compile:options()

in the shell to get a list of the compiler options (the one
with the explanation "Skip..." are the ones you are
interested in).

-- 
Björn Gustavsson, Erlang/OTP, Ericsson AB