File tree 2 files changed +21
-1
lines changed 2 files changed +21
-1
lines changed Original file line number Diff line number Diff line change @@ -124,7 +124,9 @@ cleanup_task(cleanup_args *args) {
124
124
// assert(task->task_local_data != NULL);
125
125
task->task_local_data_cleanup (task->task_local_data );
126
126
task->task_local_data = NULL ;
127
- } else if (threw_exception && task->id == INIT_TASK_ID) {
127
+ }
128
+
129
+ if (threw_exception && task->id == INIT_TASK_ID) {
128
130
// Edge case: If main never spawns any tasks, but fails anyway, TLS
129
131
// won't be around to take down the kernel (task.rs:kill_taskgroup,
130
132
// rust_task_kill_all). Do it here instead.
Original file line number Diff line number Diff line change
1
+ // Copyright 2013 The Rust Project Developers. See the COPYRIGHT
2
+ // file at the top-level directory of this distribution and at
3
+ // http://rust-lang.org/COPYRIGHT.
4
+ //
5
+ // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6
+ // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7
+ // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8
+ // option. This file may not be copied, modified, or distributed
9
+ // except according to those terms.
10
+
11
+ //error-pattern:explicit failure
12
+
13
+ // Regression test for issue 4547
14
+
15
+ pub fn main ( ) {
16
+ os:: args ( ) ;
17
+ fail ! ( ) ;
18
+ }
You can’t perform that action at this time.
0 commit comments