klee
ErrorHandling.h
Go to the documentation of this file.
1//===-- ErrorHandling.h -----------------------------------------*- C++ -*-===//
2//
3// The KLEE Symbolic Virtual Machine
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
10#ifndef KLEE_ERRORHANDLING_H
11#define KLEE_ERRORHANDLING_H
12
13#ifdef __CYGWIN__
14#ifndef WINDOWS
15#define WINDOWS
16#endif
17#endif
18
19#include <stdio.h>
20
21namespace klee {
22
23extern FILE *klee_warning_file;
24extern FILE *klee_message_file;
25
28void klee_error(const char *msg, ...)
29 __attribute__((format(printf, 1, 2), noreturn));
30
33void klee_message(const char *msg, ...) __attribute__((format(printf, 1, 2)));
34
37void klee_message_to_file(const char *msg, ...)
38 __attribute__((format(printf, 1, 2)));
39
42void klee_warning(const char *msg, ...) __attribute__((format(printf, 1, 2)));
43
47void klee_warning_once(const void *id, const char *msg, ...)
48 __attribute__((format(printf, 2, 3)));
49}
50
51#endif /* KLEE_ERRORHANDLING_H */
void *__dso_handle __attribute__((__weak__))
Definition: main.cpp:291
void noreturn
Definition: ErrorHandling.h:29
FILE * klee_warning_file
void klee_message(const char *msg,...) __attribute__((format(printf
void void klee_message_to_file(const char *msg,...) __attribute__((format(printf
void klee_error(const char *msg,...) __attribute__((format(printf
void void void void klee_warning_once(const void *id, const char *msg,...) __attribute__((format(printf
void void void klee_warning(const char *msg,...) __attribute__((format(printf
FILE * klee_message_file