[klee-dev] coreutils on KLEE3.4
Zhiyi Zhang
xianlingzibiying at gmail.com
Wed Mar 18 08:17:53 GMT 2015
Hi all,
I have built the KLEE3.4 on Ubuntu14.10 and the Tutorial get_sign and
Regexp can also be run by KLEE3.4. I used clang to compile programs and run
.bc file on KLEE. However, when I built the coreutils on KLEE3.4 and make
obj-llvm with *makeCC=/full/path/to/klee/scripts/klee-gcc*,it reports some
errors. The errors are in enclosed in the attachment.
I have added the path of sys/cdefs.h in makefile, but the errors are the
same. *So what can I do to solve these problems? Or the coreutils could
only work on KLEE2.9?*
Thank you very much.
Zhiyi Zhang
-------------- next part --------------
HTML attachment scrubbed and removed
-------------- next part --------------
In file included from /usr/include/stdio.h:27,
from ./stdio.h:30,
from ../../lib/areadlink-with-size.c:25:
/usr/include/features.h:374:25: error: sys/cdefs.h: No such file or directory
/usr/include/features.h:398:23: error: gnu/stubs.h: No such file or directory
In file included from ./stdio.h:30,
from ../../lib/areadlink-with-size.c:25:
/usr/include/stdio.h:35:25: error: bits/types.h: No such file or directory
In file included from ./stdio.h:30,
from ../../lib/areadlink-with-size.c:25:
/usr/include/stdio.h:44: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'struct'
/usr/include/stdio.h:48: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'typedef'
/usr/include/stdio.h:53: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__USING_NAMESPACE_STD'
In file included from /usr/include/libio.h:31,
from /usr/include/stdio.h:74,
from ./stdio.h:30,
from ../../lib/areadlink-with-size.c:25:
/usr/include/_G_config.h:23: error: expected specifier-qualifier-list before '__off_t'
/usr/include/_G_config.h:28: error: expected specifier-qualifier-list before '__off64_t'
In file included from /usr/include/stdio.h:74,
from ./stdio.h:30,
from ../../lib/areadlink-with-size.c:25:
/usr/include/libio.h:274: error: expected specifier-qualifier-list before '__off_t'
/usr/include/libio.h:338: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__io_read_fn'
/usr/include/libio.h:346: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__io_write_fn'
/usr/include/libio.h:355: error: expected declaration specifiers or '...' before '__off64_t'
/usr/include/libio.h:363: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'cookie_read_function_t'
/usr/include/libio.h:364: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'cookie_write_function_t'
/usr/include/libio.h:371: error: expected specifier-qualifier-list before '__io_read_fn'
/usr/include/libio.h: In function '_IO_feof':
/usr/include/libio.h:436: error: expected declaration specifiers before '__THROW'
/usr/include/libio.h:437: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/libio.h:439: error: storage class specified for parameter '_IO_peekc_locked'
/usr/include/libio.h:445: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/libio.h:446: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/libio.h:447: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/libio.h:465: error: storage class specified for parameter '_IO_vfscanf'
/usr/include/libio.h:467: error: storage class specified for parameter '_IO_vfprintf'
/usr/include/libio.h:468: error: expected '=', ',', ';', 'asm' or '__attribute__' before '_IO_padn'
/usr/include/libio.h:469: error: storage class specified for parameter '_IO_sgetn'
/usr/include/libio.h:471: error: expected '=', ',', ';', 'asm' or '__attribute__' before '_IO_seekoff'
/usr/include/libio.h:472: error: expected '=', ',', ';', 'asm' or '__attribute__' before '_IO_seekpos'
/usr/include/libio.h:474: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
In file included from ./stdio.h:30,
from ../../lib/areadlink-with-size.c:25:
/usr/include/stdio.h:79: error: storage class specified for parameter 'va_list'
/usr/include/stdio.h:92: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'off_t'
/usr/include/stdio.h:97: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'off64_t'
/usr/include/stdio.h:102: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'ssize_t'
/usr/include/stdio.h:108: error: expected declaration specifiers before '__BEGIN_NAMESPACE_STD'
/usr/include/stdio.h:114: error: expected declaration specifiers before '__END_NAMESPACE_STD'
/usr/include/stdio.h:164:28: error: bits/stdio_lim.h: No such file or directory
/usr/include/stdio.h:168: error: storage class specified for parameter 'stdin'
/usr/include/stdio.h:169: error: storage class specified for parameter 'stdout'
/usr/include/stdio.h:170: error: storage class specified for parameter 'stderr'
/usr/include/stdio.h:176: error: expected declaration specifiers before '__BEGIN_NAMESPACE_STD'
/usr/include/stdio.h:180: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdio.h:181: error: expected declaration specifiers before '__END_NAMESPACE_STD'
/usr/include/stdio.h:189: error: expected declaration specifiers before '__BEGIN_NAMESPACE_STD'
/usr/include/stdio.h:209: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdio.h:210: error: expected declaration specifiers before '__END_NAMESPACE_STD'
/usr/include/stdio.h:228: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdio.h:232: error: expected declaration specifiers before '__BEGIN_NAMESPACE_STD'
/usr/include/stdio.h:242: error: expected ')' before '*' token
/usr/include/stdio.h:243: error: expected declaration specifiers before '__END_NAMESPACE_STD'
/usr/include/stdio.h:262: error: storage class specified for parameter 'fcloseall'
/usr/include/stdio.h:266: error: expected declaration specifiers before '__BEGIN_NAMESPACE_STD'
/usr/include/stdio.h:299: error: expected '=', ',', ';', 'asm' or '__attribute__' before '*' token
/usr/include/stdio.h:306: error: expected '=', ',', ';', 'asm' or '__attribute__' before '*' token
/usr/include/stdio.h:312: error: expected '=', ',', ';', 'asm' or '__attribute__' before '*' token
/usr/include/stdio.h:319: error: expected '=', ',', ';', 'asm' or '__attribute__' before '*' token
/usr/include/stdio.h:325: error: expected '=', ',', ';', 'asm' or '__attribute__' before '*' token
/usr/include/stdio.h:329: error: expected declaration specifiers before '__BEGIN_NAMESPACE_STD'
/usr/include/stdio.h:336: error: expected ')' before '*' token
/usr/include/stdio.h:338: error: expected declaration specifiers before '__END_NAMESPACE_STD'
/usr/include/stdio.h:347: error: expected ')' before '*' token
/usr/include/stdio.h:351: error: expected declaration specifiers before '__BEGIN_NAMESPACE_STD'
/usr/include/stdio.h:362: error: storage class specified for parameter 'printf'
/usr/include/stdio.h:365: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROWNL'
/usr/include/stdio.h:371: error: expected ')' before '*' token
/usr/include/stdio.h:377: error: storage class specified for parameter 'vprintf'
/usr/include/stdio.h:380: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROWNL'
/usr/include/stdio.h:381: error: expected declaration specifiers before '__END_NAMESPACE_STD'
/usr/include/stdio.h:392: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROWNL'
/usr/include/stdio.h:393: error: expected declaration specifiers before '__END_NAMESPACE_C99'
/usr/include/stdio.h:404: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROWNL'
/usr/include/stdio.h:407: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROWNL'
/usr/include/stdio.h:414: error: storage class specified for parameter 'vdprintf'
/usr/include/stdio.h:416: error: storage class specified for parameter 'dprintf'
/usr/include/stdio.h:420: error: expected declaration specifiers before '__BEGIN_NAMESPACE_STD'
/usr/include/stdio.h:431: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__wur'
/usr/include/stdio.h:434: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdio.h:463: error: expected declaration specifiers before '__END_NAMESPACE_STD'
/usr/include/stdio.h:480: error: storage class specified for parameter 'vscanf'
/usr/include/stdio.h:480: error: expected ',' or ';' before '__wur'
/usr/include/stdio.h:485: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdio.h:522: error: expected declaration specifiers before '__END_NAMESPACE_C99'
/usr/include/stdio.h:532: error: expected ')' before '*' token
/usr/include/stdio.h:538: error: storage class specified for parameter 'getchar'
/usr/include/stdio.h:539: error: expected declaration specifiers before '__END_NAMESPACE_STD'
/usr/include/stdio.h:551: error: storage class specified for parameter 'getchar_unlocked'
/usr/include/stdio.h:561: error: expected ')' before '*' token
/usr/include/stdio.h:565: error: expected declaration specifiers before '__BEGIN_NAMESPACE_STD'
/usr/include/stdio.h:574: error: expected declaration specifiers or '...' before 'FILE'
/usr/include/stdio.h:574: error: storage class specified for parameter 'putc'
/usr/include/stdio.h:580: error: storage class specified for parameter 'putchar'
/usr/include/stdio.h:581: error: expected declaration specifiers before '__END_NAMESPACE_STD'
/usr/include/stdio.h:602: error: expected declaration specifiers or '...' before 'FILE'
/usr/include/stdio.h:602: error: storage class specified for parameter 'putc_unlocked'
/usr/include/stdio.h:603: error: storage class specified for parameter 'putchar_unlocked'
/usr/include/stdio.h:610: error: expected ')' before '*' token
/usr/include/stdio.h:613: error: expected declaration specifiers or '...' before 'FILE'
/usr/include/stdio.h:613: error: storage class specified for parameter 'putw'
/usr/include/stdio.h:617: error: expected declaration specifiers before '__BEGIN_NAMESPACE_STD'
/usr/include/stdio.h:640: error: expected declaration specifiers before '__END_NAMESPACE_STD'
/usr/include/stdio.h:665: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__getdelim'
/usr/include/stdio.h:668: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'getdelim'
/usr/include/stdio.h:678: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'getline'
/usr/include/stdio.h:684: error: expected declaration specifiers before '__BEGIN_NAMESPACE_STD'
/usr/include/stdio.h:695: error: storage class specified for parameter 'puts'
/usr/include/stdio.h:702: error: expected declaration specifiers or '...' before 'FILE'
/usr/include/stdio.h:702: error: storage class specified for parameter 'ungetc'
/usr/include/stdio.h:710: error: expected declaration specifiers or '...' before 'FILE'
/usr/include/stdio.h:710: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__wur'
/usr/include/stdio.h:716: error: expected declaration specifiers or '...' before 'FILE'
/usr/include/stdio.h:716: error: storage class specified for parameter 'fwrite'
/usr/include/stdio.h:717: error: expected declaration specifiers before '__END_NAMESPACE_STD'
/usr/include/stdio.h:738: error: expected declaration specifiers or '...' before 'FILE'
/usr/include/stdio.h:738: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__wur'
/usr/include/stdio.h:740: error: expected declaration specifiers or '...' before 'FILE'
/usr/include/stdio.h:740: error: storage class specified for parameter 'fwrite_unlocked'
/usr/include/stdio.h:744: error: expected declaration specifiers before '__BEGIN_NAMESPACE_STD'
/usr/include/stdio.h:754: error: expected ')' before '*' token
/usr/include/stdio.h:759: error: expected ')' before '*' token
/usr/include/stdio.h:760: error: expected declaration specifiers before '__END_NAMESPACE_STD'
/usr/include/stdio.h:819: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'ftello64'
/usr/include/stdio.h:820: error: expected ')' before '*' token
/usr/include/stdio.h:821: error: expected ')' before '*' token
/usr/include/stdio.h:824: error: expected declaration specifiers before '__BEGIN_NAMESPACE_STD'
/usr/include/stdio.h:828: error: expected ')' before '*' token
/usr/include/stdio.h:830: error: expected ')' before '*' token
/usr/include/stdio.h:831: error: expected declaration specifiers before '__END_NAMESPACE_STD'
/usr/include/stdio.h:836: error: expected ')' before '*' token
/usr/include/stdio.h:837: error: expected ')' before '*' token
/usr/include/stdio.h:841: error: expected declaration specifiers before '__BEGIN_NAMESPACE_STD'
/usr/include/stdio.h:847: error: expected declaration specifiers before '__END_NAMESPACE_STD'
/usr/include/stdio.h:853:30: error: bits/sys_errlist.h: No such file or directory
/usr/include/stdio.h:863: error: expected ')' before '*' token
/usr/include/stdio.h:873: error: expected '=', ',', ';', 'asm' or '__attribute__' before '*' token
/usr/include/stdio.h:879: error: expected ')' before '*' token
/usr/include/stdio.h:885: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdio.h:891: error: storage class specified for parameter 'cuserid'
/usr/include/stdio.h:901: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROWNL'
/usr/include/stdio.h:905: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROWNL'
/usr/include/stdio.h:913: error: expected ')' before '*' token
/usr/include/stdio.h:917: error: expected ')' before '*' token
/usr/include/stdio.h:920: error: expected ')' before '*' token
/usr/include/stdio.h:943: error: expected declaration specifiers before '__END_DECLS'
In file included from ../../lib/areadlink-with-size.c:25:
./stdio.h:152: error: expected declaration specifiers or '...' before 'va_list'
./stdio.h:153: error: storage class specified for parameter 'rpl_vprintf'
./stdio.h:237: error: storage class specified for parameter 'rpl_asprintf'
./stdio.h:238: error: expected declaration specifiers or '...' before 'va_list'
./stdio.h:239: error: storage class specified for parameter 'rpl_vasprintf'
In file included from ../../lib/areadlink-with-size.c:26:
/usr/include/errno.h:31: error: expected declaration specifiers before '__BEGIN_DECLS'
In file included from ../../lib/areadlink-with-size.c:26:
/usr/include/errno.h:35:24: error: bits/errno.h: No such file or directory
/usr/include/errno.h:54: error: storage class specified for parameter 'program_invocation_name'
/usr/include/errno.h:54: error: storage class specified for parameter 'program_invocation_short_name'
/usr/include/errno.h:58: error: expected declaration specifiers before '__END_DECLS'
In file included from /home/loveling10/klee-2.9/llvm-gcc/bin/../lib/gcc/i686-pc-linux-gnu/4.2.1/include/limits.h:15,
from ../../lib/areadlink-with-size.c:27:
/usr/include/limits.h:143:30: error: bits/posix1_lim.h: No such file or directory
/usr/include/limits.h:147:30: error: bits/posix2_lim.h: No such file or directory
/usr/include/limits.h:151:29: error: bits/xopen_lim.h: No such file or directory
../../lib/areadlink-with-size.c:28:23: error: sys/types.h: No such file or directory
In file included from ./stdlib.h:30,
from ../../lib/areadlink-with-size.c:29:
/usr/include/stdlib.h:34: error: expected declaration specifiers before '__BEGIN_DECLS'
In file included from ./stdlib.h:30,
from ../../lib/areadlink-with-size.c:29:
/usr/include/stdlib.h:41:29: error: bits/waitflags.h: No such file or directory
/usr/include/stdlib.h:42:30: error: bits/waitstatus.h: No such file or directory
/usr/include/stdlib.h:71: error: expected declaration specifiers before '__WAIT_STATUS'
/usr/include/stdlib.h:95: error: expected declaration specifiers before '__BEGIN_NAMESPACE_STD'
/usr/include/stdlib.h:101: error: expected declaration specifiers before 'div_t'
/usr/include/stdlib.h:109: error: storage class specified for parameter 'ldiv_t'
/usr/include/stdlib.h:112: error: expected declaration specifiers before '__END_NAMESPACE_STD'
/usr/include/stdlib.h:121: error: expected declaration specifiers before 'lldiv_t'
/usr/include/stdlib.h:123: error: expected declaration specifiers before '__END_NAMESPACE_C99'
/usr/include/stdlib.h:142: error: expected declaration specifiers before '__BEGIN_NAMESPACE_STD'
/usr/include/stdlib.h:148: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:151: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:152: error: expected declaration specifiers before '__END_NAMESPACE_STD'
/usr/include/stdlib.h:159: error: expected declaration specifiers before '__END_NAMESPACE_C99'
/usr/include/stdlib.h:167: error: expected declaration specifiers before '__END_NAMESPACE_STD'
/usr/include/stdlib.h:177: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:178: error: expected declaration specifiers before '__END_NAMESPACE_C99'
/usr/include/stdlib.h:189: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:190: error: expected declaration specifiers before '__END_NAMESPACE_STD'
/usr/include/stdlib.h:199: error: expected declaration specifiers before '__extension__'
/usr/include/stdlib.h:206: error: expected declaration specifiers before '__BEGIN_NAMESPACE_C99'
/usr/include/stdlib.h:213: error: expected declaration specifiers before '__extension__'
/usr/include/stdlib.h:217: error: expected declaration specifiers before '__END_NAMESPACE_C99'
In file included from /usr/include/stdlib.h:235,
from ./stdlib.h:30,
from ../../lib/areadlink-with-size.c:29:
/usr/include/xlocale.h:39: error: expected declaration specifiers before '*' token
/usr/include/xlocale.h:42: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'locale_t'
In file included from ./stdlib.h:30,
from ../../lib/areadlink-with-size.c:29:
/usr/include/stdlib.h:241: error: expected declaration specifiers or '...' before '__locale_t'
/usr/include/stdlib.h:241: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:245: error: expected declaration specifiers or '...' before '__locale_t'
/usr/include/stdlib.h:246: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:248: error: expected declaration specifiers before '__extension__'
/usr/include/stdlib.h:254: error: expected declaration specifiers before '__extension__'
/usr/include/stdlib.h:261: error: expected declaration specifiers or '...' before '__locale_t'
/usr/include/stdlib.h:262: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:265: error: expected declaration specifiers or '...' before '__locale_t'
/usr/include/stdlib.h:266: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:270: error: expected declaration specifiers or '...' before '__locale_t'
/usr/include/stdlib.h:271: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:305: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:309: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:321: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:324: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:331: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:335: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:345: error: expected specifier-qualifier-list before 'int32_t'
/usr/include/stdlib.h:355: error: expected declaration specifiers or '...' before 'int32_t'
/usr/include/stdlib.h:355: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:358: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:363: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:367: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:372: error: expected declaration specifiers before '__BEGIN_NAMESPACE_STD'
/usr/include/stdlib.h:376: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:377: error: expected declaration specifiers before '__END_NAMESPACE_STD'
/usr/include/stdlib.h:389: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:390: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:393: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:395: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:398: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:400: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:403: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:405: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:406: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:424: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:427: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:432: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:436: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:441: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:445: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:449: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:452: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:456: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:464: error: expected declaration specifiers before '__BEGIN_NAMESPACE_STD'
/usr/include/stdlib.h:469: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:470: error: expected declaration specifiers before '__END_NAMESPACE_STD'
/usr/include/stdlib.h:483: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:484: error: expected declaration specifiers before '__END_NAMESPACE_STD'
In file included from ./stdlib.h:30,
from ../../lib/areadlink-with-size.c:29:
/usr/include/stdlib.h:498: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:504: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:510: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:513: error: expected declaration specifiers before '__BEGIN_NAMESPACE_STD'
/usr/include/stdlib.h:519: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:527: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:530: error: expected declaration specifiers before '__END_NAMESPACE_STD'
/usr/include/stdlib.h:539: error: expected declaration specifiers before '__BEGIN_NAMESPACE_STD'
/usr/include/stdlib.h:549: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:551: error: expected declaration specifiers before '__END_NAMESPACE_STD'
/usr/include/stdlib.h:558: error: expected declaration specifiers before '__END_NAMESPACE_C99'
/usr/include/stdlib.h:565: error: expected declaration specifiers before '__END_NAMESPACE_STD'
/usr/include/stdlib.h:578: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:585: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:588: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:595: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/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:653: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__nonnull'
/usr/include/stdlib.h:663: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:684: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__nonnull'
/usr/include/stdlib.h:707: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__nonnull'
/usr/include/stdlib.h:712: error: expected declaration specifiers before '__BEGIN_NAMESPACE_STD'
/usr/include/stdlib.h:718: error: expected declaration specifiers before '__END_NAMESPACE_STD'
/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:745: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'comparison_fn_t'
/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:766: error: expected declaration specifiers or '...' before '__compar_fn_t'
/usr/include/stdlib.h:766: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__nonnull'
/usr/include/stdlib.h:769: error: expected declaration specifiers or '...' before '__compar_d_fn_t'
/usr/include/stdlib.h:770: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__nonnull'
/usr/include/stdlib.h:775: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:776: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:777: error: expected declaration specifiers before '__END_NAMESPACE_STD'
/usr/include/stdlib.h:785: error: expected declaration specifiers before '__BEGIN_NAMESPACE_STD'
/usr/include/stdlib.h:791: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'ldiv'
/usr/include/stdlib.h:793: error: expected declaration specifiers before '__END_NAMESPACE_STD'
/usr/include/stdlib.h:800: error: expected declaration specifiers before '__END_NAMESPACE_C99'
/usr/include/stdlib.h:819: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:825: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:832: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:835: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:837: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:844: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:847: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:852: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:856: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:860: error: expected declaration specifiers before '__BEGIN_NAMESPACE_STD'
/usr/include/stdlib.h:867: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:870: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:875: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:879: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:880: error: expected declaration specifiers before '__END_NAMESPACE_STD'
/usr/include/stdlib.h:902: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:908: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:916: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__wur'
/usr/include/stdlib.h:924: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:928: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:933: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:941: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:944: error: storage class specified for parameter 'getpt'
/usr/include/stdlib.h:952: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/stdlib.h:955:31: error: bits/stdlib-float.h: No such file or directory
/usr/include/stdlib.h:968: error: expected declaration specifiers before '__END_DECLS'
In file included from ./unistd.h:22,
from ./stdlib.h:188,
from ../../lib/areadlink-with-size.c:29:
/usr/include/unistd.h:202:28: error: bits/posix_opt.h: No such file or directory
/usr/include/unistd.h:206:32: error: bits/environments.h: No such file or directory
In file included from ./unistd.h:22,
from ./stdlib.h:188,
from ../../lib/areadlink-with-size.c:29:
/usr/include/unistd.h:237: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'uid_t'
/usr/include/unistd.h:255: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'useconds_t'
/usr/include/unistd.h:260: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'pid_t'
/usr/include/unistd.h:267: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'intptr_t'
/usr/include/unistd.h:274: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'socklen_t'
/usr/include/unistd.h:287: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:293: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:297: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:305: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:345: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'lseek64'
/usr/include/unistd.h:353: error: storage class specified for parameter 'close'
/usr/include/unistd.h:360: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'read'
/usr/include/unistd.h:366: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'write'
/usr/include/unistd.h:404: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'pread64'
/usr/include/unistd.h:408: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'pwrite64'
/usr/include/unistd.h:417: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:422: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:432: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:444: error: storage class specified for parameter 'sleep'
/usr/include/unistd.h:452: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'ualarm'
/usr/include/unistd.h:460: error: expected ')' before '__useconds'
/usr/include/unistd.h:469: error: storage class specified for parameter 'pause'
/usr/include/unistd.h:473: error: expected declaration specifiers or '...' before '__uid_t'
/usr/include/unistd.h:473: error: expected declaration specifiers or '...' before '__gid_t'
/usr/include/unistd.h:474: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:478: error: expected declaration specifiers or '...' before '__uid_t'
/usr/include/unistd.h:478: error: expected declaration specifiers or '...' before '__gid_t'
/usr/include/unistd.h:478: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:483: error: expected declaration specifiers or '...' before '__uid_t'
/usr/include/unistd.h:483: error: expected declaration specifiers or '...' before '__gid_t'
/usr/include/unistd.h:484: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:491: error: expected declaration specifiers or '...' before '__uid_t'
/usr/include/unistd.h:492: error: expected declaration specifiers or '...' before '__gid_t'
/usr/include/unistd.h:493: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:497: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:501: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:511: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:517: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:526: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:531: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:534: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:539: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:543: error: storage class specified for parameter '__environ'
/usr/include/unistd.h:545: error: storage class specified for parameter 'environ'
/usr/include/unistd.h:552: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:558: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:564: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:569: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:574: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:579: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:585: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:592: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:598: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:603: error: storage class specified for parameter '_exit'
/usr/include/unistd.h:609:27: error: bits/confname.h: No such file or directory
/usr/include/unistd.h:613: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:616: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:619: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:623: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:628: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'getpid'
/usr/include/unistd.h:631: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'getppid'
/usr/include/unistd.h:634: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'getpgrp'
/usr/include/unistd.h:637: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__getpgid'
/usr/include/unistd.h:639: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'getpgid'
/usr/include/unistd.h:646: error: expected ')' before '__pid'
/usr/include/unistd.h:660: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:667: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'setsid'
/usr/include/unistd.h:671: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'getsid'
/usr/include/unistd.h:675: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'getuid'
/usr/include/unistd.h:678: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'geteuid'
/usr/include/unistd.h:681: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'getgid'
/usr/include/unistd.h:684: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'getegid'
/usr/include/unistd.h:689: error: expected declaration specifiers or '...' before '__gid_t'
/usr/include/unistd.h:689: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:693: error: expected ')' before '__gid'
/usr/include/unistd.h:700: error: expected ')' before '__uid'
/usr/include/unistd.h:705: error: expected ')' before '__ruid'
/usr/include/unistd.h:710: error: expected ')' before '__uid'
/usr/include/unistd.h:717: error: expected ')' before '__gid'
/usr/include/unistd.h:722: error: expected ')' before '__rgid'
/usr/include/unistd.h:727: error: expected ')' before '__gid'
/usr/include/unistd.h:733: error: expected ')' before '*' token
/usr/include/unistd.h:738: error: expected ')' before '*' token
/usr/include/unistd.h:743: error: expected ')' before '__ruid'
/usr/include/unistd.h:748: error: expected ')' before '__rgid'
/usr/include/unistd.h:756: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'fork'
/usr/include/unistd.h:764: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'vfork'
/usr/include/unistd.h:770: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:775: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:779: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:785: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:791: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:798: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:804: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:809: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'readlink'
/usr/include/unistd.h:817: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:820: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'readlinkat'
/usr/include/unistd.h:826: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:831: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:835: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:839: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'tcgetpgrp'
/usr/include/unistd.h:842: error: expected declaration specifiers or '...' before '__pid_t'
/usr/include/unistd.h:842: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
/usr/include/unistd.h:849: error: storage class specified for parameter 'getlogin'
/usr/include/unistd.h:857: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__nonnull'
/usr/include/unistd.h:862: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__THROW'
In file included from /usr/include/unistd.h:871,
from ./unistd.h:22,
from ./stdlib.h:188,
from ../../lib/areadlink-with-size.c:29:
/usr/include/getopt.h:57: error: storage class specified for parameter 'optarg'
/usr/include/getopt.h:71: error: storage class specified for parameter 'optind'
/usr/include/getopt.h:76: error: storage class specified for parameter 'opterr'
/usr/include/getopt.h:80: error: storage class specified for parameter 'optopt'
/usr/include/getopt.h:151: error: storage class specified for parameter 'getopt'
In file included from ./unistd.h:22,
from ./stdlib.h:188,
from ../../lib/areadlink-with-size.c:29:
/usr/include/unistd.h:879: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__nonnull'
/usr/include/unistd.h:887: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__nonnull'
/usr/include/unistd.h:891: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__wur'
/usr/include/unistd.h:898: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__nonnull'
/usr/include/unistd.h:900: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__nonnull'
/usr/include/unistd.h:906: error: storage class specified for parameter 'vhangup'
/usr/include/unistd.h:909: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__nonnull'
/usr/include/unistd.h:919: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__nonnull'
/usr/include/unistd.h:925: error: storage class specified for parameter 'acct'
/usr/include/unistd.h:929: error: storage class specified for parameter 'getusershell'
/usr/include/unistd.h:930: error: storage class specified for parameter 'endusershell'
/usr/include/unistd.h:931: error: storage class specified for parameter 'setusershell'
/usr/include/unistd.h:937: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__wur'
/usr/include/unistd.h:944: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__nonnull'
/usr/include/unistd.h:948: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__nonnull'
/usr/include/unistd.h:956: error: storage class specified for parameter 'fsync'
/usr/include/unistd.h:962: error: storage class specified for parameter 'syncfs'
/usr/include/unistd.h:969: error: storage class specified for parameter 'gethostid'
/usr/include/unistd.h:972: error: storage class specified for parameter 'sync'
/usr/include/unistd.h:978: error: storage class specified for parameter 'getpagesize'
/usr/include/unistd.h:983: error: storage class specified for parameter 'getdtablesize'
/usr/include/unistd.h:1005: error: expected declaration specifiers or '...' before '__off64_t'
/usr/include/unistd.h:1006: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__nonnull'
/usr/include/unistd.h:1026: error: expected declaration specifiers or '...' before '__off64_t'
/usr/include/unistd.h:1026: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__wur'
/usr/include/unistd.h:1037: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__wur'
/usr/include/unistd.h:1043: error: expected ')' before '__delta'
/usr/include/unistd.h:1058: error: storage class specified for parameter 'syscall'
/usr/include/unistd.h:1091: error: expected declaration specifiers or '...' before '__off64_t'
/usr/include/unistd.h:1091: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__wur'
/usr/include/unistd.h:1112: error: storage class specified for parameter 'fdatasync'
/usr/include/unistd.h:1121: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__nonnull'
/usr/include/unistd.h:1126: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__nonnull'
/usr/include/unistd.h:1134: error: expected declaration specifiers or '...' before 'ssize_t'
/usr/include/unistd.h:1134: error: expected '=', ',', ';', 'asm' or '__attribute__' before '__nonnull'
/usr/include/unistd.h:1151: error: expected declaration specifiers before '__END_DECLS'
../../lib/areadlink-with-size.c:108: error: old-style parameter declarations in prototyped function definition
../../lib/areadlink-with-size.c:108: error: expected '{' at end of input
make[3]: *** [areadlink-with-size.o] Error 1
make[2]: *** [all] Error 2
make[1]: *** [all-recursive] Error 1
make: *** [all] Error 2?
More information about the klee-dev
mailing list