From 6157fc69ac83cae332d03e40accf4beed9eee215 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= <daniel.marjamaki@gmail.com>
Date: Mon, 12 Oct 2015 08:34:12 +0200
Subject: [PATCH] Tokenizer: Added a simple AST verification

---
 lib/tokenize.cpp | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/lib/tokenize.cpp b/lib/tokenize.cpp
index 034a99b6d..bf4d44848 100644
--- a/lib/tokenize.cpp
+++ b/lib/tokenize.cpp
@@ -1726,6 +1726,15 @@ bool Tokenizer::tokenize(std::istream &code,
             }
 
             list.createAst();
+
+            // Verify that ast looks ok
+            for (const Token *tok = list.front(); tok; tok = tok->next()) {
+                // internal error / syntax error if binary operator only has 1 operand
+                if ((tok->isAssignmentOp() || tok->isComparisonOp() || Token::Match(tok,"[|^/%]")) && tok->astOperand1() && !tok->astOperand2()) {
+                    throw InternalError(tok, "ast", InternalError::INTERNAL);
+                }
+            }
+
             SymbolDatabase::setValueTypeInTokenList(list.front());
             ValueFlow::setValues(&list, _symbolDatabase, _errorLogger, _settings);
         }