remove unnecessary panic edge cases

fkie-cad · Mar 5, 2024 · 52dc6ba · 52dc6ba
1 parent 3ab984e
commit 52dc6ba
Showing 1 changed file with 3 additions and 6 deletions.
diff --git a/src/cwe_checker_lib/src/abstract_domain/interval.rs b/src/cwe_checker_lib/src/abstract_domain/interval.rs
@@ -674,8 +674,7 @@ impl RegisterDomain for IntervalDomain {
                     IntervalDomain::new(
                         Bitvector::zero(width.into()),
                         Bitvector::from_u64(self.bytesize().as_bit_length() as u64)
-                            .into_truncate(width)
-                            .unwrap(),
+                            .into_zero_resize(width),
                     )
                 }
             }
@@ -693,16 +692,14 @@ impl RegisterDomain for IntervalDomain {
                         IntervalDomain::new(
                             Bitvector::zero(width.into()),
                             Bitvector::from_u64(self.bytesize().as_bit_length() as u64)
-                                .into_truncate(width)
-                                .unwrap(),
+                                .into_zero_resize(width),
                         )
                     }
                 } else {
                     IntervalDomain::new(
                         Bitvector::zero(width.into()),
                         Bitvector::from_u64(self.bytesize().as_bit_length() as u64)
-                            .into_truncate(width)
-                            .unwrap(),
+                            .into_zero_resize(width),
                     )
                 }
             }