[klee-dev] make reports ... strtol.c ( (and a few other files). :126: error: ‘ERANGE’ undeclared ...

[Kenneth Kron]

 If I run make -n I get the following build line for strtol.c

/opt/kkron/src/klee/llvm-gcc4.2-2.8-x86_64-linux/bin//llvm-gcc  -D_DEBUG
-D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -D__NO_INLINE__
-O3 -fomit-frame-pointer -fPIC -std=gnu89 -g -O2   -Wall -W
-Wno-unused-parameter -Wwrite-strings  -MMD -MP -MF
"/opt/src/klee/klee/runtime/klee-libc/Release+Asserts/strtol.bc.d.tmp" -MT
"/opt/src/klee/klee/runtime/klee-libc/Release+Asserts/strtol.ll" -MT
"/opt/src/klee/klee/runtime/klee-libc/Release+Asserts/strtol.bc.d" \
                              strtol.c -o
/opt/src/klee/klee/runtime/klee-libc/Release+Asserts/strtol.ll -S -emit-llvm
; \

Which results in:
strtol.c: In function ‘strtol’:
strtol.c:126: error: ‘ERANGE’ undeclared (first use in this function)
strtol.c:126: error: (Each undeclared identifier is reported only once
strtol.c:126: error: for each function it appears in.)
strtol.c:129: error: ‘EINVAL’ undeclared (first use in this function)
make[2]: ***
[/opt/src/klee/klee/runtime/klee-libc/Release+Asserts/strtol.ll] Error 1


OS:  Ubuntu 11.4
Compiler:/opt/src/klee/klee$ llvm-gcc --version
llvm-gcc (GCC) 4.2.1 (Based on Apple Inc. build 5658) (LLVM build 2.8)
Copyright (C) 2007 Free Software Foundation, Inc.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20110810/a7d9c587/attachment.html