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.
_______________________________________________
klee-dev mailing list
[email protected]
http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
