Internal consistency check failed

[Mikage Sawatari]

I have the following compilation problem on Erlang R13B01.
Compiler reports "Internal consistency check failed".

# /usr/local/erlang/bin/erl -version
Erlang (SMP,ASYNC_THREADS,HIPE) (BEAM) emulator version 5.7.2

# /usr/local/erlang/bin/erlc erlang_error.erl
erlang_error: function test/2+9:
  Internal consistency check failed - please report this bug.
  Instruction: {bs_append,{f,0},
                          {integer,0},
                          0,4,8,
                          {x,1},
                          {field_flags,[]},
                          {x,0}}
  Error:       {{x,3},not_live}:

# cat erlang_error.erl
-module(erlang_error).

-compile(export_all).

test([H|T], Bin) ->
        _ = case H of
                null ->
                        <<Bin/binary>>;
                _ ->
                        ok
        end,
        test(T, Bin).


# cat /etc/issue

Welcome to SUSE Linux Enterprise Server 10 SP1 (x86_64) - Kernel \r (\l).



----
Mikage Sawatari