map_bugs.erl

-module(map_bugs).
-compile([export_all]).

bug1(State = #{children := Children, waiting := Waiting}) ->
  case Waiting of
    true  -> State1 = State#{waiting := false};
    false -> State1 = State
  end,
  bug1(State1#{children := Children}).

% Uncomment this function and you get another similar bug.
% bug2(State = #{children := Children, waiting := Waiting}) ->
%   case Waiting of
%     true  -> Waiting1 = false;
%     false -> Waiting1 = Waiting
%   end,
%   bug2(State#{children := Children, waiting := Waiting1}).

report bug1

Function: bug1/1
map_bugs.erl: internal error in v3_codegen;
crash reason: {case_clause,
    {'EXIT',
        {function_clause,
            [{v3_codegen,fetch_reg,
                 ['State1',[]],
                 [{file,"v3_codegen.erl"},{line,2040}]},
             {v3_codegen,'-saves/3-lc$^0/1-0-',3,
                 [{file,"v3_codegen.erl"},{line,2010}]},
             {v3_codegen,adjust_stack,4,[{file,"v3_codegen.erl"},{line,1986}]},
             {v3_codegen,match_cg,6,[{file,"v3_codegen.erl"},{line,244}]},
             {v3_codegen,'-cg_list/5-anonymous-0-',3,
                 [{file,"v3_codegen.erl"},{line,190}]},
             {v3_codegen,flatmapfoldl,3,[{file,"v3_codegen.erl"},{line,2161}]},
             {v3_codegen,cg_list,5,[{file,"v3_codegen.erl"},{line,189}]},
             {v3_codegen,cg_block,5,[{file,"v3_codegen.erl"},{line,437}]}]}}}

  in function  io_lib_pretty:cind_tag_tuple/7 (io_lib_pretty.erl, line 638)
  in call from io_lib_pretty:cind_element/7 (io_lib_pretty.erl, line 727)
  in call from io_lib_pretty:cind_list/7 (io_lib_pretty.erl, line 697)
  in call from io_lib_pretty:cind_element/7 (io_lib_pretty.erl, line 727)
  in call from io_lib_pretty:cind_list/7 (io_lib_pretty.erl, line 697)
  in call from io_lib_pretty:cind_element/7 (io_lib_pretty.erl, line 727)
  in call from io_lib_pretty:cind_list/7 (io_lib_pretty.erl, line 697)
  in call from io_lib_pretty:cind_element/7 (io_lib_pretty.erl, line 727)
map_bugs.erl:6: Warning: a term is constructed, but never used

report bug2

Function: bug2/1
map_bugs.erl: internal error in core_dsetel_module;
crash reason: {badmatch,error}

  in function  sys_core_dsetel:visit/2 (sys_core_dsetel.erl, line 98)
  in call from sys_core_dsetel:visit/2 (sys_core_dsetel.erl, line 110)
  in call from lists:mapfoldl/3 (lists.erl, line 1352)
  in call from lists:mapfoldl/3 (lists.erl, line 1353)
  in call from sys_core_dsetel:visit/2 (sys_core_dsetel.erl, line 186)
  in call from sys_core_dsetel:visit/2 (sys_core_dsetel.erl, line 127)
  in call from sys_core_dsetel:visit/2 (sys_core_dsetel.erl, line 133)
  in call from sys_core_dsetel:visit/2 (sys_core_dsetel.erl, line 142)