// RUN: %clang_cc1 -triple arm64-apple-tvos12.0 -fsyntax-only -verify %s

void explicit(void) __attribute__((availability(tvos, introduced=11.0, deprecated=12.0))); // expected-note {{marked deprecated here}}
void inferred(void) __attribute__((availability(ios, introduced=11.0, deprecated=12.0))); // expected-note {{marked deprecated here}}
void explicitOverInferred(void)
__attribute__((availability(ios, introduced=11.0, deprecated=12.0)))
__attribute__((availability(tvos, introduced=11.0)));
void explicitOverInferred2(void)
__attribute__((availability(tvos, introduced=11.0)))
__attribute__((availability(ios, introduced=11.0, deprecated=12.0)));

void simpleUsage(void) {
  explicit(); // expected-warning{{'explicit' is deprecated: first deprecated in tvOS 12.0}}
  inferred(); // expected-warning{{'inferred' is deprecated: first deprecated in tvOS 12.0}}
  // ok, not deprecated for tvOS.
  explicitOverInferred();
  explicitOverInferred2();
}

#pragma clang attribute push (__attribute__((availability(tvos, introduced=11.0, deprecated=12.0))), apply_to=function)

void explicitFromPragma(void); // expected-note {{marked deprecated here}}
void explicitWinsOverExplicitFromPragma(void) __attribute__((availability(tvos, introduced=11.0)));
void implicitLosesOverExplicitFromPragma(void) __attribute__((availability(ios, introduced=11.0))); // expected-note {{marked deprecated here}}

#pragma clang attribute pop

#pragma clang attribute push (__attribute__((availability(ios, introduced=11.0, deprecated=12.0))), apply_to=function)

void implicitFromPragma(void); // expected-note {{marked deprecated here}}
void explicitWinsOverImplicitFromPragma(void) __attribute__((availability(tvos, introduced=11.0)));
void implicitWinsOverImplicitFromPragma(void) __attribute__((availability(ios, introduced=11.0)));

#pragma clang attribute pop

#pragma clang attribute push (__attribute__((availability(tvos, introduced=11.0, deprecated=12.0))), apply_to=function)
#pragma clang attribute push (__attribute__((availability(ios, introduced=11.0, deprecated=11.3))), apply_to=function)

void pragmaExplicitWinsOverPragmaImplicit(void); // expected-note {{marked deprecated here}}

#pragma clang attribute pop
#pragma clang attribute pop

void pragmaUsage(void) {
  explicitFromPragma(); // expected-warning {{'explicitFromPragma' is deprecated: first deprecated in tvOS 12.0}}
  explicitWinsOverExplicitFromPragma(); // ok
  implicitLosesOverExplicitFromPragma(); // expected-warning {{'implicitLosesOverExplicitFromPragma' is deprecated: first deprecated in tvOS 12.0}}

  implicitFromPragma(); // expected-warning {{'implicitFromPragma' is deprecated: first deprecated in tvOS 12.0}}
  explicitWinsOverImplicitFromPragma(); // ok
  implicitWinsOverImplicitFromPragma(); // ok
  pragmaExplicitWinsOverPragmaImplicit(); // expected-warning {{'pragmaExplicitWinsOverPragmaImplicit' is deprecated: first deprecated in tvOS 12.0}}
}