Uploaded image for project: 'Erlang/OTP'
  1. Erlang/OTP
  2. ERL-1289

Compiler looping

    XMLWordPrintable

    Details

    • Type: Bug
    • Status: Resolved
    • Priority: Major
    • Resolution: Fixed
    • Affects Version/s: 23.0.2
    • Fix Version/s: OTP 23.0.3
    • Component/s: compiler
    • Labels:
      None

      Description

      The following program causes the compiler to loop:

      -module(loop).
      
      -export([bug/1]).
      
      bug(case_1_1) -> {a, []};
      bug(case_1_2) -> {a, []};
      
      bug(case_2_1) -> bug(case_1_1);
      bug(case_2_2) -> {b, [bug(case_1_1)]};
      bug(case_2_3) -> {b, [bug(case_1_1)]};
      bug(case_2_4) -> {b, [bug(case_1_2)]};
      
      bug(case_3_1) -> {b, [bug(case_2_1)]};
      bug(case_3_2) -> {b, [bug(case_2_2)]};
      bug(case_3_3) -> {b, [bug(case_2_3)]};
      bug(case_3_4) -> {b, [bug(case_2_4)]};
      
      bug(case_4_1) -> {b, [bug(case_3_1)]};
      bug(case_4_2) -> {b, [bug(case_3_2)]};
      bug(step_4_3) -> {b, [bug(case_3_3)]}.
      

      Works in OTP-22.

        Attachments

          Activity

            People

            Assignee:
            john John Högberg
            Reporter:
            ulfnorell Ulf Norell
            Votes:
            0 Vote for this issue
            Watchers:
            4 Start watching this issue

              Dates

              Created:
              Updated:
              Resolved: