[Coroutines] [Frontend] Lookup in std namespace first
authorChuanqi Xu <yedeng.yd@linux.alibaba.com>
Thu, 4 Nov 2021 03:50:30 +0000 (11:50 +0800)
committerChuanqi Xu <yedeng.yd@linux.alibaba.com>
Thu, 4 Nov 2021 03:53:47 +0000 (11:53 +0800)
commitec117158a390a0ebf64377caa5abd0c976df8f7a
treeab896801abba187306783d4f2d286444a77da77a
parent553a87246510632b60d8d87913d8e4d5ddc86529
[Coroutines] [Frontend] Lookup in std namespace first

Now in libcxx and clang, all the coroutine components are defined in
std::experimental namespace.
And now the coroutine TS is merged into C++20. So in the working draft
like N4892, we could find the coroutine components is defined in std
namespace instead of std::experimental namespace.
And the coroutine support in clang seems to be relatively stable. So I
think it may be suitable to move the coroutine component into the
experiment namespace now.

This patch would make clang lookup coroutine_traits in std namespace
first. For the compatibility consideration, clang would lookup in
std::experimental namespace if it can't find definitions in std
namespace. So the existing codes wouldn't be break after update
compiler.

And in case the compiler found std::coroutine_traits and
std::experimental::coroutine_traits at the same time, it would emit an
error for it.

The support for looking up std::experimental::coroutine_traits would be
removed in Clang16.

Reviewed By: lxfind, Quuxplusone

Differential Revision: https://reviews.llvm.org/D108696
92 files changed:
clang-tools-extra/test/clang-tidy/checkers/Inputs/readability-identifier-naming/system/coroutines.h
clang/docs/LanguageExtensions.rst
clang/include/clang/Basic/DiagnosticSemaKinds.td
clang/include/clang/Sema/Sema.h
clang/lib/Frontend/InitPreprocessor.cpp
clang/lib/Sema/SemaCoroutine.cpp
clang/test/AST/Inputs/std-coroutine-exp-namespace.h [new file with mode: 0644]
clang/test/AST/Inputs/std-coroutine.h
clang/test/AST/coroutine-locals-cleanup-exp-namespace.cpp [new file with mode: 0644]
clang/test/AST/coroutine-locals-cleanup.cpp
clang/test/AST/coroutine-source-location-crash-exp-namespace.cpp [new file with mode: 0644]
clang/test/AST/coroutine-source-location-crash.cpp
clang/test/Analysis/more-dtors-cfg-output.cpp
clang/test/CodeGenCXX/ubsan-coroutines.cpp
clang/test/CodeGenCoroutines/Inputs/coroutine-exp-namespace.h [new file with mode: 0644]
clang/test/CodeGenCoroutines/Inputs/coroutine.h
clang/test/CodeGenCoroutines/coro-alloc-exp-namespace.cpp [new file with mode: 0644]
clang/test/CodeGenCoroutines/coro-alloc.cpp
clang/test/CodeGenCoroutines/coro-always-inline-exp-namespace.cpp [new file with mode: 0644]
clang/test/CodeGenCoroutines/coro-always-inline.cpp
clang/test/CodeGenCoroutines/coro-await-domination-exp-namespace.cpp [new file with mode: 0644]
clang/test/CodeGenCoroutines/coro-await-domination.cpp
clang/test/CodeGenCoroutines/coro-await-exp-namespace.cpp [new file with mode: 0644]
clang/test/CodeGenCoroutines/coro-await-resume-eh-exp-namespace.cpp [new file with mode: 0644]
clang/test/CodeGenCoroutines/coro-await-resume-eh.cpp
clang/test/CodeGenCoroutines/coro-await.cpp
clang/test/CodeGenCoroutines/coro-cleanup-exp-namespace.cpp [new file with mode: 0644]
clang/test/CodeGenCoroutines/coro-cleanup.cpp
clang/test/CodeGenCoroutines/coro-dest-slot-exp-namespace.cpp [new file with mode: 0644]
clang/test/CodeGenCoroutines/coro-dest-slot.cpp
clang/test/CodeGenCoroutines/coro-dwarf-exp-namespace.cpp [new file with mode: 0644]
clang/test/CodeGenCoroutines/coro-dwarf.cpp
clang/test/CodeGenCoroutines/coro-eh-cleanup-exp-namespace.cpp [new file with mode: 0644]
clang/test/CodeGenCoroutines/coro-eh-cleanup.cpp
clang/test/CodeGenCoroutines/coro-gro-exp-namespace.cpp [new file with mode: 0644]
clang/test/CodeGenCoroutines/coro-gro-nrvo-exp-namespace.cpp [new file with mode: 0644]
clang/test/CodeGenCoroutines/coro-gro-nrvo.cpp
clang/test/CodeGenCoroutines/coro-gro.cpp
clang/test/CodeGenCoroutines/coro-lambda-exp-namespace.cpp [new file with mode: 0644]
clang/test/CodeGenCoroutines/coro-lambda.cpp
clang/test/CodeGenCoroutines/coro-newpm-pipeline-exp-namespace.cpp [new file with mode: 0644]
clang/test/CodeGenCoroutines/coro-newpm-pipeline.cpp
clang/test/CodeGenCoroutines/coro-params-exp-namespace.cpp [new file with mode: 0644]
clang/test/CodeGenCoroutines/coro-params.cpp
clang/test/CodeGenCoroutines/coro-promise-dtor-exp-namespace.cpp [new file with mode: 0644]
clang/test/CodeGenCoroutines/coro-promise-dtor.cpp
clang/test/CodeGenCoroutines/coro-ret-void-exp-namespace.cpp [new file with mode: 0644]
clang/test/CodeGenCoroutines/coro-ret-void.cpp
clang/test/CodeGenCoroutines/coro-return-exp-namespace.cpp [new file with mode: 0644]
clang/test/CodeGenCoroutines/coro-return-voidtype-initlist-exp-namespace.cpp [new file with mode: 0644]
clang/test/CodeGenCoroutines/coro-return-voidtype-initlist.cpp
clang/test/CodeGenCoroutines/coro-return.cpp
clang/test/CodeGenCoroutines/coro-symmetric-transfer-01-exp-namespace.cpp [new file with mode: 0644]
clang/test/CodeGenCoroutines/coro-symmetric-transfer-01.cpp
clang/test/CodeGenCoroutines/coro-symmetric-transfer-02-exp-namespace.cpp [new file with mode: 0644]
clang/test/CodeGenCoroutines/coro-symmetric-transfer-02.cpp
clang/test/CodeGenCoroutines/coro-unhandled-exception-exp-namespace.cpp [new file with mode: 0644]
clang/test/CodeGenCoroutines/coro-unhandled-exception.cpp
clang/test/CodeGenCoroutines/microsoft-abi-operator-coawait-exp-namespace.cpp [new file with mode: 0644]
clang/test/CodeGenCoroutines/microsoft-abi-operator-coawait.cpp
clang/test/CoverageMapping/coroutine.cpp
clang/test/Index/coroutines.cpp
clang/test/Lexer/cxx-features.cpp
clang/test/PCH/coroutines.cpp
clang/test/SemaCXX/Inputs/std-coroutine-exp-namespace.h [new file with mode: 0644]
clang/test/SemaCXX/Inputs/std-coroutine.h
clang/test/SemaCXX/co_await-range-for-exp-namespace.cpp [new file with mode: 0644]
clang/test/SemaCXX/co_await-range-for.cpp
clang/test/SemaCXX/coreturn-eh-exp-namespace.cpp [new file with mode: 0644]
clang/test/SemaCXX/coreturn-eh.cpp
clang/test/SemaCXX/coreturn-exp-namespace.cpp [new file with mode: 0644]
clang/test/SemaCXX/coreturn.cpp
clang/test/SemaCXX/coroutine-builtins.cpp
clang/test/SemaCXX/coroutine-final-suspend-noexcept-exp-namespace.cpp [new file with mode: 0644]
clang/test/SemaCXX/coroutine-final-suspend-noexcept.cpp
clang/test/SemaCXX/coroutine-mixed-exp-namespace.cpp [new file with mode: 0644]
clang/test/SemaCXX/coroutine-mixed2-exp-namespace.cpp [new file with mode: 0644]
clang/test/SemaCXX/coroutine-rvo-exp-namespace.cpp [new file with mode: 0644]
clang/test/SemaCXX/coroutine-rvo.cpp
clang/test/SemaCXX/coroutine-seh-exp-namespace.cpp [new file with mode: 0644]
clang/test/SemaCXX/coroutine-seh.cpp
clang/test/SemaCXX/coroutine-traits-undefined-template-exp-namespace.cpp [new file with mode: 0644]
clang/test/SemaCXX/coroutine-traits-undefined-template.cpp
clang/test/SemaCXX/coroutine-unhandled_exception-warning-exp-namespace.cpp [new file with mode: 0644]
clang/test/SemaCXX/coroutine-unhandled_exception-warning.cpp
clang/test/SemaCXX/coroutine-uninitialized-warning-crash-exp-namespace.cpp [new file with mode: 0644]
clang/test/SemaCXX/coroutine-uninitialized-warning-crash.cpp
clang/test/SemaCXX/coroutine_handle-address-return-type-exp-namespace.cpp [moved from clang/test/SemaCXX/coroutine_handle-addres-return-type.cpp with 100% similarity]
clang/test/SemaCXX/coroutine_handle-address-return-type.cpp [new file with mode: 0644]
clang/test/SemaCXX/coroutines-exp-namespace.cpp [new file with mode: 0644]
clang/test/SemaCXX/coroutines.cpp
clang/unittests/ASTMatchers/ASTMatchersTraversalTest.cpp