<div dir="ltr"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);display:inline!important;float:none">Hi,<br>
</span><div><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);display:inline!important;float:none"><br>
I am using klee-gcc to compile 'findutils', but I don't know why the variables are all replaced with temp variables(such as %10) and instructions are reordered for optimizations, how can I generate the bytecode and reserve the program variables. I used the next commands without any optimization options:</span><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255)">
<br></div><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255)">
<ol style="font-size:16px;font-family:'Times New Roman';margin:0px;padding:0px"><li style="margin:0px 0px 0px 24px;padding:0px"><p style="margin:0px;padding:0px;word-wrap:break-word;vertical-align:baseline;font-family:ËÎÌå,sans-serif;font-size:6pt;background-color:transparent;color:windowtext">
<span style="margin:0px;padding:0px;color:rgb(34,34,34);font-weight:bold;font-size:11pt;line-height:18px"><span style="margin:0px;padding:0px;background-color:inherit">$ ../configure --disable-nls CFLAGS="-g"</span></span><span style="margin:0px;padding:0px;font-size:11pt;line-height:18px"> </span></p>
<span style="margin:0px;padding:0px"></span></li><li style="margin:0px 0px 0px 24px;padding:0px"><p style="margin:0px;padding:0px;word-wrap:break-word;vertical-align:baseline;font-family:ËÎÌå,sans-serif;font-size:6pt;background-color:transparent;color:windowtext">
<span style="margin:0px;padding:0px;color:windowtext;font-size:11pt;line-height:18px"><span style="margin:0px;padding:0px;background-color:inherit">$ make CC=/home/guest/installed/klee/scripts/klee-gcc</span></span></p></li>
</ol><p><b style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;font-style:normal;font-variant:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255)">Moreover, I found the bytecode before linking had program variables, but the generated target object had non. why?</b><br>
</p><div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255)">
<b></b><div><b>For during the 'make' step, I encountered an error: <br></b><div><div>/home/guest/installed/klee/scripts/klee-gcc -Wdeclaration-after-statement -Wall -g   -o find ftsfind.o ./libfindtools.a ../lib/libfind.a ../gnulib/lib/libgnulib.a  -lrt     -lm -lm  </div>
<div>/usr/bin/ld.bfd.real: cannot find crt1.o: No such file or directory</div><div>/usr/bin/ld.bfd.real: cannot find crti.o: No such file or directory</div><div>ftsfind.o: file not recognized: File format not recognized</div>
<div>collect2: ld returned 1 exit status</div><div><br></div><div><b>so I use the next command by hand instead:</b></div><div>llvm-ld -o find ftsfind.o ./libfindtools.a ../lib/libfind.a ../gnulib/lib/libgnulib.a  -L /usr/lib32/ -lrt -lm -lm<br>
</div><div><br></div><div><b>when '-disable-opt' was added, the same output was generated. </b></div><div><br></div><div>llvm-ld -disable-opt -o find ftsfind.o ./libfindtools.a ../lib/libfind.a ../gnulib/lib/libgnulib.a  -L /usr/lib32/ -lrt -lm -lm<br>
</div><div><br></div><div><b>Does some error in my llvm-ld command? And how can I prevent optimizations and preserve program variables.<br></b></div></div></div></div></div></div></div>