text: # Copyright 2018 Adrien Guinet <adrien@guinet.me>
  # 
  # Licensed under the Apache License, Version 2.0 (the "License");
  # you may not use this file except in compliance with the License.
  # You may obtain a copy of the License at
  # 
  #     http://www.apache.org/licenses/LICENSE-2.0
  # 
  # Unless required by applicable law or agreed to in writing, software
  # distributed under the License is distributed on an "AS IS" BASIS,
  # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  # See the License for the specific language governing permissions and
  # limitations under the License.
  
  # RUN: "%python" "%s"
  import pydffi
  import sys
  
  def check(CU, name):
      try:
          getattr(CU.funcs,name)
          sys.exit(1)
      except pydffi.UnknownFunctionError: pass
  
  D = pydffi.FFI()
  CU = D.compile('''
  #include <stdio.h>
  #include <stdlib.h>
  __attribute__((noreturn)) void fatal(const char* err) {
      puts(err);
      exit(1);
  }
  ''')
  check(CU, "fatal")
  
  CU = D.cdef('''
  __attribute__((noreturn)) void fatal(const char* err);
  ''')
  check(CU, "fatal")
  