diff options
| author | Tim King <taking@google.com> | 2016-05-05 10:35:04 -0700 |
|---|---|---|
| committer | Tim King <taking@google.com> | 2016-05-05 10:35:04 -0700 |
| commit | a2923ec61b601b0e3f4f78f22fffc1c2421f0d81 (patch) | |
| tree | d38227e6c5baf5432868bfe1f9e27874dfecabfd /src/parser/cvc/Cvc.g | |
| parent | 4e1be00c7dd4c02cb35f88d81dd6ba7213ef3c2a (diff) | |
Removing a null pointer reference that was found by -fsanitize=null.
Diffstat (limited to 'src/parser/cvc/Cvc.g')
| -rw-r--r-- | src/parser/cvc/Cvc.g | 5 |
1 files changed, 4 insertions, 1 deletions
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] ; /** |