[erlang-bugs] internal compiler faults

[Simon Cornish]

Hi Björn,
Thanks for your quick patch.

2009/12/10 Björn Gustavsson bgustavsson-at-gmail.com wrote:
> 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 fail to see how this minimisation helps the discussion. The point of
including both the yes/3 and bad/3 functions was to show that only one
of the two different methods of calculating Do1 & Do2 caused the
crash. I would have thought this would help point to the underlying
optimisation error.

Regarding the internal consistency check, I used the beam_bool patch
and still encountered the same problem. Attached is a small example.
It will compile if no_bopt is used. It will also compile if the
boolean guard is not repeated (eg. CH2 is assigned a constant value).

On Thu, Dec 10, 2009 at 2:05 PM, Kostis Sagonas wrote:
[...]
> we'll never know if you do not show us the code.

Yes, it is self-evident that the code that produces an error is
preferable for solving that problem than different code that produces
a different error.

Regards,
 Simon
-------------- next part --------------
A non-text attachment was scrubbed...
Name: a2.erl
Type: application/octet-stream
Size: 344 bytes
Desc: not available
URL: <http://erlang.org/pipermail/erlang-bugs/attachments/20091211/1a7d0b8a/attachment.obj>