diff options
| author | Bruno Cardoso Lopes <bruno.cardoso@gmail.com> | 2017-07-01 00:06:47 +0000 |
|---|---|---|
| committer | Bruno Cardoso Lopes <bruno.cardoso@gmail.com> | 2017-07-01 00:06:47 +0000 |
| commit | df0ee34bc2523f11b907311670c776cb3de108c1 (patch) | |
| tree | 1426e07d6db57ced9bfe03e6e1fe9b4f00e298c8 /llvm/lib/Analysis/IteratedDominanceFrontier.cpp | |
| parent | 057c82cf25a0c8bd4150eb715310b1d74a538aac (diff) | |
| download | bcm5719-llvm-df0ee34bc2523f11b907311670c776cb3de108c1.tar.gz bcm5719-llvm-df0ee34bc2523f11b907311670c776cb3de108c1.zip | |
[Modules] Implement ODR-like semantics for tag types in C/ObjC
Allow ODR for ObjC/C in the sense that we won't keep more that
one definition around (merge them). However, ensure the decl
pass the structural compatibility check in C11 6.2.7/1, for that,
reuse the structural equivalence checks used by the ASTImporter.
Few other considerations:
- Create error diagnostics for tag types mismatches and thread
them into the structural equivalence checks.
- Note that by doing this we only support redefinition between types
that are considered "compatible types" by C.
This is mixed approach of the suggestions discussed in
http://lists.llvm.org/pipermail/cfe-dev/2017-March/053257.html
Differential Revision: https://reviews.llvm.org/D31778
rdar://problem/31909368
llvm-svn: 306918
Diffstat (limited to 'llvm/lib/Analysis/IteratedDominanceFrontier.cpp')
0 files changed, 0 insertions, 0 deletions
