clean

AliveToolkit · Jan 9, 2024 · 90141d0 · 90141d0
1 parent ebd2826
commit 90141d0
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 5 deletions.
diff --git a/ir/pointer.cpp b/ir/pointer.cpp
@@ -805,10 +805,6 @@ Pointer Pointer::toLogical() const {
   return mkIf(isLogical(), *this, *std::move(ret)());
 }
 
-Pointer Pointer::toLogicalIfNotPhy() const {
-  return isLogical().isFalse() ? *this : toLogical();
-}
-
 Pointer
 Pointer::mkIf(const expr &cond, const Pointer &then, const Pointer &els) {
   assert(&then.m == &els.m);

diff --git a/ir/pointer.h b/ir/pointer.h
@@ -37,7 +37,6 @@ class Pointer {
                       const smt::expr &ret_type, bool src_name = false) const;
 
   Pointer toLogical() const;
-  Pointer toLogicalIfNotPhy() const;
 
 public:
   Pointer(const Memory &m, const smt::expr &bid, const smt::expr &offset,