summaryrefslogtreecommitdiffstats
path: root/clang/test/Modules/submodules-merge-defs.cpp
Commit message (Collapse)AuthorAgeFilesLines
* [modules] When parsing the base specifiers of a parse-merged class, the currentRichard Smith2015-08-171-14/+14
| | | | | | | | context is the class itself but lookups should be performed starting with the lookup parent of the class (class and base members don't shadow types from the surrounding context because they have not been declared yet). llvm-svn: 245236
* [modules] Make IndirectFieldDecl mergeable to avoid lookup ambiguity when ↵Richard Smith2015-08-041-0/+1
| | | | | | the same anonymous union is defined across multiple modules. llvm-svn: 243940
* [modules] Fix merging support for forward-declared enums with fixed ↵Richard Smith2015-07-081-0/+5
| | | | | | underlying types. A visible declaration is enough to make the type complete, but not enough to make the definition visible. llvm-svn: 241743
* [modules] Merging support for specializations of a function template. This veryRichard Smith2015-07-011-0/+2
| | | | | | | rarely matters, but can affect whether two dependent types are canonically equivalent. llvm-svn: 241207
* [modules] Don't make out-of-line member specializations of an instantiatedRichard Smith2015-07-011-10/+17
| | | | | | | class template specialization visible just because the class template specialization's definition is visible. llvm-svn: 241182
* [modules] Add a flag to disable the feature that permits conflicting ↵Richard Smith2015-06-221-1/+6
| | | | | | | | | | | | redefinitions of internal-linkage symbols that are not visible. Such conflicts are an accident waiting to happen, and this feature conflicts with the desire to include existing headers into multiple modules and merge the results. (In an ideal world, it should not be possible to export internal linkage symbols from a module, but sadly the glibc and libstdc++ headers provide 'static inline' functions in a few cases.) llvm-svn: 240335
* [modules] Ensure that if we merge the definitions of two enumerations, thatRichard Smith2015-06-171-0/+9
| | | | | | making either of them visible makes the merged definition visible. llvm-svn: 239969
* [modules] Fix typo in default argument merging.Richard Smith2015-06-171-0/+1
| | | | llvm-svn: 239954
* [modules] If we merge a template, also track that its parameters are merged soRichard Smith2015-06-171-4/+3
| | | | | | that we know when its default arguments should be visible. llvm-svn: 239936
* [modules] Improve diagnostic for a template-id that's invalid because a defaultRichard Smith2015-06-171-1/+9
| | | | | | argument is not visible. llvm-svn: 239934
* [modules] Fix merging of default template arguments onto friend templates.Richard Smith2015-06-161-0/+1
| | | | | | | | | Previously we'd complain about redefinition of default arguments when we instantiated a class with a friend template that inherits its default argument, because we propagate the default template arguemnt onto the friend when we reload the AST. llvm-svn: 239857
* [modules] Simplify -cc1 interface for enabling implicit module maps.Richard Smith2015-06-161-6/+6
| | | | | | | | | | | | | We used to have a flag to enable module maps, and two more flags to enable implicit module maps. This is all redundant; we don't need any flag for enabling module maps in the abstract, and we don't usually have -fno- flags for -cc1. We now have just a single flag, -fimplicit-module-maps, that enables implicitly searching the file system for module map files and loading them. The driver interface is unchanged for now. We should probably rename -fmodule-maps to -fimplicit-module-maps at some point. llvm-svn: 239789
* [modules] Better support for redefinitions of an entity from the same module.Richard Smith2015-06-151-8/+11
| | | | | | | Support this across module save/reload and extend the 'missing import' diagnostics with a list of providing modules. llvm-svn: 239750
* [modules] Apply name visibility rules to names found by ADL.Richard Smith2015-06-121-2/+2
| | | | llvm-svn: 239578
* [modules] Fix crash with multiple levels of default template argument merging.Richard Smith2015-06-111-0/+6
| | | | llvm-svn: 239575
* [modules] Fix a few places where merging wasn't performed if modules was ↵Richard Smith2015-06-111-0/+11
| | | | | | disabled but local module visibilty was enabled. llvm-svn: 239504
* [modules] Add local submodule visibility support for declarations.Richard Smith2015-05-151-0/+2
| | | | | | | | | | | | With this change, enabling -fmodules-local-submodule-visibility results in name visibility rules being applied to submodules of the current module in addition to imported modules (that is, names no longer "leak" between submodules of the same top-level module). This also makes it much safer to textually include a non-modular library into a module: each submodule that textually includes that library will get its own "copy" of that library, and so the library becomes visible no matter which including submodule you import. llvm-svn: 237473
* [modules] Allow a function template definition if we have a pre-existing but ↵Richard Smith2015-03-271-6/+16
| | | | | | not visible definition of the same template. llvm-svn: 233430
* [modules] When merging class definitions, make the retained definition visibleRichard Smith2015-03-271-0/+5
| | | | | | | | if the merged definition is visible, and perform lookups into all merged copies of the definition (not just for special members) so that we can complete the redecl chains for members of the class. llvm-svn: 233420
* [modules] Allow a function to be redefined if the old definition is not visible.Richard Smith2015-03-271-1/+7
| | | | llvm-svn: 233407
* [modules] Handle defining a tag with a typedef name for linkage purposes on ↵Richard Smith2015-03-271-0/+5
| | | | | | top of an existing imported-but-not-visible definition. llvm-svn: 233345
* [modules] Handle defining a class template on top of an existing ↵Richard Smith2015-03-271-1/+16
| | | | | | imported-but-not-visible definition. llvm-svn: 233341
* [modules] If we reach a definition of a class for which we already have aRichard Smith2015-03-261-0/+13
non-visible definition, skip the new definition and make the old one visible instead of trying to parse it again and failing horribly. C++'s ODR allows us to assume that the two definitions are identical. llvm-svn: 233250
OpenPOWER on IntegriCloud