From: Tim King <taking@google.com>
Date: Thu, 5 May 2016 17:35:04 +0000 (-0700)
Subject: Removing a null pointer reference that was found by -fsanitize=null.
X-Git-Tag: cvc5-1.0.0~6049^2~54
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a2923ec61b601b0e3f4f78f22fffc1c2421f0d81;p=cvc5.git

Removing a null pointer reference that was found by -fsanitize=null.
---

diff --git a/src/parser/cvc/Cvc.g b/src/parser/cvc/Cvc.g
index 5c37a5372..4c0516eb6 100644
--- a/src/parser/cvc/Cvc.g
+++ b/src/parser/cvc/Cvc.g
@@ -915,7 +915,10 @@ toplevelDeclaration[CVC4::Command*& cmd]
  * A bound variable declaration.
  */
 boundVarDecl[std::vector<std::string>& ids, CVC4::Type& t]
-  : identifierList[ids,CHECK_NONE,SYM_VARIABLE] COLON declareVariables[*(Command**)NULL,t,ids,false]
+@init {
+  Command* local_cmd = NULL;
+}
+  : identifierList[ids,CHECK_NONE,SYM_VARIABLE] COLON declareVariables[local_cmd,t,ids,false]
   ;
 
 /**