1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
|
// Copyright (C) 2021 The Qt Company Ltd.
// SPDX-License-Identifier: LicenseRef-Qt-Commercial OR GPL-3.0-only WITH Qt-GPL-exception-1.0
#include "qqmljslintercodegen_p.h"
#include <QtQmlCompiler/private/qqmljsimportvisitor_p.h>
#include <QtQmlCompiler/private/qqmljsshadowcheck_p.h>
#include <QtQmlCompiler/private/qqmljsstoragegeneralizer_p.h>
#include <QtQmlCompiler/private/qqmljstypepropagator_p.h>
#include <QtQmlCompiler/private/qqmljsfunctioninitializer_p.h>
#include <QFileInfo>
QT_BEGIN_NAMESPACE
using namespace Qt::StringLiterals;
QQmlJSLinterCodegen::QQmlJSLinterCodegen(QQmlJSImporter *importer, const QString &fileName,
const QStringList &qmldirFiles, QQmlJSLogger *logger)
: QQmlJSAotCompiler(importer, fileName, qmldirFiles, logger)
{
}
void QQmlJSLinterCodegen::setDocument(const QmlIR::JSCodeGen *codegen,
const QmlIR::Document *document)
{
Q_UNUSED(codegen);
m_document = document;
m_unitGenerator = &document->jsGenerator;
}
std::variant<QQmlJSAotFunction, QQmlJS::DiagnosticMessage>
QQmlJSLinterCodegen::compileBinding(const QV4::Compiler::Context *context,
const QmlIR::Binding &irBinding, QQmlJS::AST::Node *astNode)
{
QQmlJSFunctionInitializer initializer(
&m_typeResolver, m_currentObject->location, m_currentScope->location);
QQmlJS::DiagnosticMessage initializationError;
const QString name = m_document->stringAt(irBinding.propertyNameIndex);
QQmlJSCompilePass::Function function =
initializer.run(context, name, astNode, irBinding, &initializationError);
if (initializationError.isValid())
diagnose(initializationError.message, initializationError.type, initializationError.loc);
QQmlJS::DiagnosticMessage analyzeError;
if (!analyzeFunction(context, &function, &analyzeError)) {
// If it's a signal and the function just returns a closure, it's harmless.
// Otherwise promote the message to warning level.
return diagnose(u"Could not compile binding for %1: %2"_s.arg(name, analyzeError.message),
(function.isSignalHandler && analyzeError.type == QtDebugMsg)
? QtDebugMsg
: QtWarningMsg,
analyzeError.loc);
}
return QQmlJSAotFunction {};
}
std::variant<QQmlJSAotFunction, QQmlJS::DiagnosticMessage>
QQmlJSLinterCodegen::compileFunction(const QV4::Compiler::Context *context,
const QString &name, QQmlJS::AST::Node *astNode)
{
QQmlJS::DiagnosticMessage initializationError;
QQmlJSFunctionInitializer initializer(
&m_typeResolver, m_currentObject->location, m_currentScope->location);
QQmlJSCompilePass::Function function =
initializer.run(context, name, astNode, &initializationError);
if (initializationError.isValid())
diagnose(initializationError.message, initializationError.type, initializationError.loc);
QQmlJS::DiagnosticMessage analyzeError;
if (!analyzeFunction(context, &function, &analyzeError)) {
return diagnose(u"Could not compile function %1: %2"_s.arg(name, analyzeError.message),
QtWarningMsg, analyzeError.loc);
}
return QQmlJSAotFunction {};
}
bool QQmlJSLinterCodegen::analyzeFunction(const QV4::Compiler::Context *context,
QQmlJSCompilePass::Function *function,
QQmlJS::DiagnosticMessage *error)
{
QQmlJSTypePropagator propagator(m_unitGenerator, &m_typeResolver, m_logger,
{}, {}, m_passManager);
auto [basicBlocks, annotations] = propagator.run(function, error);
if (!error->isValid()) {
QQmlJSShadowCheck shadowCheck(m_unitGenerator, &m_typeResolver, m_logger, basicBlocks,
annotations);
shadowCheck.run(function, error);
}
if (!error->isValid()) {
QQmlJSStorageGeneralizer generalizer(m_unitGenerator, &m_typeResolver, m_logger,
basicBlocks, annotations);
generalizer.run(function, error);
}
if (error->isValid()) {
error->type = context->returnsClosure ? QtDebugMsg : QtWarningMsg;
return false;
}
return true;
}
QT_END_NAMESPACE
|
