1 /*===-- putchar.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 #include <stdio.h>
11 #include <unistd.h>
12
13 /* Some header may #define putchar. */
14 #undef putchar
15
putchar(int c)16 int putchar(int c) {
17 char x = c;
18 if (1 == write(1, &x, 1))
19 return c;
20 return EOF;
21 }
22