| Aleksei Sidorin | 2697f8e | 2017-11-21 16:08:41 +0000 | [diff] [blame^] | 1 | // RUN: %clang_cc1 -emit-pch -std=c++1z -o %t.1.ast %S/Inputs/namespace1.cpp |
| 2 | // RUN: %clang_cc1 -emit-pch -std=c++1z -o %t.2.ast %S/Inputs/namespace2.cpp |
| 3 | // RUN: not %clang_cc1 -std=c++1z -ast-merge %t.1.ast -ast-merge %t.2.ast -fsyntax-only %s 2>&1 | FileCheck %s |
| 4 | |
| 5 | static_assert(TestAliasName::z == 4); |
| 6 | static_assert(ContainsInline::z == 10); |
| 7 | |
| 8 | void testImport() { |
| 9 | typedef TestUnresolvedTypenameAndValueDecls::Derived<int> Imported; |
| 10 | Imported a; // Successfull instantiation |
| 11 | static_assert(sizeof(Imported::foo) == sizeof(int)); |
| 12 | static_assert(sizeof(TestUnresolvedTypenameAndValueDecls::Derived<double>::NewUnresolvedUsingType) == sizeof(double)); |
| 13 | } |
| 14 | |
| Douglas Gregor | f06027d | 2010-02-24 21:53:36 +0000 | [diff] [blame] | 15 | |
| 16 | // CHECK: namespace2.cpp:16:17: error: external variable 'z' declared with incompatible types in different translation units ('double' vs. 'float') |
| 17 | // CHECK: namespace1.cpp:16:16: note: declared here with type 'float' |