54 lines · cpp
1// RUN: rm -rf %t2// RUN: mkdir %t3// RUN: split-file --leading-lines %s %t4// RUN: %clang_cc1 -std=c++20 -pedantic-errors -fexceptions -fcxx-exceptions %t/cwg279_A.cppm -triple x86_64-unknown-unknown -emit-module-interface -o %t/cwg279_A.pcm5// RUN: %clang_cc1 -std=c++20 -verify=since-cxx20 -pedantic-errors -fexceptions -fcxx-exceptions -triple x86_64-unknown-unknown %t/cwg279.cpp -fmodule-file=cwg279_A=%t/cwg279_A.pcm6// RUN: %clang_cc1 -std=c++23 -pedantic-errors -fexceptions -fcxx-exceptions %t/cwg279_A.cppm -triple x86_64-unknown-unknown -emit-module-interface -o %t/cwg279_A.pcm7// RUN: %clang_cc1 -std=c++23 -verify=since-cxx20 -pedantic-errors -fexceptions -fcxx-exceptions -triple x86_64-unknown-unknown %t/cwg279.cpp -fmodule-file=cwg279_A=%t/cwg279_A.pcm8// RUN: %clang_cc1 -std=c++2c -pedantic-errors -fexceptions -fcxx-exceptions %t/cwg279_A.cppm -triple x86_64-unknown-unknown -emit-module-interface -o %t/cwg279_A.pcm9// RUN: %clang_cc1 -std=c++2c -verify=since-cxx20 -pedantic-errors -fexceptions -fcxx-exceptions -triple x86_64-unknown-unknown %t/cwg279.cpp -fmodule-file=cwg279_A=%t/cwg279_A.pcm10 11// cwg279: no12 13//--- cwg279_A.cppm14export module cwg279_A;15 16export {17struct S; // #cwg279-S18extern S *q; // #cwg279-q19 20struct S2 {}; // #cwg279-S221extern S2 *q2; // #cwg279-q222 23struct S3 {}; // #cwg279-S324extern S3 *q3; // #cwg279-q325} // export26 27//--- cwg279.cpp28import cwg279_A;29 30// FIXME: We should use markers instead. They are less fragile,31// but -verify doesn't support them across modules yet.32// FIXME: This is well-formed. Previous "definition" is actually just a declaration.33typedef struct {} S;34// since-cxx20-error@-1 {{typedef redefinition with different types ('struct S' vs 'S')}}35// since-cxx20-note@cwg279_A.cppm:17 {{previous definition is here}}36extern S *q;37// since-cxx20-error@-1 {{declaration of 'q' in the global module follows declaration in module cwg279_A}}38// since-cxx20-note@cwg279_A.cppm:18 {{previous declaration is here}}39 40typedef struct {} S2;41// since-cxx20-error@-1 {{typedef redefinition with different types ('struct S2' vs 'S2')}}42// since-cxx20-note@cwg279_A.cppm:20 {{previous definition is here}}43extern S2 *q2;44// since-cxx20-error@-1 {{declaration of 'q2' in the global module follows declaration in module cwg279_A}}45// since-cxx20-note@cwg279_A.cppm:21 {{previous declaration is here}}46 47// FIXME: This is well-formed, because [basic.def.odr]/15 is satisfied.48struct S3 {};49// since-cxx20-error@-1 {{declaration of 'S3' in the global module follows declaration in module cwg279_A}}50// since-cxx20-note@cwg279_A.cppm:23 {{previous declaration is here}}51extern S3 *q3;52// since-cxx20-error@-1 {{declaration of 'q3' in the global module follows declaration in module cwg279_A}}53// since-cxx20-note@cwg279_A.cppm:24 {{previous declaration is here}}54