From: Christopher L. Conway 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 - * Expr e gets initialized with e = NULL;. - * 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.