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

Internal consistency check failed for binary matches with generator

    XMLWordPrintable

    Details

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

      Description

      Here is a minimal Erlang program that reproduces the error:

      -module(foo).
      -compile(export_all).
      encode_bin(<<Bin/binary>> = Bin) ->
        [Chunk || <<Chunk:5/binary>> <= Bin].
      

      I can reproduce the error on 23.0.1 (and master as of one week ago). The issue does not exist on 22.3.

      Originally reported here: https://github.com/elixir-lang/elixir/issues/10309

      Thank you!

       

        Attachments

          Activity

            People

            Assignee:
            john John Högberg
            Reporter:
            josevalim José Valim
            Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

              Dates

              Created:
              Updated:
              Resolved: