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

Compiler internal consistency check fails

    XMLWordPrintable

    Details

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

      Description

      When compiling the Aeternity core software with OTP 23.0 or 23.0.2, the aesc_fsm.erl module fails to compile with an 'Internal consistency check' error:

      ===> Compiling apps/aechannel/src/aesc_fsm.erl failed
      aesc_fsm: function prepare_initial_state/4+125:
        Internal consistency check failed - please report this bug.
        Instruction: {test,is_eq_exact,{f,5977},[{y,2},{atom,true}]}
        Error:       {unassigned,{y,2}}:
      

      The error can be reproduced by extracting only the aesc_fsm.erl module and necessary include files (tar file attached). An initial attempt to reduce the file to contain only the affected function (and helper functions) failed to reproduce the problem.

        Attachments

          Activity

            People

            Assignee:
            Unassigned
            Reporter:
            uwiger uwiger
            Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

              Dates

              Created:
              Updated:
              Resolved: