From 155990cb0ede0735f034a28c2b15737104990469 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= Date: Sun, 12 Jan 2014 15:02:58 +0100 Subject: [PATCH] value flow: improved checking of do-while loops for non-local variables --- lib/valueflow.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/valueflow.cpp b/lib/valueflow.cpp index 3cda650b7..6f114e86f 100644 --- a/lib/valueflow.cpp +++ b/lib/valueflow.cpp @@ -256,7 +256,7 @@ static void valueFlowBeforeCondition(TokenList *tokenlist, ErrorLogger *errorLog // Global variable : stop when leaving the function scope if (!var->isLocal()) { - if (!Token::Match(tok2->previous(), ")|else {")) + if (!Token::Match(tok2->previous(), ")|else|do {")) break; if (Token::Match(tok2->previous(), ") {") && !Token::Match(tok2->linkAt(-1)->previous(), "if|for|while ("))