[erlang-bugs] internal compiler faults

Björn Gustavsson <>
Thu Dec 10 22:37:52 CET 2009

On Thu, Dec 10, 2009 at 2:05 PM, Kostis Sagonas <> 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



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

More information about the erlang-bugs mailing list