test/Preprocessor/pragma_microsoft.c

   1 // RUN: %clang_cc1 %s -fsyntax-only -verify -fms-extensions
   2 // RUN: not %clang_cc1 %s -fms-extensions -E | FileCheck %s
   3 // REQUIRES: non-ps4-sdk
   4
   5 // rdar://6495941
   6
   7 #define FOO 1
   8 #define BAR "2"
   9
  10 #pragma comment(linker,"foo=" FOO) // expected-error {{pragma comment requires parenthesized identifier and optional string}}
  11 // CHECK: #pragma comment(linker,"foo=" 1)
  12 #pragma comment(linker," bar=" BAR)
  13 // CHECK: #pragma comment(linker," bar=" "2")
  14
  15 #pragma comment( user, "Compiled on " __DATE__ " at " __TIME__ )
  16 // CHECK: {{#pragma comment\( user, \"Compiled on \".*\" at \".*\" \)}}
  17
  18 #pragma comment(foo)    // expected-error {{unknown kind of pragma comment}}
  19 // CHECK: #pragma comment(foo)
  20 #pragma comment(compiler,)     // expected-error {{expected string literal in pragma comment}}
  21 // CHECK: #pragma comment(compiler,)
  22 #define foo compiler
  23 #pragma comment(foo)   // macro expand kind.
  24 // CHECK: #pragma comment(compiler)
  25 #pragma comment(foo) x // expected-error {{pragma comment requires}}
  26 // CHECK: #pragma comment(compiler) x
  27
  28 #pragma comment(user, "foo\abar\nbaz\tsome      thing")
  29 // CHECK: #pragma comment(user, "foo\abar\nbaz\tsome    thing")
  30
  31 #pragma detect_mismatch("test", "1")
  32 // CHECK: #pragma detect_mismatch("test", "1")
  33 #pragma detect_mismatch()  // expected-error {{expected string literal in pragma detect_mismatch}}
  34 // CHECK: #pragma detect_mismatch()
  35 #pragma detect_mismatch("test") // expected-error {{pragma detect_mismatch is malformed; it requires two comma-separated string literals}}
  36 // CHECK: #pragma detect_mismatch("test")
  37 #pragma detect_mismatch("test", 1) // expected-error {{expected string literal in pragma detect_mismatch}}
  38 // CHECK: #pragma detect_mismatch("test", 1)
  39 #pragma detect_mismatch("test", BAR)
  40 // CHECK: #pragma detect_mismatch("test", "2")
  41
  42 // __pragma
  43
  44 __pragma(comment(linker," bar=" BAR))
  45 // CHECK: #pragma comment(linker," bar=" "2")
  46
  47 #define MACRO_WITH__PRAGMA { \
  48   __pragma(warning(push)); \
  49   __pragma(warning(disable: 10000)); \
  50   1 + (2 > 3) ? 4 : 5; \
  51   __pragma(warning(pop)); \
  52 }
  53
  54 void f()
  55 {
  56   __pragma()
  57 // CHECK: #pragma
  58
  59   // If we ever actually *support* __pragma(warning(disable: x)),
  60   // this warning should go away.
  61   MACRO_WITH__PRAGMA // expected-warning {{lower precedence}} \
  62                      // expected-note 2 {{place parentheses}}
  63 // CHECK: #pragma warning(push)
  64 // CHECK: #pragma warning(disable: 10000)
  65 // CHECK: ; 1 + (2 > 3) ? 4 : 5;
  66 // CHECK: #pragma warning(pop)
  67 }
  68
  69
  70 // This should include macro_arg_directive even though the include
  71 // is looking for test.h  This allows us to assign to "n"
  72 #pragma include_alias("test.h", "macro_arg_directive.h" )
  73 #include "test.h"
  74 void test( void ) {
  75   n = 12;
  76 }
  77
  78 #pragma include_alias(<bar.h>, "bar.h") // expected-warning {{angle-bracketed include <bar.h> cannot be aliased to double-quoted include "bar.h"}}
  79 #pragma include_alias("foo.h", <bar.h>) // expected-warning {{double-quoted include "foo.h" cannot be aliased to angle-bracketed include <bar.h>}}
  80 #pragma include_alias("test.h") // expected-warning {{pragma include_alias expected ','}}
  81
  82 // Make sure that the names match exactly for a replacement, including path information.  If
  83 // this were to fail, we would get a file not found error
  84 #pragma include_alias(".\pp-record.h", "does_not_exist.h")
  85 #include "pp-record.h"
  86
  87 #pragma include_alias(12) // expected-warning {{pragma include_alias expected include filename}}
  88
  89 // It's expected that we can map "bar" and <bar> separately
  90 #define test
  91 // We can't actually look up stdio.h because we're using cc1 without header paths, but this will ensure
  92 // that we get the right bar.h, because the "bar.h" will undef test for us, where <bar.h> won't
  93 #pragma include_alias(<bar.h>, <stdio.h>)
  94 #pragma include_alias("bar.h", "pr2086.h")  // This should #undef test
  95
  96 #include "bar.h"
  97 #if defined(test)
  98 // This should not warn because test should not be defined
  99 #pragma include_alias("test.h")
 100 #endif
 101
 102 // Test to make sure there are no use-after-free problems
 103 #define B "pp-record.h"
 104 #pragma include_alias("quux.h", B)
 105 void g() {}
 106 #include "quux.h"
 107
 108 // Make sure that empty includes don't work
 109 #pragma include_alias("", "foo.h")  // expected-error {{empty filename}}
 110 #pragma include_alias(<foo.h>, <>)  // expected-error {{empty filename}}
 111
 112 // Test that we ignore pragma warning.
 113 #pragma warning(push)
 114 // CHECK: #pragma warning(push)
 115 #pragma warning(push, 1)
 116 // CHECK: #pragma warning(push, 1)
 117 #pragma warning(disable : 4705)
 118 // CHECK: #pragma warning(disable: 4705)
 119 #pragma warning(disable : 123 456 789 ; error : 321)
 120 // CHECK: #pragma warning(disable: 123 456 789)
 121 // CHECK: #pragma warning(error: 321)
 122 #pragma warning(once : 321)
 123 // CHECK: #pragma warning(once: 321)
 124 #pragma warning(suppress : 321)
 125 // CHECK: #pragma warning(suppress: 321)
 126 #pragma warning(default : 321)
 127 // CHECK: #pragma warning(default: 321)
 128 #pragma warning(pop)
 129 // CHECK: #pragma warning(pop)
 130 #pragma warning(1: 123)
 131 // CHECK: #pragma warning(1: 123)
 132 #pragma warning(2: 234 567)
 133 // CHECK: #pragma warning(2: 234 567)
 134 #pragma warning(3: 123; 4: 678)
 135 // CHECK: #pragma warning(3: 123)
 136 // CHECK: #pragma warning(4: 678)
 137 #pragma warning(5: 123) // expected-warning {{expected 'push', 'pop', 'default', 'disable', 'error', 'once', 'suppress', 1, 2, 3, or 4}}
 138
 139 #pragma warning(push, 0)
 140 // CHECK: #pragma warning(push, 0)
 141 // FIXME: We could probably support pushing warning level 0.
 142 #pragma warning(pop)
 143 // CHECK: #pragma warning(pop)
 144
 145 #pragma warning  // expected-warning {{expected '('}}
 146 #pragma warning(   // expected-warning {{expected 'push', 'pop', 'default', 'disable', 'error', 'once', 'suppress', 1, 2, 3, or 4}}
 147 #pragma warning()   // expected-warning {{expected 'push', 'pop', 'default', 'disable', 'error', 'once', 'suppress', 1, 2, 3, or 4}}
 148 #pragma warning(push 4)  // expected-warning {{expected ')'}}
 149 // CHECK: #pragma warning(push)
 150 #pragma warning(push  // expected-warning {{expected ')'}}
 151 // CHECK: #pragma warning(push)
 152 #pragma warning(push, 5)  // expected-warning {{requires a level between 0 and 4}}
 153 #pragma warning(pop, 1)  // expected-warning {{expected ')'}}
 154 // CHECK: #pragma warning(pop)
 155 #pragma warning(push, 1) asdf // expected-warning {{extra tokens at end of #pragma warning directive}}
 156 // CHECK: #pragma warning(push, 1)
 157 #pragma warning(disable 4705) // expected-warning {{expected ':'}}
 158 #pragma warning(disable : 0) // expected-warning {{expected a warning number}}
 159 #pragma warning(default 321) // expected-warning {{expected ':'}}
 160 #pragma warning(asdf : 321) // expected-warning {{expected 'push', 'pop'}}
 161 #pragma warning(push, -1) // expected-warning {{requires a level between 0 and 4}}