Assert integrity of empty IndexAccessPath structure.

2 files changed, 11 insertions, 1 deletions

diff --git a/libsolidity/parsing/Parser.cpp b/libsolidity/parsing/Parser.cpp
index 38ef32d5..d1be13a5 100644
--- a/libsolidity/parsing/Parser.cpp
+++ b/libsolidity/parsing/Parser.cpp
@@ -1098,6 +1098,16 @@ ASTPointer<Statement> Parser::parseSimpleStatement(ASTPointer<ASTString> const&
 	}
 }
 
+bool Parser::IndexAccessedPath::empty() const
+{
+	if (!indices.empty())
+	{
+		solAssert(!path.empty(), "");
+	}
+	return path.empty() && indices.empty();
+}
+
+
 pair<Parser::LookAheadInfo, Parser::IndexAccessedPath> Parser::tryParseIndexAccessedPath()
 {
 	// These two cases are very hard to distinguish:
diff --git a/libsolidity/parsing/Parser.h b/libsolidity/parsing/Parser.h
index 902312e8..08653364 100644
--- a/libsolidity/parsing/Parser.h
+++ b/libsolidity/parsing/Parser.h
@@ -151,7 +151,7 @@ private:
 	{
 		std::vector<ASTPointer<PrimaryExpression>> path;
 		std::vector<std::pair<ASTPointer<Expression>, SourceLocation>> indices;
-		bool empty() const { return path.empty() && indices.empty(); }
+		bool empty() const;
 	};
 
 	std::pair<LookAheadInfo, IndexAccessedPath> tryParseIndexAccessedPath();