]> granicus.if.org Git - clang/commit
[ASTImporter] Do not look up lambda classes
authorGabor Marton <gabor.marton@ericsson.com>
Fri, 30 Aug 2019 10:55:41 +0000 (10:55 +0000)
committerGabor Marton <gabor.marton@ericsson.com>
Fri, 30 Aug 2019 10:55:41 +0000 (10:55 +0000)
commit940667de80ecc16952d0add91261e565b9466f37
treeba2132a0e1546bf936e5802b83b581b22f051c6c
parente62fc8605148f90311ef6a2667db6c66d80bea31
[ASTImporter] Do not look up lambda classes

Summary:
Consider this code:
```
      void f() {
        auto L0 = [](){};
        auto L1 = [](){};
      }

```
First we import `L0` then `L1`. Currently we end up having only one
CXXRecordDecl for the two different lambdas. And that is a problem if
the body of their op() is different. This happens because when we import
`L1` then lookup finds the existing `L0` and since they are structurally
equivalent we just map the imported L0 to be the counterpart of L1.

We have the same problem in this case:
```
      template <typename F0, typename F1>
      void f(F0 L0 = [](){}, F1 L1 = [](){}) {}

```

In StructuralEquivalenceContext we could distinquish lambdas only by
their source location in these cases. But we the lambdas are actually
structrually equivalent they differn only by the source location.

Thus, the  solution is to disable lookup completely if the decl in
the "from" context is a lambda.
However, that could have other problems: what if the lambda is defined
in a header file and included in several TUs? I think we'd have as many
duplicates as many includes we have. I think we could live with that,
because the lambda classes are TU local anyway, we cannot just access
them from another TU.

Reviewers: a_sidorin, a.sidorin, shafik

Subscribers: rnkovacs, dkrupp, Szelethus, gamesh411, cfe-commits

Tags: #clang

Differential Revision: https://reviews.llvm.org/D66348

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@370461 91177308-0d34-0410-b5e6-96231b3b80d8
lib/AST/ASTImporter.cpp
unittests/AST/ASTImporterTest.cpp