ErrorHandling.h

Go to the documentation of this file.

//===-- ErrorHandling.h -----------------------------------------*- C++ -*-===//
//
//                     The KLEE Symbolic Virtual Machine
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
 
#ifndef KLEE_ERRORHANDLING_H
#define KLEE_ERRORHANDLING_H
 
#ifdef __CYGWIN__
#ifndef WINDOWS
#define WINDOWS
#endif
#endif
 
#include <stdio.h>
 
namespace klee {
 
extern FILE *klee_warning_file;
extern FILE *klee_message_file;
 
void klee_error(const char *msg, ...)
    __attribute__((format(printf, 1, 2), noreturn));
 
void klee_message(const char *msg, ...) __attribute__((format(printf, 1, 2)));
 
void klee_message_to_file(const char *msg, ...)
    __attribute__((format(printf, 1, 2)));
 
void klee_warning(const char *msg, ...) __attribute__((format(printf, 1, 2)));
 
void klee_warning_once(const void *id, const char *msg, ...)
    __attribute__((format(printf, 2, 3)));
}
 
#endif /* KLEE_ERRORHANDLING_H */