29 lines · cpp
1// RUN: %clang_cc1 -std=c++1z -emit-pch -o %t.1.ast %S/Inputs/class-template1.cpp2// RUN: %clang_cc1 -std=c++1z -emit-pch -o %t.2.ast %S/Inputs/class-template2.cpp3// RUN: %clang_cc1 -std=c++1z -ast-merge %t.1.ast -ast-merge %t.2.ast -fsyntax-only %s 2>&1 | FileCheck %s4 5static_assert(sizeof(X0<char>().getValue(1)) == sizeof(char));6static_assert(sizeof(X0<int>().getValue(1)) == sizeof(int));7 8// CHECK: class-template1.cpp:9:14: warning: non-type template parameter declared with incompatible types in different translation units ('int' vs. 'long')9// CHECK: class-template2.cpp:9:15: note: declared here with type 'long'10 11// CHECK: class-template1.cpp:12:14: warning: template parameter has different kinds in different translation units12// CHECK: class-template2.cpp:12:18: note: template parameter declared here13 14// CHECK: class-template1.cpp:18:23: warning: non-type template parameter declared with incompatible types in different translation units ('long' vs. 'int')15// CHECK: class-template2.cpp:18:23: note: declared here with type 'int'16 17// CHECK: class-template1.cpp:21:18: warning: template parameter has different kinds in different translation units18// CHECK: class-template2.cpp:21:31: note: template parameter declared here19 20// CHECK: class-template2.cpp:27:20: warning: external variable 'x0r' declared with incompatible types in different translation units ('X0<double> *' vs. 'X0<float> *')21// CHECK: class-template1.cpp:26:19: note: declared here with type 'X0<float> *'22 23// CHECK: class-template1.cpp:35:8: warning: type 'X0<wchar_t>' has incompatible definitions in different translation units24// CHECK: class-template1.cpp:36:7: note: field 'member' has type 'int' here25// CHECK: class-template2.cpp:36:9: note: field 'member' has type 'float' here26 27// CHECK: 6 warnings generated.28// CHECK-NOT: static_assert29