safecode/runtime/SVA/PoolSystem.h

/*===- PoolSystem.h - Pool check runtime interface to the system ----------===*/
/*                                                                            */
/*                       The LLVM Compiler Infrastructure                     */
/*                                                                            */
/* This file was developed by the LLVM research group and is distributed      */
/* under the University of Illinois Open Source License. See LICENSE.TXT for  */
/* details.                                                                   */
/*                                                                            */
/*===----------------------------------------------------------------------===*/
/*                                                                            */
/*                                                                            */
/*===----------------------------------------------------------------------===*/

#ifndef POOLSYSTEM_RUNTIME_H
#define POOLSYSTEM_RUNTIME_H

#ifdef __cplusplus
extern "C" {
#endif
/**
 * Handler for printing messages
 **/
__attribute__((regparm(0))) int __sva_report(const char * fmt, ...)
  __attribute__ ((format (printf, 1, 2)));

  /* Functions that need to be provided by the pool allocation run-time */
  void poolcheckfail (const char * msg, int, void*) __attribute__ ((weak));
  void poolcheckfatal (const char * msg, int) __attribute__ ((weak));
  void poolcheckinfo (const char * msg, int) __attribute__ ((weak));
  void poolcheckinfo2 (const char * msg, int, int) __attribute__ ((weak));
  void * poolcheckmalloc (unsigned int size) __attribute__ ((weak));
  void printpoolinfo (void *Pool) __attribute__ ((weak));
  void poolcheckglobals ();
#ifdef __cplusplus
}
#endif

#endif