diff options
| author | Tim King <taking@cs.nyu.edu> | 2017-09-26 13:02:32 -0700 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2017-09-26 13:02:32 -0700 |
| commit | 0f9f1fee128c86f3a1210134f1f22a0343793d4a (patch) | |
| tree | b1da0e71c045b337bbf671662f1e7ab09f4d4ae2 /src/smt/command.cpp | |
| parent | e76b70bfa6053b8de7868e595cbe6317ae0ef11c (diff) | |
Fixing CIDs 1172014 and 1172013: Initializing members of GetProofCommand and GetModelCommand to nullptr. (#1142)
Diffstat (limited to 'src/smt/command.cpp')
| -rw-r--r-- | src/smt/command.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/smt/command.cpp b/src/smt/command.cpp index 86fb5cdde..a4f0c6320 100644 --- a/src/smt/command.cpp +++ b/src/smt/command.cpp @@ -1113,8 +1113,8 @@ std::string GetAssignmentCommand::getCommandName() const throw() { /* class GetModelCommand */ -GetModelCommand::GetModelCommand() throw() { -} +GetModelCommand::GetModelCommand() throw() + : d_result(nullptr), d_smtEngine(nullptr) {} void GetModelCommand::invoke(SmtEngine* smtEngine) { try { @@ -1164,8 +1164,8 @@ std::string GetModelCommand::getCommandName() const throw() { /* class GetProofCommand */ -GetProofCommand::GetProofCommand() throw() { -} +GetProofCommand::GetProofCommand() throw() + : d_result(nullptr), d_smtEngine(nullptr) {} void GetProofCommand::invoke(SmtEngine* smtEngine) { try { |