check whether break/continue is in the loop

This commit is contained in:
Lu Guanqun
2016-01-15 15:12:23 +08:00
parent 02c1aacd25
commit e130bc7e7c
8 changed files with 187 additions and 12 deletions
+6
View File
@@ -30,6 +30,7 @@
#include <libsolidity/analysis/NameAndTypeResolver.h>
#include <libsolidity/analysis/TypeChecker.h>
#include <libsolidity/analysis/DocStringAnalyser.h>
#include <libsolidity/analysis/SyntaxChecker.h>
#include <libsolidity/codegen/Compiler.h>
#include <libsolidity/interface/CompilerStack.h>
#include <libsolidity/interface/InterfaceHandler.h>
@@ -122,6 +123,11 @@ bool CompilerStack::parse()
resolveImports();
bool noErrors = true;
SyntaxChecker syntaxChecker(m_errors);
for (Source const* source: m_sourceOrder)
if (!syntaxChecker.checkSyntax(*source->ast))
return false;
DocStringAnalyser docStringAnalyser(m_errors);
for (Source const* source: m_sourceOrder)
if (!docStringAnalyser.analyseDocStrings(*source->ast))
+3
View File
@@ -39,6 +39,9 @@ Error::Error(Type _type): m_type(_type)
case Type::ParserError:
m_typeName = "Parser Error";
break;
case Type::SyntaxError:
m_typeName = "Syntax Error";
break;
case Type::TypeError:
m_typeName = "Type Error";
break;
+1
View File
@@ -47,6 +47,7 @@ public:
DocstringParsingError,
ParserError,
TypeError,
SyntaxError,
Why3TranslatorError,
Warning
};