From: Christopher L. Conway <christopherleeconway@gmail.com>
Date: Thu, 1 Apr 2010 19:55:38 +0000 (+0000)
Subject: Removing Expr::operator=(uintptr_t n), as it's no longer used by the parser.
X-Git-Tag: cvc5-1.0.0~9148
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b3b663998bbfb5ede569498345a3fedc02a9726f;p=cvc5.git

Removing Expr::operator=(uintptr_t n), as it's no longer used by the parser.
---

diff --git a/src/expr/expr_template.cpp b/src/expr/expr_template.cpp
index ebab8ec6d..7c723d338 100644
--- a/src/expr/expr_template.cpp
+++ b/src/expr/expr_template.cpp
@@ -78,17 +78,6 @@ Expr& Expr::operator=(const Expr& e) {
   return *this;
 }
 
-/* This should only ever be assigning NULL to a null Expr! */
-Expr& Expr::operator=(uintptr_t n) {
-  AlwaysAssert(n == 0);
-  Assert(d_node != NULL, "Unexpected NULL expression pointer!");
-
-  if(EXPECT_FALSE( !isNull() )) {
-    *d_node = Node::null();
-  }
-  return *this;
-}
-
 bool Expr::operator==(const Expr& e) const {
   if(d_exprManager != e.d_exprManager) {
     return false;
diff --git a/src/expr/expr_template.h b/src/expr/expr_template.h
index efbdec2de..2fa10ceb8 100644
--- a/src/expr/expr_template.h
+++ b/src/expr/expr_template.h
@@ -90,15 +90,6 @@ public:
    */
   Expr& operator=(const Expr& e);
 
-  /*
-   * Assignment from an integer. Fails if the integer is not 0.
-   * NOTE: This is here purely to support the auto-initialization
-   * behavior of the ANTLR3 C backend (i.e., a rule attribute
-   * <code>Expr e</code> gets initialized with <code>e = NULL;</code>.
-   * Should be removed if future versions of ANTLR fix the problem.
-   */
-  Expr& operator=(uintptr_t n);
-
   /**
    * Syntactic comparison operator. Returns true if expressions belong to the
    * same expression manager and are syntactically identical.