Fix #13654 FP containerOutOfBounds for array size given as product (danmar#7332)

Author: chrchr-github

lib/valueflow.cpp

@@ -6528,7 +6528,7 @@ static void valueFlowContainerSize(const TokenList& tokenlist,
                 const Dimension& dim = var->dimensions().front();
                 if (dim.known) {
                     size = dim.num;
-                } else if (dim.tok && dim.tok->hasKnownIntValue()) {
+                } else if (dim.tok && dim.tok->hasKnownIntValue() && dim.tok->strAt(1) == ">") {
                     size = dim.tok->values().front().intvalue;
                 }
             }

test/testvalueflow.cpp

@@ -7158,6 +7158,12 @@ class TestValueFlow : public TestFixture {
                "    return v[2];\n"
                "}";
         ASSERT(isKnownContainerSizeValue(tokenValues(code, "v ["), 3).empty());
+
+        code = "auto f() {\n" // #13654
+               "    std::array<uint8_t, 6 * sizeof(uint16_t)> a{};\n"
+               "    return a[0];\n"
+               "}";
+        ASSERT(!isKnownContainerSizeValue(tokenValues(code, "a ["), 6).empty());
     }
 
     void valueFlowContainerElement()