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 *make CC=/full/path/to/klee/scripts/klee-gcc*,it reports errors as followings:
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 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
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev