// RUN: %target-typecheck-verify-swift
// UNSUPPORTED: OS=windows-msvc
// In Android jmp_buf is int[16], which doesn't convert to &Int (SR-9136)
// XFAIL: OS=linux-androideabi
// XFAIL: OS=linux-android

#if os(macOS) || os(iOS) || os(tvOS) || os(watchOS)
  import Darwin
  typealias JumpBuffer = Int32
#elseif os(Linux) || os(FreeBSD) || os(PS4) || os(Android) || os(Cygwin) || os(Haiku)
  import Glibc
  typealias JumpBuffer = jmp_buf
#else
#error("Unsupported platform")
#endif

func test_unavailable_returns_twice_function() {
  var x: JumpBuffer
  _ = setjmp(&x) // expected-error {{'setjmp' is unavailable: Functions that may return more than one time (annotated with the 'returns_twice' attribute) are unavailable in Swift}}
}