Method testValueDependentBitWidth

plugins/clang/tests/test_duchain.cpp:2674–2726

}

void TestDUChain::testValueDependentBitWidth()
{
    if (QVersionNumber::fromString(ClangHelpers::clangVersion()) < QVersionNumber(17, 0, 0)) {
        QSKIP("Parsing value-dependent bit-fields may cause an assertion failure or a crash in libclang version < 17");
    }

    TestFile file(QStringLiteral(R"(
        #include <climits>

        template<class T, unsigned I>
        struct Str {
            typedef typename T::size_type size_type;

            int w : sizeof(double);
            int x : sizeof(T);
            short y : I + 1;
            unsigned       length1   : (sizeof(size_type)*CHAR_BIT - 1);
            size_type      length2   : (sizeof(size_type)*CHAR_BIT - 1);
            size_type z = 5;
        };
    )"),
                  QStringLiteral("cpp"));

    QVERIFY(file.parseAndWait());
    {
        DUChainReadLocker lock;
        QVERIFY(file.topContext());
        QCOMPARE(file.topContext()->localDeclarations().size(), 1);
        QCOMPARE(file.topContext()->childContexts().size(), 1);

        const auto strContext = file.topContext()->childContexts().constFirst();
        QVERIFY(strContext);
        QCOMPARE(strContext->type(), DUContext::Class);
        QCOMPARE(strContext->childContexts().size(), 0);

        const auto strDeclarations = strContext->localDeclarations();
        QCOMPARE(strDeclarations.size(), 9);

        const auto varW = dynamic_cast<const ClassMemberDeclaration*>(strDeclarations.at(3));
        QVERIFY(varW);
        QCOMPARE(varW->bitWidth(), sizeof(double));

        for (int i = 4; i < strDeclarations.size() - 1; ++i) {
            const auto member = dynamic_cast<const ClassMemberDeclaration*>(strDeclarations.at(i));
            QVERIFY(member);
            QCOMPARE(member->bitWidth(), ClassMemberDeclaration::ValueDependentBitWidth);
        }

        const auto varZ = dynamic_cast<const ClassMemberDeclaration*>(strDeclarations.constLast());
        QVERIFY(varZ);
        QCOMPARE(varZ->bitWidth(), ClassMemberDeclaration::NotABitField);
    }
}

void TestDUChain::testBitWidthUpdate()
{