fixed #13734 - FP unsignedLessThanZero for unknown array size

[firewave]

No description provided.

[firewave]

I think we should also add a symbol database and/or ValueFlow test for this but I do not really understand those tests ...

[chrchr-github]

This should do it (in valueFlowSizeof()):

        code  = "void f() {\n"
                "    int a[N + 1];"
                "    x = sizeof(a) / sizeof(a[0]);\n"
                "}";
        values = tokenValues(code,"/");
        ASSERT_EQUALS(1U, values.size());
        ASSERT_EQUALS(-1, values.back().intvalue);
        ASSERT_EQUALS_ENUM(ValueFlow::Value::ValueKind::Impossible, values.back().valueKind);

[firewave]

This should do it (in valueFlowSizeof()):

Thanks a lot!