clang/test/Modules/no-eager-load.cppm

   1 // RUN: rm -rf %t
   2 // RUN: split-file %s %t
   3 // RUN: cd %t
   4 //
   5 // RUN: %clang_cc1 -std=c++20 -emit-module-interface %t/a.cppm -o %t/a.pcm
   6 // RUN: %clang_cc1 -std=c++20 -emit-module-interface %t/b.cppm -o %t/b.pcm
   7 // RUN: %clang_cc1 -std=c++20 -fsyntax-only -verify %t/c.cpp \
   8 // RUN:     -fprebuilt-module-path=%t
   9 // RUN: %clang_cc1 -std=c++20 -fsyntax-only -verify %t/d.cpp \
  10 // RUN:     -fprebuilt-module-path=%t
  11 //
  12 // RUN: %clang_cc1 -std=c++20 -emit-module-interface %t/e.cppm -o %t/e.pcm
  13 // RUN: %clang_cc1 -std=c++20 -emit-module-interface %t/f.cppm -o %t/f.pcm
  14 // RUN: %clang_cc1 -std=c++20 -fsyntax-only -verify %t/g.cpp \
  15 // RUN:     -fprebuilt-module-path=%t
  16 //
  17 // RUN: %clang_cc1 -std=c++20 -emit-module-interface %t/h.cppm \
  18 // RUN:     -fprebuilt-module-path=%t -o %t/h.pcm
  19 // RUN: %clang_cc1 -std=c++20 -emit-module-interface %t/i.cppm \
  20 // RUN:     -fprebuilt-module-path=%t -o %t/i.pcm
  21 // RUN: %clang_cc1 -std=c++20 -fsyntax-only -verify %t/j.cpp \
  22 // RUN:     -fprebuilt-module-path=%t
  23 // RUN: %clang_cc1 -std=c++20 -fsyntax-only -verify %t/k.cpp \
  24 // RUN:     -fprebuilt-module-path=%t
  25
  26 //--- a.cppm
  27 export module a;
  28 export void foo() {
  29
  30 }
  31
  32 //--- b.cppm
  33 export module b;
  34 void bar();
  35 export void foo() {
  36     bar();
  37 }
  38
  39 //--- c.cpp
  40 // expected-no-diagnostics
  41 // Since we will load all the declaration lazily, we won't be able to find
  42 // the ODR violation here.
  43 import a;
  44 import b;
  45
  46 //--- d.cpp
  47 import a;
  48 import b;
  49 // Test that we can still check the odr violation if we call the function
  50 // actually.
  51 void use() {
  52     foo(); // expected-error@* {{'foo' has different definitions in different modules;}}
  53            // expected-note@* {{but in 'a' found a different body}}
  54 }
  55
  56 //--- foo.h
  57 void foo() {
  58
  59 }
  60
  61 //--- bar.h
  62 void bar();
  63 void foo() {
  64     bar();
  65 }
  66
  67 //--- e.cppm
  68 module;
  69 #include "foo.h"
  70 export module e;
  71 export using ::foo;
  72
  73 //--- f.cppm
  74 module;
  75 #include "bar.h"
  76 export module f;
  77 export using ::foo;
  78
  79 //--- g.cpp
  80 import e;
  81 import f;
  82 void use() {
  83     foo(); // expected-error@* {{'foo' has different definitions in different modules;}}
  84            // expected-note@* {{but in 'e.<global>' found a different body}}
  85 }
  86
  87 //--- h.cppm
  88 export module h;
  89 export import a;
  90 export import b;
  91
  92 //--- i.cppm
  93 export module i;
  94 export import e;
  95 export import f;
  96
  97 //--- j.cpp
  98 import h;
  99 void use() {
 100     foo(); // expected-error@* {{'foo' has different definitions in different modules;}}
 101            // expected-note@* {{but in 'a' found a different body}}
 102 }
 103
 104 //--- k.cpp
 105 import i;
 106 void use() {
 107     foo(); // expected-error@* {{'foo' has different definitions in different modules;}}
 108            // expected-note@* {{but in 'e.<global>' found a different body}}
 109 }
 110