From 2788fbda03ea839d78f118f5339fc9b7ac33bcb2 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 5 Dec 2019 14:26:29 +0100
Subject: [PATCH] [cleanup] proper initialization of all fields in declaration
order
---
ACSLParser.h | 26 ++++++++++++++++++--------
1 file changed, 18 insertions(+), 8 deletions(-)
diff --git a/ACSLParser.h b/ACSLParser.h
index b166ad60..710b05ff 100644
--- a/ACSLParser.h
+++ b/ACSLParser.h
@@ -185,18 +185,28 @@ public:
Clang_utils* clang_utils, const RTTITable& rttiTable
)
:
- _localStackHeight(0), _errorMessages(NULL),
- _countErrors(0), _clangContext(clangContext), _clangAST(clangAST),
- _clangSema(clangSema), _clangScope(clangScope),
- _annotContext(Unspecified),
_lexer(clangSema),
+ _tokenLocation(NULL),
+ _clangLocation(),
+ _localStackHeight(0),
+ _errorMessages(NULL),
+ _countErrors(0),
+ _doesStopOnError(clang_utils->stopOnAnnotError()),
+ _clangContext(clangContext),
+ _clangAST(clangAST),
+ _clangSema(clangSema),
+ _clangScope(clangScope),
_clang_utils(clang_utils),
_rttiTable(rttiTable),
_currentLogicScope(clang_utils->queryDeclLogicScope(clangContext)),
- _result_context(false), _isVerbose(false)
- { _doesStopOnError = clang_utils->stopOnAnnotError();
- _isVerbose = clang_utils->isVerbose();
- }
+ _localBinding(),
+ _logicFormals(),
+ _logicLabels(),
+ _annotContext(Unspecified),
+ _result_context(false),
+ _isVerbose(clang_utils->isVerbose())
+ { }
+
~Arguments()
{ std::map<std::string, std::list<logic_var_def> >::iterator
iterEnd = _localBinding.end();
--
GitLab