clang/test/Modules/config_macros.m

   1 // This test verifies that config macro warnings are emitted when it looks like
   2 // the user expected a `#define` to impact the import of a module.
   3
   4 // RUN: rm -rf %t
   5 // RUN: split-file %s %t
   6
   7 // Prebuild the `config` module so it's in the module cache.
   8 // RUN: %clang_cc1 -std=c99 -fmodules -fimplicit-module-maps -x objective-c -fmodules-cache-path=%t -DWANT_FOO=1 -emit-module -fmodule-name=config %t/module.modulemap
   9
  10 // Verify that each time the `config` module is imported the current macro state
  11 // is checked.
  12 // RUN: %clang_cc1 -std=c99 -fmodules -fimplicit-module-maps -fmodules-cache-path=%t -I %t -DWANT_FOO=1 %t/config.m -verify
  13
  14 // Verify that warnings are emitted before building a module in case the command
  15 // line macro state causes the module to fail to build.
  16 // RUN: %clang_cc1 -std=c99 -fmodules -fimplicit-module-maps -fmodules-cache-path=%t -I %t %t/config_error.m -verify
  17
  18 //--- module.modulemap
  19
  20 module config {
  21   header "config.h"
  22   config_macros [exhaustive] WANT_FOO, WANT_BAR
  23 }
  24
  25 module config_error {
  26   header "config_error.h"
  27   config_macros SOME_VALUE
  28 }
  29
  30 //--- config.h
  31
  32 #ifdef WANT_FOO
  33 int* foo(void);
  34 #endif
  35
  36 #ifdef WANT_BAR
  37 char *bar(void);
  38 #endif
  39
  40 //--- config_error.h
  41
  42 struct my_thing {
  43   char buf[SOME_VALUE];
  44 };
  45
  46 //--- config.m
  47
  48 @import config;
  49
  50 int *test_foo(void) {
  51   return foo();
  52 }
  53
  54 char *test_bar(void) {
  55   return bar(); // expected-error{{call to undeclared function 'bar'; ISO C99 and later do not support implicit function declarations}} \
  56                 // expected-error{{incompatible integer to pointer conversion}}
  57 }
  58
  59 #undef WANT_FOO // expected-note{{macro was #undef'd here}}
  60 @import config; // expected-warning{{#undef of configuration macro 'WANT_FOO' has no effect on the import of 'config'; pass '-UWANT_FOO' on the command line to configure the module}}
  61
  62 #define WANT_FOO 2 // expected-note{{macro was defined here}}
  63 @import config; // expected-warning{{definition of configuration macro 'WANT_FOO' has no effect on the import of 'config'; pass '-DWANT_FOO=...' on the command line to configure the module}}
  64
  65 #undef WANT_FOO
  66 #define WANT_FOO 1
  67 @import config; // okay
  68
  69 #define WANT_BAR 1 // expected-note{{macro was defined here}}
  70 @import config; // expected-warning{{definition of configuration macro 'WANT_BAR' has no effect on the import of 'config'; pass '-DWANT_BAR=...' on the command line to configure the module}}
  71
  72 //--- config_error.m
  73
  74 #define SOME_VALUE 5 // expected-note{{macro was defined here}}
  75 @import config_error; // expected-error{{could not build module}} \
  76                       // expected-warning{{definition of configuration macro 'SOME_VALUE' has no effect on the import of 'config_error';}}