Mark the exit of infinite loops as unreachable

Jakub Wieczorek · Jakub Wieczorek · commit 6d3e89e33cfd · 2014-06-04T18:37:46.000+02:00
diff --git a/src/librustc/middle/trans/controlflow.rs b/src/librustc/middle/trans/controlflow.rs
@@ -264,6 +264,10 @@ pub fn trans_loop<'a>(bcx:&'a Block<'a>,
 
     fcx.pop_loop_cleanup_scope(loop_id);
 
+    if ty::type_is_bot(node_id_type(bcx, loop_id)) {
+        Unreachable(next_bcx_in);
+    }
+
     return next_bcx_in;
 }
 

Original file line number	Diff line number	Diff line change
`@@ -264,6 +264,10 @@ pub fn trans_loop<'a>(bcx:&'a Block<'a>,`
`264`	`264`
`265`	`265`	`fcx.pop_loop_cleanup_scope(loop_id);`
`266`	`266`
	`267`	`+ if ty::type_is_bot(node_id_type(bcx, loop_id)) {`
	`268`	`+ Unreachable(next_bcx_in);`
	`269`	`+ }`
	`270`	`+`
`267`	`271`	`return next_bcx_in;`
`268`	`272`	`}`
`269`	`273`