[C++20][Modules][1/8] Track valid import state.
authorIain Sandoe <iain@sandoe.co.uk>
Thu, 11 Feb 2021 00:15:56 +0000 (00:15 +0000)
committerIain Sandoe <iain@sandoe.co.uk>
Mon, 21 Feb 2022 09:09:37 +0000 (09:09 +0000)
commitab28488efe6de6f8fa856a1dfd8c0320d41d7608
tree68fa7ff06688a7aae48e043ee80db6dba5f69cf4
parentae1ba6194f09b7e310fd49cf18a2829dcbeb7f6b
[C++20][Modules][1/8] Track valid import state.

In C++20 modules imports must be together and at the start of the module.
Rather than growing more ad-hoc flags to test state, this keeps track of the
phase of of a valid module TU (first decl, global module frag, module,
private module frag).  If the phasing is broken (with some diagnostic) the
pattern does not conform to a valid C++20 module, and we set the state
accordingly.

We can thus issue diagnostics when imports appear in the wrong places and
decouple the C++20 modules state from other module variants (modules-ts and
clang modules).  Additionally, we attempt to diagnose wrong imports before
trying to find the module where possible (the latter will generally emit an
unhelpful diagnostic about the module not being available).

Although this generally simplifies the handling of C++20 module import
diagnostics, the motivation was that, in particular, it allows detecting
invalid imports like:

import module A;

int some_decl();

import module B;

where being in a module purview is insufficient to identify them.

Differential Revision: https://reviews.llvm.org/D118893
clang/include/clang/Basic/DiagnosticParseKinds.td
clang/include/clang/Parse/Parser.h
clang/include/clang/Sema/Sema.h
clang/lib/Interpreter/IncrementalParser.cpp
clang/lib/Parse/ParseAST.cpp
clang/lib/Parse/ParseObjc.cpp
clang/lib/Parse/Parser.cpp
clang/lib/Sema/SemaModule.cpp
clang/test/Modules/cxx20-import-diagnostics-a.cpp [new file with mode: 0644]
lldb/source/Plugins/ExpressionParser/Clang/ClangModulesDeclVendor.cpp