[klee-dev] klee building problem

Wed May 29 10:44:44 BST 2013

Hello,

I am trying to install KLEE over LLVM 2.8. When I execute "make -j8
ENABLE_OPTIMIZED=1", I get the following errors: (at the end of the email
you can find the steps that I followed to install Klee)

fd_32.c:137: error: expected declaration specifiers before ‘ssize_t’
/usr/include/stdlib.h:765: error: expected declaration specifiers or ‘...’
before ‘__compar_d_fn_t’
/usr/include/stdlib.h:531: error: expected declaration specifiers before
‘__END_NAMESPACE_STD’
/usr/include/stdlib.h:540: error: expected declaration specifiers before
‘__BEGIN_NAMESPACE_STD’
fd_32.c:159: error: ‘__getdents’ defined both normally and as an alias
/usr/include/stdlib.h:552: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
fd_32.c:163: warning: ‘weak’ attribute ignored
/usr/include/stdlib.h:554: error: expected declaration specifiers before
‘__END_NAMESPACE_STD’
fd_32.c:164: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or ‘__attribute__’ before
‘{’ token
/usr/include/stdlib.h:561: error: expected declaration specifiers before
‘__END_NAMESPACE_C99’
fd_32.c:178: error: expected declaration specifiers before
‘off64_t’/usr/include/stdlib.h:568: error: expected declaration specifiers
before ‘__END_NAMESPACE_STD’

fd_32.c:179: error: expected declaration specifiers before ‘off64_t’
/usr/include/stdlib.h:579: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
fd_32.c:183: warning: ‘struct stat64’ declared inside parameter list
/usr/include/stdlib.h:586: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’fd_32.c:183: warning: ‘weak’ attribute
ignored

/usr/include/stdlib.h:589: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’fd_32.c:184: warning: ‘struct stat64’
declared inside parameter list

fd_32.c:184: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or ‘__attribute__’ before
‘{’ token
/usr/include/stdlib.h:596: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
fd_32.c:188: warning: ‘struct stat64’ declared inside parameter list
make[2]: ***
[/home/alex/Desktop/NEWKLEE/klee/runtime/POSIX/Release+Asserts/fd.ll] Error
1
/usr/include/stdlib.h:606: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’

/usr/include/stdlib.h:630: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’
/usr/include/stdlib.h:766: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’
/usr/include/stdlib.h:653: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’
/usr/include/stdlib.h:771: error: storage class specified for parameter
‘abs’
/usr/include/stdlib.h:663: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’/usr/include/stdlib.h:771: error: expected
‘,’ or ‘;’ before ‘__wur’

/usr/include/stdlib.h:772: error: storage class specified for parameter
‘labs’
/usr/include/stdlib.h:684: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’
/usr/include/stdlib.h:772: error: expected ‘,’ or ‘;’ before ‘__wur’
/usr/include/stdlib.h:773: error: expected declaration specifiers before
‘__END_NAMESPACE_STD’
/usr/include/stdlib.h:707: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’
/usr/include/stdlib.h:781: error: expected declaration specifiers before
‘__BEGIN_NAMESPACE_STD’
/usr/include/stdlib.h:712: error: expected declaration specifiers before
‘__BEGIN_NAMESPACE_STD’
/usr/include/stdlib.h:787: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘ldiv’
/usr/include/stdlib.h:718: error: expected declaration specifiers before
‘__END_NAMESPACE_STD’
/usr/include/stdlib.h:789: error: expected declaration specifiers before
‘__END_NAMESPACE_STD’
/usr/include/stdlib.h:796: error: expected declaration specifiers before
‘__END_NAMESPACE_C99’
/usr/include/stdlib.h:735: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/stdlib.h:742: error: storage class specified for parameter
‘__compar_fn_t’
/usr/include/stdlib.h:815: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’
/usr/include/stdlib.h:745: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘comparison_fn_t’
/usr/include/stdlib.h:821: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’
/usr/include/stdlib.h:749: error: storage class specified for parameter
‘__compar_d_fn_t’
/usr/include/stdlib.h:752: error: expected declaration specifiers before
‘__BEGIN_NAMESPACE_STD’/usr/include/stdlib.h:828: error: expected ‘=’, ‘,’,
‘;’, ‘asm’ or ‘__attribute__’ before ‘__nonnull’

/usr/include/stdlib.h:831: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’/usr/include/stdlib.h:761: error:
expected declaration specifiers or ‘...’ before ‘size_t’

/usr/include/stdlib.h:761: error: expected declaration specifiers or ‘...’
before ‘size_t’
/usr/include/stdlib.h:833: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’
/usr/include/stdlib.h:762: error: expected declaration specifiers or ‘...’
before ‘__compar_fn_t’
/usr/include/stdlib.h:762: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’
/usr/include/stdlib.h:840: error: expected declaration specifiers or ‘...’
before ‘size_t’
/usr/include/stdlib.h:764: error: expected declaration specifiers or ‘...’
before ‘size_t’
/usr/include/stdlib.h:840: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’
/usr/include/stdlib.h:764: error: expected declaration specifiers or ‘...’
before ‘size_t’
/usr/include/stdlib.h:765: error: expected declaration specifiers or ‘...’
before ‘__compar_d_fn_t’
/usr/include/stdlib.h:766: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’
/usr/include/stdlib.h:771: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/stdlib.h:772: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/stdlib.h:773: error: expected declaration specifiers before
‘__END_NAMESPACE_STD’
/usr/include/stdlib.h:781: error: expected declaration specifiers before
‘__BEGIN_NAMESPACE_STD’
/usr/include/stdlib.h:787: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘ldiv’
/usr/include/stdlib.h:789: error: expected declaration specifiers before
‘__END_NAMESPACE_STD’
/usr/include/stdlib.h:796: error: expected declaration specifiers before
‘__END_NAMESPACE_C99’
/usr/include/stdlib.h:815: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/stdlib.h:821: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/stdlib.h:828: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/stdlib.h:831: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/stdlib.h:833: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/stdlib.h:840: error: expected declaration specifiers or ‘...’
before ‘size_t’
/usr/include/stdlib.h:840: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/stdlib.h:843: error: expected declaration specifiers or ‘...’
before ‘size_t’
/usr/include/stdlib.h:843: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/stdlib.h:847: error: expected declaration specifiers or ‘...’
before ‘size_t’
/usr/include/stdlib.h:848: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/stdlib.h:851: error: expected declaration specifiers or ‘...’
before ‘size_t’
/usr/include/stdlib.h:852: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/stdlib.h:857: error: expected declaration specifiers before
‘__BEGIN_NAMESPACE_STD’
/usr/include/stdlib.h:863: error: expected ‘)’ before ‘*’ token
/usr/include/stdlib.h:867: error: expected declaration specifiers or ‘...’
before ‘wchar_t’
/usr/include/stdlib.h:867: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/stdlib.h:871: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘mbstowcs’
/usr/include/stdlib.h:874: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘wcstombs’
/usr/include/stdlib.h:877: error: expected declaration specifiers before
‘__END_NAMESPACE_STD’
/usr/include/stdlib.h:899: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/stdlib.h:905: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/stdlib.h:913: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__wur’
/usr/include/stdlib.h:921: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/stdlib.h:925: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/stdlib.h:930: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/stdlib.h:937: error: expected declaration specifiers or ‘...’
before ‘size_t’
/usr/include/stdlib.h:938: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/stdlib.h:941: error: storage class specified for parameter
‘getpt’
/usr/include/stdlib.h:949: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/stdlib.h:964: error: expected declaration specifiers before
‘__END_DECLS’
In file included from fd_init.c:18:
/usr/include/assert.h:79: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/assert.h:85: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/assert.h:88: error: expected declaration specifiers before
‘__END_DECLS’
fd_init.c:19:22: warning: sys/stat.h: No such file or directory
fd_init.c:20:25: warning: sys/syscall.h: No such file or directory
In file included from fd_init.c:21:
/usr/include/unistd.h:238: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘uid_t’
/usr/include/unistd.h:256: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘useconds_t’
/usr/include/unistd.h:261: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘pid_t’
/usr/include/unistd.h:275: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘socklen_t’
/usr/include/unistd.h:288: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/unistd.h:294: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/unistd.h:298: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/unistd.h:306: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/unistd.h:346: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘lseek64’
/usr/include/unistd.h:354: error: storage class specified for parameter
‘close’
/usr/include/unistd.h:361: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘read’
/usr/include/unistd.h:367: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘write’
/usr/include/unistd.h:405: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘pread64’fd_32.c:188: warning: ‘weak’ attribute
ignored
fd_32.c:189: warning: ‘struct stat64’ declared inside parameter list

/usr/include/unistd.h:409: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘pwrite64’fd_32.c:189: error: expected ‘=’, ‘,’,
‘;’, ‘asm’ or ‘__attribute__’ before ‘{’ token
fd_32.c:193: warning: ‘struct stat64’ declared inside parameter list
/usr/include/unistd.h:418: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
fd_32.c:193: warning: ‘weak’ attribute ignored
/usr/include/unistd.h:423: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
fd_32.c:194: warning: ‘struct stat64’ declared inside parameter list

/usr/include/unistd.h:433: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’fd_32.c:194: error: expected ‘=’, ‘,’, ‘;’,
‘asm’ or ‘__attribute__’ before ‘{’ token
fd_32.c:196: error: old-style parameter declarations in prototyped function
definition
/usr/include/unistd.h:445: error: storage class specified for parameter
‘sleep’
fd_32.c:196: error: expected ‘{’ at end of input
/usr/include/unistd.h:453: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘ualarm’
/usr/include/unistd.h:461: error: expected ‘)’ before ‘__useconds’
fd_32.c:196: warning: no return statement in function returning non-void
/usr/include/unistd.h:470: error: storage class specified for parameter
‘pause’

/usr/include/unistd.h:474: error: expected declaration specifiers or ‘...’
before ‘__uid_t’
/usr/include/unistd.h:474: error: expected declaration specifiers or ‘...’
before ‘__gid_t’
/usr/include/unistd.h:475: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/unistd.h:479: error: expected declaration specifiers or ‘...’
before ‘__uid_t’
/usr/include/unistd.h:479: error: expected declaration specifiers or ‘...’
before ‘__gid_t’
/usr/include/unistd.h:479: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/unistd.h:484: error: expected declaration specifiers or ‘...’
before ‘__uid_t’
/usr/include/unistd.h:484: error: expected declaration specifiers or ‘...’
before ‘__gid_t’
/usr/include/unistd.h:485: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/unistd.h:492: error: expected declaration specifiers or ‘...’
before ‘__uid_t’
/usr/include/unistd.h:493: error: expected declaration specifiers or ‘...’
before ‘__gid_t’
/usr/include/unistd.h:494: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/unistd.h:498: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/unistd.h:502: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/unistd.h:512: error: expected declaration specifiers or ‘...’
before ‘size_t’
/usr/include/unistd.h:512: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/unistd.h:518: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/unistd.h:527: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/unistd.h:532: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/unistd.h:535: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/unistd.h:540: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/unistd.h:544: error: storage class specified for parameter
‘__environ’
/usr/include/unistd.h:546: error: storage class specified for parameter
‘environ’
/usr/include/unistd.h:553: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/unistd.h:559: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/unistd.h:565: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/unistd.h:570: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/unistd.h:575: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/unistd.h:580: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/unistd.h:586: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/unistd.h:593: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/unistd.h:599: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/unistd.h:604: error: storage class specified for parameter
‘_exit’
/usr/include/unistd.h:614: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/unistd.h:617: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/unistd.h:620: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/unistd.h:624: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘confstr’
/usr/include/unistd.h:629: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘getpid’
/usr/include/unistd.h:632: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘getppid’
/usr/include/unistd.h:637: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘getpgrp’
/usr/include/unistd.h:647: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__getpgid’
/usr/include/unistd.h:649: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘getpgid’
/usr/include/unistd.h:656: error: expected ‘)’ before ‘__pid’
/usr/include/unistd.h:673: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/unistd.h:690: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘setsid’
/usr/include/unistd.h:694: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘getsid’
/usr/include/unistd.h:698: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘getuid’
/usr/include/unistd.h:701: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘geteuid’
/usr/include/unistd.h:704: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘getgid’
/usr/include/unistd.h:707: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘getegid’
/usr/include/unistd.h:712: error: expected declaration specifiers or ‘...’
before ‘__gid_t’
/usr/include/unistd.h:712: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/unistd.h:716: error: expected ‘)’ before ‘__gid’
/usr/include/unistd.h:723: error: expected ‘)’ before ‘__uid’
/usr/include/unistd.h:728: error: expected ‘)’ before ‘__ruid’
/usr/include/unistd.h:733: error: expected ‘)’ before ‘__uid’
/usr/include/unistd.h:740: error: expected ‘)’ before ‘__gid’
/usr/include/unistd.h:745: error: expected ‘)’ before ‘__rgid’
/usr/include/unistd.h:750: error: expected ‘)’ before ‘__gid’
/usr/include/unistd.h:756: error: expected ‘)’ before ‘*’ token
/usr/include/unistd.h:761: error: expected ‘)’ before ‘*’ token
/usr/include/unistd.h:766: error: expected ‘)’ before ‘__ruid’
/usr/include/unistd.h:771: error: expected ‘)’ before ‘__rgid’
/usr/include/unistd.h:779: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘fork’
/usr/include/unistd.h:787: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘vfork’
/usr/include/unistd.h:793: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/unistd.h:797: error: expected declaration specifiers or ‘...’
before ‘size_t’
/usr/include/unistd.h:798: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/stdlib.h:843: error: expected declaration specifiers or ‘...’
before ‘size_t’
/usr/include/unistd.h:802: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’/usr/include/stdlib.h:843: error: expected
‘=’, ‘,’, ‘;’, ‘asm’ or ‘__attribute__’ before ‘__nonnull’

make[2]: ***
[/home/alex/Desktop/NEWKLEE/klee/runtime/POSIX/Release+Asserts/fd_32.ll]
Error 1
/usr/include/stdlib.h:847: error: expected declaration specifiers or ‘...’
before ‘size_t’
/usr/include/unistd.h:808: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’/usr/include/stdlib.h:848: error: expected
‘=’, ‘,’, ‘;’, ‘asm’ or ‘__attribute__’ before ‘__nonnull’

/usr/include/unistd.h:814: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/stdlib.h:851: error: expected declaration specifiers or ‘...’
before ‘size_t’
/usr/include/stdlib.h:852: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’/usr/include/unistd.h:821: error:
expected ‘=’, ‘,’, ‘;’, ‘asm’ or ‘__attribute__’ before ‘__THROW’

/usr/include/stdlib.h:857: error: expected declaration specifiers before
‘__BEGIN_NAMESPACE_STD’
/usr/include/unistd.h:827: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/stdlib.h:863: error: expected ‘)’ before ‘*’ token
/usr/include/unistd.h:832: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘readlink’
/usr/include/stdlib.h:867: error: expected declaration specifiers or ‘...’
before ‘wchar_t’
/usr/include/unistd.h:840: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’/usr/include/stdlib.h:867: error: expected
‘=’, ‘,’, ‘;’, ‘asm’ or ‘__attribute__’ before ‘__wur’

/usr/include/unistd.h:843: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘readlinkat’/usr/include/stdlib.h:871: error:
expected ‘=’, ‘,’, ‘;’, ‘asm’ or ‘__attribute__’ before ‘mbstowcs’

/usr/include/stdlib.h:874: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘wcstombs’/usr/include/unistd.h:849: error: expected
‘=’, ‘,’, ‘;’, ‘asm’ or ‘__attribute__’ before ‘__THROW’

/usr/include/stdlib.h:877: error: expected declaration specifiers before
‘__END_NAMESPACE_STD’
/usr/include/unistd.h:854: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/unistd.h:858: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’/usr/include/stdlib.h:899: error: expected
‘=’, ‘,’, ‘;’, ‘asm’ or ‘__attribute__’ before ‘__nonnull’

/usr/include/unistd.h:862: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘tcgetpgrp’
/usr/include/stdlib.h:905: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’
/usr/include/unistd.h:865: error: expected declaration specifiers or ‘...’
before ‘__pid_t’
/usr/include/stdlib.h:913: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__wur’
/usr/include/unistd.h:865: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/stdlib.h:921: error: storage class specified for parameter
‘grantpt’
/usr/include/unistd.h:872: error: storage class specified for parameter
‘getlogin’
/usr/include/stdlib.h:925: error: storage class specified for parameter
‘unlockpt’
/usr/include/unistd.h:880: error: expected declaration specifiers or ‘...’
before ‘size_t’
/usr/include/stdlib.h:930: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__wur’
/usr/include/unistd.h:880: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’
/usr/include/stdlib.h:937: error: expected declaration specifiers or ‘...’
before ‘size_t’
/usr/include/unistd.h:885: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__THROW’
/usr/include/stdlib.h:938: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’
/usr/include/stdlib.h:941: error: storage class specified for parameter
‘getpt’
/usr/include/stdlib.h:949: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’
/usr/include/stdlib.h:964: error: expected declaration specifiers before
‘__END_DECLS’In file included from /usr/include/unistd.h:894,
                 from fd_init.c:21:
/usr/include/getopt.h:59: error: storage class specified for parameter
‘optarg’
/usr/include/getopt.h:73: error: storage class specified for parameter
‘optind’
/usr/include/getopt.h:78: error: storage class specified for parameter
‘opterr’
/usr/include/getopt.h:82: error: storage class specified for parameter
‘optopt’
/usr/include/getopt.h:153: error: storage class specified for parameter
‘getopt’
In file included from fd_init.c:21:
/usr/include/unistd.h:902: error: expected declaration specifiers or ‘...’
before ‘size_t’
/usr/include/unistd.h:902: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’
/usr/include/unistd.h:909: error: expected declaration specifiers or ‘...’
before ‘size_t’
/usr/include/unistd.h:910: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’
/usr/include/unistd.h:914: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__wur’
/usr/include/unistd.h:920: error: expected declaration specifiers or ‘...’
before ‘size_t’
/usr/include/unistd.h:921: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’
/usr/include/unistd.h:922: error: expected declaration specifiers or ‘...’
before ‘size_t’
/usr/include/unistd.h:923: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’
/usr/include/unistd.h:929: error: storage class specified for parameter
‘vhangup’
/usr/include/unistd.h:932: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’
/usr/include/unistd.h:940: error: expected declaration specifiers or ‘...’
before ‘size_t’
/usr/include/unistd.h:941: error: expected declaration specifiers or ‘...’
before ‘size_t’
/usr/include/unistd.h:942: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’
/usr/include/unistd.h:948: error: storage class specified for parameter
‘acct’
/usr/include/unistd.h:952: error: storage class specified for parameter
‘getusershell’
/usr/include/unistd.h:953: error: storage class specified for parameter
‘endusershell’
/usr/include/unistd.h:954: error: storage class specified for parameter
‘setusershell’
/usr/include/unistd.h:960: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__wur’
/usr/include/unistd.h:967: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’
/usr/include/unistd.h:971: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’
/usr/include/unistd.h:980: error: storage class specified for parameter
‘fsync’

/usr/include/unistd.h:987: error: storage class specified for parameter
‘syncfs’
/usr/include/unistd.h:994: error: storage class specified for parameter
‘gethostid’
/usr/include/unistd.h:997: error: storage class specified for parameter
‘sync’
/usr/include/unistd.h:1003: error: storage class specified for parameter
‘getpagesize’
In file included from
/home/alex/Desktop/NEWKLEE/klee/include/klee/klee.h:13,
                 from misc.c:15:
/usr/include/stdint.h:38: error: storage class specified for parameter
‘int16_t’
/usr/include/unistd.h:1008: error: storage class specified for parameter
‘getdtablesize’
/usr/include/stdint.h:39: error: storage class specified for parameter
‘int32_t’
/usr/include/stdint.h:43: error: expected declaration specifiers before
‘__extension__’/usr/include/unistd.h:1030: error: expected declaration
specifiers or ‘...’ before ‘__off64_t’

/usr/include/stdint.h:49: error: storage class specified for parameter
‘uint8_t’/usr/include/unistd.h:1031: error: expected ‘=’, ‘,’, ‘;’, ‘asm’
or ‘__attribute__’ before ‘__nonnull’
/usr/include/stdint.h:50: error: storage class specified for parameter
‘uint16_t’
/usr/include/stdint.h:52: error: storage class specified for parameter
‘uint32_t’
/usr/include/stdint.h:58: error: expected declaration specifiers before
‘__extension__’
/usr/include/stdint.h:66: error: storage class specified for parameter
‘int_least8_t’
/usr/include/stdint.h:67: error: storage class specified for parameter
‘int_least16_t’
/usr/include/stdint.h:68: error: storage class specified for parameter
‘int_least32_t’
/usr/include/stdint.h:72: error: expected declaration specifiers before
‘__extension__’
/usr/include/stdint.h:77: error: storage class specified for parameter
‘uint_least8_t’
/usr/include/stdint.h:78: error: storage class specified for parameter
‘uint_least16_t’
/usr/include/stdint.h:79: error: storage class specified for parameter
‘uint_least32_t’
/usr/include/stdint.h:83: error: expected declaration specifiers before
‘__extension__’
/usr/include/stdint.h:91: error: storage class specified for parameter
‘int_fast8_t’
/usr/include/stdint.h:97: error: storage class specified for parameter
‘int_fast16_t’
/usr/include/stdint.h:98: error: storage class specified for parameter
‘int_fast32_t’
/usr/include/stdint.h:99: error: expected declaration specifiers before
‘__extension__’
/usr/include/stdint.h:104: error: storage class specified for parameter
‘uint_fast8_t’
/usr/include/stdint.h:110: error: storage class specified for parameter
‘uint_fast16_t’
/usr/include/stdint.h:111: error: storage class specified for parameter
‘uint_fast32_t’
/usr/include/stdint.h:112: error: expected declaration specifiers before
‘__extension__’
/usr/include/stdint.h:129: error: storage class specified for parameter
‘uintptr_t’
/usr/include/stdint.h:138: error: expected declaration specifiers before
‘__extension__’
/usr/include/stdint.h:140: error: expected declaration specifiers before
‘__extension__’
In file included from
/home/alex/Desktop/NEWKLEE/klee/include/klee/klee.h:14,
                 from misc.c:15:
/home/alex/Desktop/NEWKLEE/llvm-gcc-4.2-2.8-i686-linux/bin/../lib/gcc/i686-pc-linux-gnu/4.2.1/include/stddef.h:152:
error: storage class specified for parameter ‘ptrdiff_t’
In file included from misc.c:15:
/home/alex/Desktop/NEWKLEE/klee/include/klee/klee.h:25: error: expected
declaration specifiers or ‘...’ before ‘size_t’
/home/alex/Desktop/NEWKLEE/klee/include/klee/klee.h:35: error: expected
declaration specifiers or ‘...’ before ‘size_t’
/home/alex/Desktop/NEWKLEE/klee/include/klee/klee.h:52: error: expected
declaration specifiers before ‘__attribute__’
/home/alex/Desktop/NEWKLEE/klee/include/klee/klee.h:56: error: expected
declaration specifiers before ‘__attribute__’
/home/alex/Desktop/NEWKLEE/klee/include/klee/klee.h:66: error: expected
declaration specifiers before ‘__attribute__’
/home/alex/Desktop/NEWKLEE/klee/include/klee/klee.h:73: error: expected
declaration specifiers before ‘size_t’
/home/alex/Desktop/NEWKLEE/klee/include/klee/klee.h:81: error: expected
declaration specifiers before ‘uintptr_t’
/home/alex/Desktop/NEWKLEE/klee/include/klee/klee.h:97: error: expected ‘)’
before ‘n’
/home/alex/Desktop/NEWKLEE/klee/include/klee/klee.h:103: error: expected
‘)’ before ‘condition’
/home/alex/Desktop/NEWKLEE/klee/include/klee/klee.h:106: error: expected
declaration specifiers or ‘...’ before ‘uintptr_t’
/home/alex/Desktop/NEWKLEE/klee/include/klee/klee.h:117: error: expected
declaration specifiers before ‘int32_t’
/home/alex/Desktop/NEWKLEE/klee/include/klee/klee.h:118: error: expected
declaration specifiers before ‘int64_t’
/home/alex/Desktop/NEWKLEE/klee/include/klee/klee.h:129: error: expected
declaration specifiers or ‘...’ before ‘size_t’
/home/alex/Desktop/NEWKLEE/klee/include/klee/klee.h:146: error: expected
declaration specifiers or ‘...’ before ‘size_t’
/home/alex/Desktop/NEWKLEE/klee/include/klee/klee.h:147: error: expected
declaration specifiers or ‘...’ before ‘size_t’
In file included from misc.c:16:
/usr/include/string.h:29: error: expected declaration specifiers before
‘__BEGIN_DECLS’
In file included from misc.c:16:
/usr/include/string.h:49: error: expected declaration specifiers or ‘...’
before ‘size_t’
/usr/include/string.h:50: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’
/usr/include/string.h:51: error: expected declaration specifiers before
‘__END_NAMESPACE_STD’
/usr/include/string.h:63: error: expected declaration specifiers before
‘__BEGIN_NAMESPACE_STD’
/usr/include/string.h:68: error: expected declaration specifiers or ‘...’
before ‘size_t’
/usr/include/string.h:69: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__attribute_pure__’
/usr/include/string.h:95: error: expected declaration specifiers or ‘...’
before ‘size_t’
/usr/include/string.h:96: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__attribute_pure__’
/usr/include/string.h:98: error: expected declaration specifiers before
‘__END_NAMESPACE_STD’
/usr/include/string.h:120: error: expected declaration specifiers or ‘...’
before ‘size_t’
/usr/include/string.h:121: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__attribute_pure__’
/usr/include/string.h:126: error: expected declaration specifiers before
‘__BEGIN_NAMESPACE_STD’
/usr/include/string.h:132: error: expected declaration specifiers or ‘...’
before ‘size_t’
/usr/include/string.h:133: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’
/usr/include/string.h:137: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’
/usr/include/string.h:140: error: expected declaration specifiers or ‘...’
before ‘size_t’
/usr/include/string.h:140: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’
/usr/include/string.h:144: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__attribute_pure__’
/usr/include/string.h:146: error: expected declaration specifiers or ‘...’
before ‘size_t’
/usr/include/string.h:147: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__attribute_pure__’
/usr/include/string.h:151: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__attribute_pure__’
/usr/include/string.h:153: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘strxfrm’
/usr/include/string.h:156: error: expected declaration specifiers before
‘__END_NAMESPACE_STD’
/usr/include/string.h:168: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘strxfrm_l’
/usr/include/string.h:176: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__attribute_malloc__’

/usr/include/string.h:183: error: expected declaration specifiers or ‘...’
before ‘size_t’
/usr/include/unistd.h:1050: error: expected declaration specifiers or ‘...’
before ‘__off64_t’
/usr/include/string.h:184: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__attribute_malloc__’
/usr/include/unistd.h:1050: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__wur’
/usr/include/unistd.h:1061: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__wur’
/usr/include/string.h:210: error: expected declaration specifiers before
‘__BEGIN_NAMESPACE_STD’
/usr/include/unistd.h:1067: error: expected ‘)’ before ‘__delta’
/usr/include/unistd.h:1082: error: storage class specified for parameter
‘syscall’
/usr/include/string.h:263: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__attribute_pure__’
/usr/include/string.h:265: error: expected declaration specifiers before
‘__END_NAMESPACE_STD’
/usr/include/unistd.h:1115: error: expected declaration specifiers or ‘...’
before ‘__off64_t’
/usr/include/unistd.h:1115: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__wur’
/usr/include/string.h:281: error: expected declaration specifiers before
‘__BEGIN_NAMESPACE_STD’
/usr/include/string.h:288: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘strspn’
/usr/include/unistd.h:1136: error: storage class specified for parameter
‘fdatasync’
/usr/include/unistd.h:1145: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’
/usr/include/string.h:315: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__attribute_pure__’
/usr/include/unistd.h:1149: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’
/usr/include/string.h:343: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__attribute_pure__’/usr/include/unistd.h:1157:
error: expected declaration specifiers or ‘...’ before ‘ssize_t’

/usr/include/unistd.h:1157: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’
/usr/include/string.h:349: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’
/usr/include/unistd.h:1165: error: storage class specified for parameter
‘ctermid’/usr/include/string.h:350: error: expected declaration specifiers
before ‘__END_NAMESPACE_STD’

/usr/include/unistd.h:1174: error: expected declaration specifiers before
‘__END_DECLS’
/usr/include/string.h:361: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’
fd_init.c:37: error: expected declaration specifiers before ‘exe_sym_env_t’
/usr/include/string.h:374: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__attribute_pure__’
fd_init.c:44: error: expected declaration specifiers before ‘;’ token
fd_init.c:46: error: expected ‘)’ before ‘*’
token/usr/include/string.h:382: error: expected declaration specifiers or
‘...’ before ‘size_t’

/usr/include/string.h:383: error: expected declaration specifiers or ‘...’
before ‘size_t’
/usr/include/string.h:384: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__attribute_pure__’
/usr/include/string.h:389: error: expected declaration specifiers or ‘...’
before ‘size_t’
/usr/include/string.h:390: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’
/usr/include/string.h:392: error: expected declaration specifiers or ‘...’
before ‘size_t’
/usr/include/string.h:393: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’
/usr/include/string.h:397: error: expected declaration specifiers before
‘__BEGIN_NAMESPACE_STD’
/usr/include/string.h:401: error: expected declaration specifiers before
‘__END_NAMESPACE_STD’
/usr/include/string.h:411: error: expected declaration specifiers before
‘__BEGIN_NAMESPACE_STD’
/usr/include/string.h:414: error: expected declaration specifiers before
‘__END_NAMESPACE_STD’
/usr/include/string.h:445: error: expected declaration specifiers or ‘...’
before ‘__locale_t’
/usr/include/string.h:445: error: storage class specified for parameter
‘strerror_l’
/usr/include/string.h:451: error: expected declaration specifiers or ‘...’
before ‘size_t’
/usr/include/string.h:451: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’
fd_init.c:97: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or ‘__attribute__’
before ‘{’ token
/usr/include/string.h:455: error: expected declaration specifiers or ‘...’
before ‘size_t’
fd_init.c:112: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or ‘__attribute__’
before ‘{’ token/usr/include/string.h:456: error: expected ‘=’, ‘,’, ‘;’,
‘asm’ or ‘__attribute__’ before ‘__nonnull’

/usr/include/string.h:459: error: expected declaration specifiers or ‘...’
before ‘size_t’
/usr/include/string.h:459: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’
/usr/include/string.h:462: error: expected declaration specifiers or ‘...’
before ‘size_t’
/usr/include/string.h:463: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__attribute_pure__’
/usr/include/string.h:490: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__attribute_pure__’
fd_init.c:161: error: old-style parameter declarations in prototyped
function definition
/usr/include/string.h:518: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__attribute_pure__’
fd_init.c:161: error: expected ‘{’ at end of input
/usr/include/string.h:523: error: storage class specified for parameter
‘ffs’
fd_init.c:161: warning: no return statement in function returning non-void
/usr/include/string.h:528: error: storage class specified for parameter
‘ffsl’
/usr/include/string.h:530: error: expected declaration specifiers before
‘__extension__’
/usr/include/string.h:537: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__attribute_pure__’
/usr/include/string.h:540: error: expected declaration specifiers or ‘...’
before ‘size_t’
/usr/include/string.h:541: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__attribute_pure__’
/usr/include/string.h:548: error: expected declaration specifiers or ‘...’
before ‘__locale_t’
/usr/include/string.h:549: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__attribute_pure__’
/usr/include/string.h:552: error: expected declaration specifiers or ‘...’
before ‘size_t’
/usr/include/string.h:552: error: expected declaration specifiers or ‘...’
before ‘__locale_t’
/usr/include/string.h:553: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__attribute_pure__’
/usr/include/string.h:561: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’
/usr/include/string.h:566: error: storage class specified for parameter
‘strsignal’
/usr/include/string.h:570: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’
/usr/include/string.h:572: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’
/usr/include/string.h:577: error: expected declaration specifiers or ‘...’
before ‘size_t’
/usr/include/string.h:578: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’
/usr/include/string.h:580: error: expected declaration specifiers or ‘...’
before ‘size_t’
/usr/include/string.h:581: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’
/usr/include/string.h:587: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__attribute_pure__’
/usr/include/string.h:590: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’
/usr/include/string.h:593: error: expected declaration specifiers or ‘...’
before ‘size_t’
/usr/include/string.h:593: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’
/usr/include/string.h:606: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or
‘__attribute__’ before ‘__nonnull’
/usr/include/string.h:646: error: expected declaration specifiers before
‘__END_DECLS’
misc.c:17: error: old-style parameter declarations in prototyped function
definition
make[2]: ***
[/home/alex/Desktop/NEWKLEE/klee/runtime/POSIX/Release+Asserts/fd_init.ll]
Error 1
make[2]: ***
[/home/alex/Desktop/NEWKLEE/klee/runtime/POSIX/Release+Asserts/misc.ll]
Error 1
make[2]: Leaving directory `/home/alex/Desktop/NEWKLEE/klee/runtime/POSIX'
make[1]: *** [POSIX/.makeall] Error 2
make[1]: Leaving directory `/home/alex/Desktop/NEWKLEE/klee/runtime'
make: *** [all] Error 1

I mention that I have followed the steps:
1. download LLVMGCC and set the variable path
if [ `uname -m` = "x86_64" ]; then
    export PATH=`pwd`/llvm-gcc4.2-2.8-x86_64-linux/bin/:$PATH
else
    export PATH=`pwd`/llvm-gcc-4.2-2.8-i686-linux/bin/:$PATH

2. llvm-2.8 install
+
export PATH=`pwd`/llvm-2.8/Release+Asserts/bin/:$PATH

3. STP 940
install +
export PATH=`pwd`/stp/install/bin/:$PATH

4. uClibc

5. Klee
svn -r 141267 co http://llvm.org/svn/llvm-project/klee/trunk klee
wget -c
http://keeda.stanford.edu/pipermail/klee-dev/attachments/20121007/6b3c595b/attachment-0001.obj
cd klee

./configure --with-llvm=`pwd`/../llvm-2.8 --with-stp=`pwd`/../stp/install
--with-uclibc=`pwd`/../klee-uclibc-0.02-$ARCH --enable-posix-runtime

make -j8 ENABLE_OPTIMIZED=1

here it crushes

Thank you in advance !
-------------- next part --------------
HTML attachment scrubbed and removed