File tree Expand file tree Collapse file tree 5 files changed +2
-9
lines changed
c2rust-analyze/tests/filecheck Expand file tree Collapse file tree 5 files changed +2
-9
lines changed Original file line number Diff line number Diff line change 11#![ feature( extern_types) ]
2- #![ feature( label_break_value) ]
32#![ feature( rustc_private) ]
43#![ feature( c_variadic) ]
54#![ allow( non_upper_case_globals) ]
Original file line number Diff line number Diff line change @@ -2130,7 +2130,6 @@ impl CfgBuilder {
21302130 || !IncCleanup :: new ( in_tail, brk_lbl. clone ( ) ) . remove_tail_expr ( & mut stmts) ;
21312131
21322132 if has_fallthrough && need_block && use_brk_lbl {
2133- translator. use_feature ( "label_break_value" ) ;
21342133 let block_body = mk ( ) . block ( stmts) ;
21352134 let block: Box < Expr > = mk ( ) . labelled_block_expr ( block_body, brk_lbl. pretty_print ( ) ) ;
21362135 stmts = vec ! [ mk( ) . expr_stmt( block) ]
Original file line number Diff line number Diff line change @@ -4335,10 +4335,7 @@ impl<'c> Translation<'c> {
43354335
43364336 return Ok ( WithStmts :: new ( stmts, val) ) ;
43374337 }
4338- _ => {
4339- self . use_feature ( "label_break_value" ) ;
4340- stmts. push ( stmt)
4341- }
4338+ _ => stmts. push ( stmt) ,
43424339 }
43434340 }
43444341
Original file line number Diff line number Diff line change 1- //! feature_label_break_value
2-
31use crate :: jump_into_loop:: rust_jump_into_loop;
42use crate :: label_break_trigger:: rust_triggers_label_break;
53
Original file line number Diff line number Diff line change 1- //! feature_core_intrinsics, feature_label_break_value
1+ //! feature_core_intrinsics
22
33use crate :: sizeofs:: rust_sizeofs;
44use std:: ffi:: { c_int, c_uint} ;
You can’t perform that action at this time.
0 commit comments