forked from qt-creator/qt-creator
Since we also license under GPL-3.0 WITH Qt-GPL-exception-1.0, this applies only to a hypothetical newer version of GPL, that doesn't exist yet. If such a version emerges, we can still decide to relicense... While at it, replace (deprecated) GPL-3.0 with more explicit GPL-3.0-only Change was done by running find . -type f -exec perl -pi -e "s/LicenseRef-Qt-Commercial OR GPL-3.0\+ OR GPL-3.0 WITH Qt-GPL-exception-1.0/LicenseRef-Qt-Commercial OR GPL-3.0-only WITH Qt-GPL-exception-1.0/g" {} \; Change-Id: I5097e6ce8d10233993ee30d7e25120e2659eb10b Reviewed-by: Eike Ziller <eike.ziller@qt.io>
262 lines
8.8 KiB
C++
262 lines
8.8 KiB
C++
// Copyright (C) 2016 The Qt Company Ltd.
|
|
// SPDX-License-Identifier: LicenseRef-Qt-Commercial OR GPL-3.0-only WITH Qt-GPL-exception-1.0
|
|
|
|
#include <cplusplus/ASTPath.h>
|
|
#include <cplusplus/CppDocument.h>
|
|
#include <cplusplus/findcdbbreakpoint.h>
|
|
|
|
#include <QtTest>
|
|
#include <QDebug>
|
|
|
|
//TESTED_COMPONENT=src/libs/cplusplus
|
|
using namespace CPlusPlus;
|
|
|
|
class tst_Misc: public QObject
|
|
{
|
|
Q_OBJECT
|
|
|
|
private slots:
|
|
void diagnosticClient_error();
|
|
void diagnosticClient_warning();
|
|
|
|
void findBreakpoints();
|
|
void findBreakpoints2();
|
|
void findBreakpoints3();
|
|
|
|
void astPathOnGeneratedTokens();
|
|
|
|
void typeMatcher();
|
|
|
|
void doNotCrashForInvalidRawString();
|
|
};
|
|
|
|
void tst_Misc::diagnosticClient_error()
|
|
{
|
|
const QByteArray src("\n"
|
|
"class Foo {}\n"
|
|
);
|
|
Document::Ptr doc = Document::create("diagnosticClient_error");
|
|
QVERIFY(!doc.isNull());
|
|
doc->setUtf8Source(src);
|
|
bool success = doc->parse(Document::ParseTranlationUnit);
|
|
QVERIFY(success);
|
|
|
|
QList<Document::DiagnosticMessage> diagnostics = doc->diagnosticMessages();
|
|
QVERIFY(diagnostics.size() == 1);
|
|
|
|
const Document::DiagnosticMessage &msg = diagnostics.at(0);
|
|
QCOMPARE(msg.level(), (int) Document::DiagnosticMessage::Error);
|
|
QCOMPARE(msg.line(), 2);
|
|
QCOMPARE(msg.column(), 1);
|
|
}
|
|
|
|
void tst_Misc::diagnosticClient_warning()
|
|
{
|
|
const QByteArray src("\n"
|
|
"using namespace ;\n"
|
|
);
|
|
Document::Ptr doc = Document::create("diagnosticClient_warning");
|
|
QVERIFY(!doc.isNull());
|
|
doc->setUtf8Source(src);
|
|
bool success = doc->parse(Document::ParseTranlationUnit);
|
|
QVERIFY(success);
|
|
|
|
QList<Document::DiagnosticMessage> diagnostics = doc->diagnosticMessages();
|
|
QVERIFY(diagnostics.size() == 1);
|
|
|
|
const Document::DiagnosticMessage &msg = diagnostics.at(0);
|
|
QCOMPARE(msg.level(), (int) Document::DiagnosticMessage::Warning);
|
|
QCOMPARE(msg.line(), 1);
|
|
QCOMPARE(msg.column(), 17);
|
|
}
|
|
|
|
void tst_Misc::findBreakpoints()
|
|
{
|
|
const QByteArray src("\n" // line 0
|
|
"class C {\n"
|
|
" int a;\n"
|
|
" C():\n"
|
|
" a(0)\n" // line 4
|
|
" {\n" // line 5
|
|
" }\n"
|
|
" void empty()\n" // line 7
|
|
" {\n" // line 8
|
|
" }\n"
|
|
" void misc() \n"
|
|
" { \n" // line 11
|
|
" if ( \n" // line 12
|
|
" a \n" // line 13
|
|
" && \n" // line 14
|
|
" b \n" // line 15
|
|
" ) \n" // line 16
|
|
" { \n" // line 17
|
|
" } \n" // line 18
|
|
" while ( \n" // line 19
|
|
" a \n" // line 20
|
|
" && \n" // line 21
|
|
" b \n" // line 22
|
|
" ) \n" // line 23
|
|
" { \n" // line 24
|
|
" } \n" // line 25
|
|
" do { \n" // line 26
|
|
" } \n" // line 27
|
|
" while ( \n" // line 28
|
|
" a \n" // line 39
|
|
" && \n" // line 30
|
|
" b \n" // line 31
|
|
" ); \n" // line 32
|
|
" } \n"
|
|
"}; \n"
|
|
);
|
|
Document::Ptr doc = Document::create("findContstructorBreakpoint");
|
|
QVERIFY(!doc.isNull());
|
|
doc->setUtf8Source(src);
|
|
bool success = doc->parse();
|
|
QVERIFY(success);
|
|
QCOMPARE(doc->diagnosticMessages().size(), 0);
|
|
FindCdbBreakpoint findBreakpoint(doc->translationUnit());
|
|
|
|
QCOMPARE(findBreakpoint(0), 5);
|
|
QCOMPARE(findBreakpoint(7), 8);
|
|
QCOMPARE(findBreakpoint(11), 16);
|
|
QCOMPARE(findBreakpoint(17), 23);
|
|
QCOMPARE(findBreakpoint(18), 23);
|
|
}
|
|
|
|
void tst_Misc::findBreakpoints2()
|
|
{
|
|
const QByteArray src("\n" // line 0
|
|
"void foo() {\n"
|
|
" int a = 2;\n" // line 2
|
|
" switch (x) {\n" // line 3
|
|
" case 1: {\n" // line 4
|
|
" int y = 2;\n" // line 5
|
|
" y++;\n"
|
|
" break;\n" // line 7
|
|
" }\n"
|
|
" }\n"
|
|
"}\n"
|
|
);
|
|
Document::Ptr doc = Document::create("findSwitchBreakpoint");
|
|
QVERIFY(!doc.isNull());
|
|
doc->setUtf8Source(src);
|
|
bool success = doc->parse();
|
|
QVERIFY(success);
|
|
QCOMPARE(doc->diagnosticMessages().size(), 0);
|
|
FindCdbBreakpoint findBreakpoint(doc->translationUnit());
|
|
|
|
QCOMPARE(findBreakpoint(0), 2);
|
|
QCOMPARE(findBreakpoint(1), 2);
|
|
QCOMPARE(findBreakpoint(2), 2);
|
|
QCOMPARE(findBreakpoint(3), 3);
|
|
QCOMPARE(findBreakpoint(4), 5);
|
|
QCOMPARE(findBreakpoint(5), 5);
|
|
QCOMPARE(findBreakpoint(6), 6);
|
|
QCOMPARE(findBreakpoint(7), 7);
|
|
}
|
|
|
|
void tst_Misc::findBreakpoints3()
|
|
{
|
|
const QByteArray src("\n" // line 0
|
|
"int foo() {\n"
|
|
" try {\n" // line 2
|
|
" bar();\n" // line 3
|
|
" } catch (Mooze &m) {\n" // line 4
|
|
" wooze();\n" // line 5
|
|
" }\n"
|
|
" return 0;\n" // line 7
|
|
"}\n"
|
|
);
|
|
Document::Ptr doc = Document::create("findCatchBreakpoint");
|
|
QVERIFY(!doc.isNull());
|
|
doc->setUtf8Source(src);
|
|
bool success = doc->parse();
|
|
QVERIFY(success);
|
|
QCOMPARE(doc->diagnosticMessages().size(), 0);
|
|
FindCdbBreakpoint findBreakpoint(doc->translationUnit());
|
|
|
|
QCOMPARE(findBreakpoint(2), 3);
|
|
QCOMPARE(findBreakpoint(3), 3);
|
|
QCOMPARE(findBreakpoint(4), 5);
|
|
QCOMPARE(findBreakpoint(5), 5);
|
|
QCOMPARE(findBreakpoint(7), 7);
|
|
}
|
|
|
|
static Document::Ptr documentCreatedWithFastPreprocessor(const QByteArray source)
|
|
{
|
|
Snapshot snapshot;
|
|
auto document = snapshot.preprocessedDocument(source, "test.cpp");
|
|
document->check();
|
|
return document;
|
|
}
|
|
|
|
void tst_Misc::astPathOnGeneratedTokens()
|
|
{
|
|
const QByteArray source =
|
|
"#define INT int\n"
|
|
"#define S ;\n"
|
|
"INT x S\n";
|
|
const auto document = documentCreatedWithFastPreprocessor(source);
|
|
ASTPath astPath(document);
|
|
|
|
// Check start
|
|
auto paths = astPath(3, 1);
|
|
QCOMPARE(paths.size(), 0);
|
|
|
|
// Check middle
|
|
paths = astPath(3, 5);
|
|
QCOMPARE(paths.size(), 5);
|
|
QVERIFY(paths.at(0)->asTranslationUnit());
|
|
QVERIFY(paths.at(1)->asSimpleDeclaration());
|
|
QVERIFY(paths.at(2)->asDeclarator());
|
|
QVERIFY(paths.at(3)->asDeclaratorId());
|
|
QVERIFY(paths.at(4)->asSimpleName());
|
|
|
|
// Check end
|
|
for (auto i : {7, 8, 9}) {
|
|
paths = astPath(3, i);
|
|
QCOMPARE(paths.size(), 2);
|
|
QVERIFY(paths.at(0)->asTranslationUnit());
|
|
QVERIFY(paths.at(1)->asSimpleDeclaration());
|
|
}
|
|
}
|
|
|
|
void tst_Misc::typeMatcher()
|
|
{
|
|
IntegerType dummyType(IntegerType::Int);
|
|
FullySpecifiedType type1(&dummyType);
|
|
FullySpecifiedType type2(&dummyType);
|
|
|
|
for (int i = 0; i < (1<<8); ++i) {
|
|
type1.setConst (i & (1 << 0));
|
|
type1.setVolatile(i & (1 << 1));
|
|
type1.setSigned (i & (1 << 2));
|
|
type1.setUnsigned(i & (1 << 3));
|
|
|
|
type2.setConst (i & (1 << 4));
|
|
type2.setVolatile(i & (1 << 5));
|
|
type2.setSigned (i & (1 << 6));
|
|
type2.setUnsigned(i & (1 << 7));
|
|
|
|
const unsigned type1Specifiers = (i & 0x0f);
|
|
const unsigned type2Specifiers = (i >> 4);
|
|
const bool sameSpecifiers = type1Specifiers == type2Specifiers;
|
|
QCOMPARE(type1.match(type2), sameSpecifiers);
|
|
QCOMPARE(type2.match(type1), sameSpecifiers);
|
|
}
|
|
}
|
|
|
|
void tst_Misc::doNotCrashForInvalidRawString()
|
|
{
|
|
const QByteArray src("\n"
|
|
"void f() { enum { Size = sizeof(R\"[^\\s]+([^]+)*\") }; }"
|
|
"}\n"
|
|
);
|
|
Document::Ptr doc = Document::create("crash");
|
|
doc->setUtf8Source(src);
|
|
doc->check();
|
|
}
|
|
|
|
QTEST_GUILESS_MAIN(tst_Misc)
|
|
#include "tst_misc.moc"
|