In very rare circumstances, the icode_type pass of the HiPE compiler could generate erroneous code due to not taking into account that the {bs_start_match, ok_matchstate} primop could fail. git fetch git://github.com/kostis/otp.git bs_start_match-fails Kostis