cppchecksolutions
diff --git a/‎lib/valueflow.cpp‎
Lines changed: 2 additions & 2 deletions b/‎lib/valueflow.cpp‎
Lines changed: 2 additions & 2 deletions
diff --git a/‎test/testcondition.cpp‎
Lines changed: 6 additions & 0 deletions b/‎test/testcondition.cpp‎
Lines changed: 6 additions & 0 deletions
@@ -727,7 +727,7 @@ static void valueFlowArrayBool(TokenList& tokenlist, const Settings& settings)
         }
         if (!var)
             continue;
-        if (!var->isArray() || var->isArgument() || var->isStlType())
+        if (!var->isArray() || var->isArgument() || var->getTypeName() == "std::array")
             continue;
         if (isNonZero(getOtherOperand(tok)) && Token::Match(tok->astParent(), "%comp%"))
             continue;
@@ -1169,7 +1169,7 @@ static void valueFlowImpossibleValues(TokenList& tokenList, const Settings& sett
             value.setImpossible();
             setTokenValue(tok, std::move(value), settings);
         } else if (tok->variable() && tok->variable()->isArray() && !tok->variable()->isArgument() &&
-                   !tok->variable()->isStlType()) {
+                   tok->variable()->getTypeName() != "std::array") {
             ValueFlow::Value value{0};
             value.setImpossible();
             setTokenValue(tok, std::move(value), settings);
 
@@ -3449,6 +3449,12 @@ class TestCondition : public TestFixture {
               "}\n");
         ASSERT_EQUALS("", errout_str());
 
+        check("std::string a[3];\n" // #15065
+              "void f() {\n"
+              "   if (a) {}\n"
+              "}\n");
+        ASSERT_EQUALS("[test.cpp:3:8]: (style) Condition 'a' is always true [knownConditionTrueFalse]\n", errout_str());
+
         // Avoid FP when condition comes from macro
         check("#define NOT !\n"
               "void f() {\n"