blob: 01d59f8f525395a2d6e15f03fd1a79cfc18bc1b8 [file] [log] [blame]
Alex Lorenz0a484ba2017-05-24 15:15:29 +00001// RUN: %clang_cc1 -fsyntax-only -Wunguarded-availability -Wno-unsupported-availability-guard -triple x86_64-apple-macosx10.10.0 -verify %s
Erik Pilkington29099de2016-07-16 00:35:23 +00002
3void f() {
4
5 if (@available(macos 10.12, *)) {}
6 else if (@available(macos 10.11, *)) {}
7 else {}
8
9 (void)__builtin_available(ios 8, macos 10.10, *);
10
11 (void)@available(macos 10.11); // expected-error{{must handle potential future platforms with '*'}}
12 (void)@available(macos 10.11, macos 10.11, *); // expected-error{{version for 'macos' already specified}}
13
14 (void)@available(erik_os 10.11, *); // expected-error{{unrecognized platform name erik_os}}
15
16 (void)@available(erik_os 10.10, hat_os 1.0, *); // expected-error 2 {{unrecognized platform name}}
17
Erik Pilkington29099de2016-07-16 00:35:23 +000018 (void)@available(); // expected-error{{expected a platform name here}}
19 (void)@available(macos 10.10,); // expected-error{{expected a platform name here}}
20 (void)@available(macos); // expected-error{{expected a version}}
21 (void)@available; // expected-error{{expected '('}}
22}
Alex Lorenz53b4b182017-04-12 11:03:25 +000023
Alex Lorenze1fb64e2017-05-09 15:34:46 +000024void prettyPlatformNames() {
25 (void)@available(iOS 8, tvOS 10, watchOS 3, macOS 10.11, *);
26 (void)__builtin_available(iOSApplicationExtension 8, tvOSApplicationExtension 10,
27 watchOSApplicationExtension 3, macOSApplicationExtension 10.11, *);
28}
29
Alex Lorenz53b4b182017-04-12 11:03:25 +000030#if __has_builtin(__builtin_available)
31#error expected
32// expected-error@-1 {{expected}}
33#endif