Re: Internal consitency check failure
Anthony Ramine <[email protected]>
| Newsgroups | gmane.comp.lang.erlang.bugs |
|---|---|
| Message-ID | <[email protected]> |
Le 19 févr. 2015 à 14:35, Björn Gustavsson <[email protected]> a écrit : > On Thu, Feb 19, 2015 at 10:35 AM, Ulf Norell <[email protected]> wrote: >> Messing around with my random program generator again I got the following >> message: >> >> 1> c(bug). >> >> bug: function f/0+18: >> >> Internal consistency check failed - please report this bug. >> >> Instruction: {gc_bif,'+',{f,0},1,[{x,0},{atom,hockey}],{x,0}} >> >> Error: unknown_catch_try_state: >> > > Here is a correction: > > https://github.com/bjorng/otp/commit/d4fbd1f61a1d346415e45a46dbe5e3cdb4c67d49 > >> >> Here's the (somewhat contrived) program >> >> -module(bug). >> -compile(export_all). >> f() -> >> receive _ -> (b = fun() -> ok end) >> + hockey, +x after 0 -> ok end, try (a = fun() -> ok end) + hockey, + >> y catch _ -> ok end. >> >> There are a number of intriguing things here >> >> - Breaking the 'hockey' line anywhere gets rid of the bug(!!). > > The problematic optimimization was not done when line > numbers didn't match. Maybe some compiler tests should also be run with +no_line_info or something? _______________________________________________ erlang-bugs mailing list [email protected] http://erlang.org/mailman/listinfo/erlang-bugs