[kernel] prevent label removal in for continue
- continues label was dropped when placed on an unspecified sequence associated to the increment part of a for loop
Showing
- src/kernel_internals/typing/cabs2cil.ml 7 additions, 6 deletionssrc/kernel_internals/typing/cabs2cil.ml
- tests/syntax/for_unspecified_seq_in_inc.i 17 additions, 0 deletionstests/syntax/for_unspecified_seq_in_inc.i
- tests/syntax/oracle/for_unspecified_seq_in_inc.res.oracle 44 additions, 0 deletionstests/syntax/oracle/for_unspecified_seq_in_inc.res.oracle
Loading
Please register or sign in to comment