fixed #13734 - FP unsignedLessThanZero for unknown array size [skip ci]

Author: firewave

lib/symboldatabase.cpp

@@ -3747,13 +3747,15 @@ bool Variable::arrayDimensions(const Settings& settings, bool& isContainer)
             // TODO: collect timing information for this call?
             ValueFlow::valueFlowConstantFoldAST(const_cast<Token *>(dimension_.tok), settings);
             if (dimension_.tok) {
-                if (const ValueFlow::Value* v = dimension_.tok->getKnownValue(ValueFlow::Value::ValueType::INT))
+                if (const ValueFlow::Value* v = dimension_.tok->getKnownValue(ValueFlow::Value::ValueType::INT)) {
                     dimension_.num = v->intvalue;
+                    dimension_.known = true;
+                }
                 else if (dimension_.tok->isTemplateArg() && !dimension_.tok->values().empty()) {
                     assert(dimension_.tok->values().size() == 1);
                     dimension_.num = dimension_.tok->values().front().intvalue;
+                    dimension_.known = true;
                 }
-                dimension_.known = true;
             }
         }
         mDimensions.push_back(dimension_);

test/testother.cpp

@@ -8852,6 +8852,13 @@ class TestOther : public TestFixture {
               "    f<uint32_t>(0);\n"
               "}");
         ASSERT_EQUALS("", errout_str());
+
+        // #13734
+        check("void f() {\n"
+              "    uint8_t a[N + 1];\n"
+              "    for (unsigned p = 0; p < (sizeof(a) / sizeof((a)[0])); ++p) {}\n"
+              "}");
+        ASSERT_EQUALS("", errout_str());
     }
 
     void checkSignOfPointer() {