1// RUN: %clang_cc1 %s -fsyntax-only -verify -fms-extensions -Wunknown-pragmas 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 54void f() 55{ 56 __pragma() // expected-warning{{unknown pragma ignored}} 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" 74void 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) 105void 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}} 162 163// Test that runtime_checks is parsed but ignored. 164#pragma runtime_checks("sc", restore) // no-warning 165