Add isEscapeKeyword

Author: ludviggunne

lib/astutils.cpp

@@ -3918,3 +3918,23 @@ const Token *skipUnreachableBranch(const Token *tok)
 
     return tok;
 }
+
+bool isEscapeKeyword(const Token *tok, const Settings &settings)
+{
+    if (!tok)
+        return false;
+
+    if (tok->str() == "return")
+        return true;
+
+    if (!tok->isCpp())
+        return false;
+
+    if (tok->str() == "throw")
+        return true;
+
+    if (settings.standards.cpp < Standards::CPP20)
+        return false;
+
+    return tok->str() == "co_return";
+}

lib/astutils.h

@@ -463,4 +463,6 @@ bool isUnreachableOperand(const Token *tok);
 
 const Token *skipUnreachableBranch(const Token *tok);
 
+bool isEscapeKeyword(const Token *tok, const Settings &settings);
+
 #endif // astutilsH

lib/forwardanalyzer.cpp

@@ -144,7 +144,7 @@ namespace {
                 // If we are in a loop then jump to the end
                 if (out)
                     *out = loopEnds.back();
-            } else if (Token::Match(tok, "return|co_return|throw")) {
+            } else if (isEscapeKeyword(tok, settings)) {
                 traverseRecursive(tok->astOperand2(), f, traverseUnknown);
                 traverseRecursive(tok->astOperand1(), f, traverseUnknown);
                 return Break(Analyzer::Terminate::Escape);