Community
Participate
Working Groups
Currently, combined fragment kind can be changed only if the combined fragment has a unique operand. Kind modification should be allowed in the case of a combined fragment owing more than one operand when the modification is compatible with the number of operands. For instance, the change of seq kind to alt kind should be allowed.
Created attachment 211153 [details] Bug fix The map conversion with multiple operands: SEQ_LITERAL -> true ALT_LITERAL -> true OPT_LITERAL -> false BREAK_LITERAL -> false PAR_LITERAL -> true STRICT_LITERAL -> true LOOP_LITERAL -> false CRITICAL_LITERAL -> true NEG_LITERAL -> false ASSERT_LITERAL -> true IGNORE_LITERAL -> true CONSIDER_LITERAL -> true
The patch has been applied in r7253
Fixed