Fix #13718 "bailout: possible noreturn scope" reported with unused cast in always returning scope (#7905)

Author: chrchr-github

lib/astutils.cpp

@@ -2203,7 +2203,7 @@ static bool hasNoreturnFunction(const Token* tok, const Library& library, const
 {
     if (!tok)
         return false;
-    const Token* ftok = tok->str() == "(" ? tok->previous() : nullptr;
+    const Token* ftok = (tok->str() == "(" && !tok->isCast()) ? tok->previous() : nullptr;
     while (Token::simpleMatch(ftok, "("))
         ftok = ftok->astOperand1();
     if (ftok) {

test/testvalueflow.cpp

@@ -172,6 +172,7 @@ class TestValueFlow : public TestFixture {
 
         mNewTemplate = false;
         TEST_CASE(valueFlowBailoutIncompleteVar);
+        TEST_CASE(valueFlowBailoutNoreturn);
         mNewTemplate = true;
 
         TEST_CASE(performanceIfCount);
@@ -9077,6 +9078,16 @@ class TestValueFlow : public TestFixture {
             errout_str());
     }
 
+    void valueFlowBailoutNoreturn() { // #13718
+        bailout(
+            "void f(const int* p) {\n"
+            "    if (p)\n"
+            "        (void)*p;\n"
+            "}\n"
+            );
+        ASSERT_EQUALS_WITHOUT_LINENUMBERS("", errout_str());
+    }
+
     void performanceIfCount() {
         /*const*/ Settings s(settings);
         s.vfOptions.maxIfCount = 1;