BUG: OTP 23.0 internal consistency check failed

Ulf Wiger <[email protected]>
Newsgroups gmane.comp.lang.erlang.general
Message-ID <CADPRLo-Xyi9t0N8_Qzdk5JvPPHY-5oXKX2K=xMQKtk8Ju=wKTA@mail.gmail.com>
Trying to build the aeternity source code on OTP 23.0  (and 23.0.2),
the following error message appeared (after fixing some deps):

===> 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 problem can be reproduced by extracting the following source files
and calling `erlc -W aesc_fsm.erl`
(https://github.com/aeternity/aeternity)

apps/aechannel/src/
  aesc_fsm.erl
  aesc_fsm.hrl
  aesc_codec.hrl
  aechannel.hrl
apps/aecontract/include/hard_forks.hrl
apps/aeutils/include/aeu_stacktrace.hrl

(The -include_lib() instructions need to be changed to -include())

I tried reducing the aesc_fsm.erl module to just the affected function
+ some helper functions and data declarations, but once the code
compiled, the consistency check problem was gone.

The error did not occur using OTP 22.3.

BR,
Ulf W
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.