Error while compiling c-semantics

[dongbiao830415]

Centos6.9
gcc version 7.1.0 (GCC)
When using K after commit 0c6be56 , it fails to build the newest c-semantics (0c6be5696ee8c522ac42eab9a09c95d8b111df2b). Output:

[root@localhost src]# export CC=gcc
[root@localhost src]# cd /root/src/c-semantics/c-semantics/x86-gcc-limited-libc/src && /root/src/c-semantics/c-semantics/dist/kcc -nodefaultlibs -Xbuiltins -fno-native-compilation -shared -o /root/src/c-semantics/c-semantics/dist/x86-gcc-limited-libc/lib/libc.so *.c  -I .
Can't exec "rv-ifdefclear": No such file or directory at /root/src/c-semantics/c-semantics/dist/kcc line 4002.
Can't exec "rv-ifdefclear": No such file or directory at /root/src/c-semantics/c-semantics/dist/kcc line 4002.
Can't exec "rv-ifdefclear": No such file or directory at /root/src/c-semantics/c-semantics/dist/kcc line 4002.
Can't exec "rv-ifdefclear": No such file or directory at /root/src/c-semantics/c-semantics/dist/kcc line 4002.
Can't exec "rv-ifdefclear": No such file or directory at /root/src/c-semantics/c-semantics/dist/kcc line 4002.
substr outside of string at /root/src/c-semantics/c-semantics/dist/kcc line 3940.
Use of uninitialized value $thisObj in concatenation (.) or string at /root/src/c-semantics/c-semantics/dist/kcc line 3942.
substr outside of string at /root/src/c-semantics/c-semantics/dist/kcc line 3940.
Use of uninitialized value $thisObj in concatenation (.) or string at /root/src/c-semantics/c-semantics/dist/kcc line 3942.
substr outside of string at /root/src/c-semantics/c-semantics/dist/kcc line 3940.
Use of uninitialized value $thisObj in concatenation (.) or string at /root/src/c-semantics/c-semantics/dist/kcc line 3942.
substr outside of string at /root/src/c-semantics/c-semantics/dist/kcc line 3940.
Use of uninitialized value $thisObj in concatenation (.) or string at /root/src/c-semantics/c-semantics/dist/kcc line 3942.
substr outside of string at /root/src/c-semantics/c-semantics/dist/kcc line 3940.
Use of uninitialized value $thisObj in concatenation (.) or string at /root/src/c-semantics/c-semantics/dist/kcc line 3942.
[Error] Internal: Uncaught exception thrown of type NoSuchElementException.
Please rerun your program with the --debug flag to generate a stack trace, and
file a bug report at https://github.com/kframework/k/issues (null)
Error: Could not find or load main class org.kframework.main.BinaryToText
Translation failed (config dumped). Run kcc -d -nodefaultlibs -Xbuiltins -fno-native-compilation -shared -o /root/src/c-semantics/c-semantics/dist/x86-gcc-limited-libc/lib/libc.so builtintypes.c ctype.c math.c stdlib.c string.c -I . to see commands run.

The output of running kcc -d is following:

[root@localhost src]# kcc -d -nodefaultlibs -Xbuiltins -fno-native-compilation -shared -o /root/src/c-semantics/c-semantics/dist/x86-gcc-limited-libc/lib/libc.so builtintypes.c ctype.c math.c stdlib.c string.c -I .
'/root/src/c-semantics/c-semantics/dist/x86-gcc-limited-libc/pp' '-I' '.' '-pedantic' 'builtintypes.c' '-o' 'tmp-kcc-iyvSr1L'
Can't exec "rv-ifdefclear": No such file or directory at /root/src/c-semantics/c-semantics/dist/kcc line 4002.
/root/src/c-semantics/c-semantics/dist/cparser tmp-kcc-iyvSr1L --trueName 'builtintypes.c' > tmp-kcc-ld9RIal
'krun' '--output' 'binary' '--output-file' 'tmp-kcc-tZv7NuZ' '-d' '/root/src/c-semantics/c-semantics/dist/x86-gcc-limited-libc/c11-translation-kompiled' '-w' 'none' '--smt' 'none' '--argv' 'dummy' '--debug' '-cOPTIONS=`_Set_`(`SetItem`(`NoLink`(.KList)), `_Set_`(`SetItem`(`XBuiltins`(.KList)), `.Set`(.KList)))' '-pOPTIONS=printf %s' '-cJSON=#token("\"{\\\"suppressions\\\"\\x3a [],\\\"message_length\\\"\\x3a 80,\\\"format\\\"\\x3a \\\"Console\\\",\\\"previous_errors\\\"\\x3a [],\\\"fatal_errors\\\"\\x3a false,\\\"rv_error\\\"\\x3a \\\"\\\"}\"", "String")' '-pJSON=printf %s' '-cOBJS=.K' '-pOBJS=printf %s' '-cPGM=tmp-kcc-ld9RIal' '-pPGM=cat'
'/root/src/c-semantics/c-semantics/dist/x86-gcc-limited-libc/pp' '-I' '.' '-pedantic' '-pedantic' 'ctype.c' '-o' 'tmp-kcc-hLzLQA2'
Can't exec "rv-ifdefclear": No such file or directory at /root/src/c-semantics/c-semantics/dist/kcc line 4002.
/root/src/c-semantics/c-semantics/dist/cparser tmp-kcc-hLzLQA2 --trueName 'ctype.c' > tmp-kcc-OZa6_Dk
'krun' '--output' 'binary' '--output-file' 'tmp-kcc-GxaIDlM' '-d' '/root/src/c-semantics/c-semantics/dist/x86-gcc-limited-libc/c11-translation-kompiled' '-w' 'none' '--smt' 'none' '--argv' 'dummy' '--debug' '-cOPTIONS=`_Set_`(`SetItem`(`NoLink`(.KList)), `.Set`(.KList))' '-pOPTIONS=printf %s' '-cJSON=#token("\"{\\\"suppressions\\\"\\x3a [],\\\"message_length\\\"\\x3a 80,\\\"format\\\"\\x3a \\\"Console\\\",\\\"previous_errors\\\"\\x3a [],\\\"fatal_errors\\\"\\x3a false,\\\"rv_error\\\"\\x3a \\\"\\\"}\"", "String")' '-pJSON=printf %s' '-cOBJS=.K' '-pOBJS=printf %s' '-cPGM=tmp-kcc-OZa6_Dk' '-pPGM=cat'
'/root/src/c-semantics/c-semantics/dist/x86-gcc-limited-libc/pp' '-I' '.' '-pedantic' '-pedantic' '-pedantic' 'math.c' '-o' 'tmp-kcc-klxSZ4V'
Can't exec "rv-ifdefclear": No such file or directory at /root/src/c-semantics/c-semantics/dist/kcc line 4002.
/root/src/c-semantics/c-semantics/dist/cparser tmp-kcc-klxSZ4V --trueName 'math.c' > tmp-kcc-KCS3YEy
'krun' '--output' 'binary' '--output-file' 'tmp-kcc-XLsk6YR' '-d' '/root/src/c-semantics/c-semantics/dist/x86-gcc-limited-libc/c11-translation-kompiled' '-w' 'none' '--smt' 'none' '--argv' 'dummy' '--debug' '-cOPTIONS=`_Set_`(`SetItem`(`NoLink`(.KList)), `.Set`(.KList))' '-pOPTIONS=printf %s' '-cJSON=#token("\"{\\\"suppressions\\\"\\x3a [],\\\"message_length\\\"\\x3a 80,\\\"format\\\"\\x3a \\\"Console\\\",\\\"previous_errors\\\"\\x3a [],\\\"fatal_errors\\\"\\x3a false,\\\"rv_error\\\"\\x3a \\\"\\\"}\"", "String")' '-pJSON=printf %s' '-cOBJS=.K' '-pOBJS=printf %s' '-cPGM=tmp-kcc-KCS3YEy' '-pPGM=cat'
'/root/src/c-semantics/c-semantics/dist/x86-gcc-limited-libc/pp' '-I' '.' '-pedantic' '-pedantic' '-pedantic' '-pedantic' 'stdlib.c' '-o' 'tmp-kcc-SMR00CY'
Can't exec "rv-ifdefclear": No such file or directory at /root/src/c-semantics/c-semantics/dist/kcc line 4002.
/root/src/c-semantics/c-semantics/dist/cparser tmp-kcc-SMR00CY --trueName 'stdlib.c' > tmp-kcc-2qy23T6
'krun' '--output' 'binary' '--output-file' 'tmp-kcc-Szsntkq' '-d' '/root/src/c-semantics/c-semantics/dist/x86-gcc-limited-libc/c11-translation-kompiled' '-w' 'none' '--smt' 'none' '--argv' 'dummy' '--debug' '-cOPTIONS=`_Set_`(`SetItem`(`NoLink`(.KList)), `.Set`(.KList))' '-pOPTIONS=printf %s' '-cJSON=#token("\"{\\\"suppressions\\\"\\x3a [],\\\"message_length\\\"\\x3a 80,\\\"format\\\"\\x3a \\\"Console\\\",\\\"previous_errors\\\"\\x3a [],\\\"fatal_errors\\\"\\x3a false,\\\"rv_error\\\"\\x3a \\\"\\\"}\"", "String")' '-pJSON=printf %s' '-cOBJS=.K' '-pOBJS=printf %s' '-cPGM=tmp-kcc-2qy23T6' '-pPGM=cat'
'/root/src/c-semantics/c-semantics/dist/x86-gcc-limited-libc/pp' '-I' '.' '-pedantic' '-pedantic' '-pedantic' '-pedantic' '-pedantic' 'string.c' '-o' 'tmp-kcc-S0q37gB'
Can't exec "rv-ifdefclear": No such file or directory at /root/src/c-semantics/c-semantics/dist/kcc line 4002.
/root/src/c-semantics/c-semantics/dist/cparser tmp-kcc-S0q37gB --trueName 'string.c' > tmp-kcc-CijZE9J
'krun' '--output' 'binary' '--output-file' 'tmp-kcc-zvLmw2d' '-d' '/root/src/c-semantics/c-semantics/dist/x86-gcc-limited-libc/c11-translation-kompiled' '-w' 'none' '--smt' 'none' '--argv' 'dummy' '--debug' '-cOPTIONS=`_Set_`(`SetItem`(`NoLink`(.KList)), `.Set`(.KList))' '-pOPTIONS=printf %s' '-cJSON=#token("\"{\\\"suppressions\\\"\\x3a [],\\\"message_length\\\"\\x3a 80,\\\"format\\\"\\x3a \\\"Console\\\",\\\"previous_errors\\\"\\x3a [],\\\"fatal_errors\\\"\\x3a false,\\\"rv_error\\\"\\x3a \\\"\\\"}\"", "String")' '-pJSON=printf %s' '-cOBJS=.K' '-pOBJS=printf %s' '-cPGM=tmp-kcc-CijZE9J' '-pPGM=cat'
substr outside of string at /root/src/c-semantics/c-semantics/dist/kcc line 3940.
Use of uninitialized value $thisObj in concatenation (.) or string at /root/src/c-semantics/c-semantics/dist/kcc line 3942.
substr outside of string at /root/src/c-semantics/c-semantics/dist/kcc line 3940.
Use of uninitialized value $thisObj in concatenation (.) or string at /root/src/c-semantics/c-semantics/dist/kcc line 3942.
substr outside of string at /root/src/c-semantics/c-semantics/dist/kcc line 3940.
Use of uninitialized value $thisObj in concatenation (.) or string at /root/src/c-semantics/c-semantics/dist/kcc line 3942.
substr outside of string at /root/src/c-semantics/c-semantics/dist/kcc line 3940.
Use of uninitialized value $thisObj in concatenation (.) or string at /root/src/c-semantics/c-semantics/dist/kcc line 3942.
substr outside of string at /root/src/c-semantics/c-semantics/dist/kcc line 3940.
Use of uninitialized value $thisObj in concatenation (.) or string at /root/src/c-semantics/c-semantics/dist/kcc line 3942.
'krun' '--output' 'binary' '--output-file' 'tmp-kcc-Lw8SIuq' '-d' '/root/src/c-semantics/c-semantics/dist/x86-gcc-limited-libc/cpp14-translation-kompiled' '-w' 'none' '--smt' 'none' '--argv' 'dummy' '--debug' '-cOPTIONS=`_Set_`(`SetItem`(`NoLink`(.KList)), `.Set`(.KList))' '-pOPTIONS=printf %s' '-cJSON=#token("\"{\\\"suppressions\\\"\\x3a [],\\\"message_length\\\"\\x3a 80,\\\"format\\\"\\x3a \\\"Console\\\",\\\"previous_errors\\\"\\x3a [],\\\"fatal_errors\\\"\\x3a false,\\\"rv_error\\\"\\x3a \\\"\\\"}\"", "String")' '-pJSON=printf %s' '-cOBJS=tmp-kcc-ALGtF4J' '-pOBJS=cat' '-cPGM=.K' '-pPGM=printf %s'
java.util.NoSuchElementException
	at java.util.ArrayDeque.removeFirst(ArrayDeque.java:280)
	at java.util.ArrayDeque.pop(ArrayDeque.java:517)
	at org.kframework.parser.binary.BinaryParser.read400(BinaryParser.java:104)
	at org.kframework.parser.binary.BinaryParser.parse(BinaryParser.java:198)
	at org.kframework.parser.binary.BinaryParser.parse(BinaryParser.java:182)
	at org.kframework.krun.KRun.externalParse(KRun.java:385)
	at org.kframework.krun.KRun.parseConfigVars(KRun.java:302)
	at org.kframework.krun.KRun.run(KRun.java:84)
	at org.kframework.krun.KRunFrontEnd.run(KRunFrontEnd.java:97)
	at org.kframework.main.FrontEnd.main(FrontEnd.java:52)
	at org.kframework.main.Main.runApplication(Main.java:113)
	at org.kframework.main.Main.runApplication(Main.java:103)
	at org.kframework.main.Main.main(Main.java:52)
java.util.NoSuchElementException
	at java.util.ArrayDeque.removeFirst(ArrayDeque.java:280)
	at java.util.ArrayDeque.pop(ArrayDeque.java:517)
	at org.kframework.parser.binary.BinaryParser.read400(BinaryParser.java:104)
	at org.kframework.parser.binary.BinaryParser.parse(BinaryParser.java:198)
	at org.kframework.parser.binary.BinaryParser.parse(BinaryParser.java:182)
	at org.kframework.krun.KRun.externalParse(KRun.java:385)
	at org.kframework.krun.KRun.parseConfigVars(KRun.java:302)
	at org.kframework.krun.KRun.run(KRun.java:84)
	at org.kframework.krun.KRunFrontEnd.run(KRunFrontEnd.java:97)
	at org.kframework.main.FrontEnd.main(FrontEnd.java:52)
	at org.kframework.main.Main.runApplication(Main.java:113)
	at org.kframework.main.Main.runApplication(Main.java:103)
	at org.kframework.main.Main.main(Main.java:52)
[Error] Internal: Uncaught exception thrown of type NoSuchElementException.
Please rerun your program with the --debug flag to generate a stack trace, and
file a bug report at https://github.com/kframework/k/issues (null)
Error: Could not find or load main class org.kframework.main.BinaryToText
Translation failed (config dumped). Refer to last command run for details.