Rename "useless" to "unreachable" in pass name

AeneasVerif · Dec 23, 2024 · 32fe580 · 32fe580
1 parent a27cd0d
commit 32fe580
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/...on/src/transform/filter_useless_blocks.rs → ...rc/transform/filter_unreachable_blocks.rs b/...on/src/transform/filter_useless_blocks.rs → ...rc/transform/filter_unreachable_blocks.rs
@@ -1,5 +1,5 @@
 //! Some passes like [`reconstruct_assert`] lead to the apparition of "dangling" blocks,
-//! which are referenced nowhere and thus become useless. This pass filters those out.
+//! which are referenced nowhere and thus become unreachable. This pass filters those out.
 
 use std::collections::{HashMap, HashSet};
 

diff --git a/charon/src/transform/mod.rs b/charon/src/transform/mod.rs
@@ -2,7 +2,7 @@ pub mod check_generics;
 pub mod ctx;
 pub mod duplicate_return;
 pub mod filter_invisible_trait_impls;
-pub mod filter_useless_blocks;
+pub mod filter_unreachable_blocks;
 pub mod graphs;
 pub mod hide_marker_traits;
 pub mod index_intermediate_assigns;
@@ -85,7 +85,7 @@ pub static ULLBC_PASSES: &[Pass] = &[
     UnstructuredBody(&duplicate_return::Transform),
     // # Micro-pass: filter the "dangling" blocks. Those might have been introduced by,
     // for instance, [`reconstruct_asserts`].
-    UnstructuredBody(&filter_useless_blocks::Transform),
+    UnstructuredBody(&filter_unreachable_blocks::Transform),
 ];
 
 pub static LLBC_PASSES: &[Pass] = &[