klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
Common.h
Go to the documentation of this file.
1 //===-- Common.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_COMMON_H__
11 #define __KLEE_COMMON_H__
12 
13 #ifdef __CYGWIN__
14 #ifndef WINDOWS
15 #define WINDOWS
16 #endif
17 #endif
18 
19 #include <stdio.h>
20 
21 // XXX ugh
22 namespace klee {
23  class Solver;
24 
25  extern FILE* klee_warning_file;
26  extern FILE* klee_message_file;
27 
30  void klee_error(const char *msg, ...)
31  __attribute__ ((format (printf, 1, 2), noreturn));
32 
35  void klee_message(const char *msg, ...)
36  __attribute__ ((format (printf, 1, 2)));
37 
40  void klee_message_to_file(const char *msg, ...)
41  __attribute__ ((format (printf, 1, 2)));
42 
45  void klee_warning(const char *msg, ...)
46  __attribute__ ((format (printf, 1, 2)));
47 
51  void klee_warning_once(const void *id,
52  const char *msg, ...)
53  __attribute__ ((format (printf, 2, 3)));
54 }
55 
56 #endif /* __KLEE_COMMON_H__ */
void void void void klee_warning_once(const void *id, const char *msg,...) __attribute__((format(printf
Definition: Common.cpp:90
FILE * klee_message_file
Definition: Common.cpp:23
void klee_error(const char *msg,...) __attribute__((format(printf
Definition: Common.cpp:73
void void void klee_warning(const char *msg,...) __attribute__((format(printf
Definition: Common.cpp:81
void *__dso_handle __attribute__((__weak__))
void klee_message(const char *msg,...) __attribute__((format(printf
Definition: Common.cpp:58
void noreturn
Definition: Common.h:31
void void klee_message_to_file(const char *msg,...) __attribute__((format(printf
Definition: Common.cpp:66
FILE * klee_warning_file
Definition: Common.cpp:22