<div dir="ltr"><div dir="ltr"><div id="gmail-:130" class="gmail-ii gmail-gt" style="margin:8px 0px 0px;padding:0px;font-family:Roboto,RobotoDraft,Helvetica,Arial,sans-serif"><div id="gmail-:12z" class="gmail-a3s gmail-aXjCH"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr">Hi,<div><br></div><div>I compiled my toy program with following command: `clang -c -fno-discard-value-names -g -O0 -emit-llvm my_test.c -o my_test.bc`, however, some debug symbols will lost after this compiling. I have attached my showcase in this email.</div><div><br></div><div>For example, the debug symbol of line 7 in my_test.c will lost after compiling, user can't get the variable name, which should be `buf` in fact.</div><div><br></div><div>I tried to parse the <span style="color:rgb(36,41,46);font-family:-apple-system,BlinkMacSystemFont,"Segoe UI",Helvetica,Arial,sans-serif,"Apple Color Emoji","Segoe UI Emoji";font-size:14px">llvm IR by using SVF(</span><a href="https://github.com/SVF-tools/SVF" target="_blank">https://github.com/SVF-tools/SVF</a><span style="color:rgb(36,41,46);font-family:-apple-system,BlinkMacSystemFont,"Segoe UI",Helvetica,Arial,sans-serif,"Apple Color Emoji","Segoe UI Emoji";font-size:14px">) and noticed this problem, and I have asked the developer of SVF, who suggest me to ask the llvm developer(</span><a href="https://github.com/SVF-tools/SVF/issues/297" target="_blank">https://github.com/SVF-tools/SVF/issues/297</a><span style="color:rgb(36,41,46);font-family:-apple-system,BlinkMacSystemFont,"Segoe UI",Helvetica,Arial,sans-serif,"Apple Color Emoji","Segoe UI Emoji";font-size:14px">)</span></div><div><span style="color:rgb(36,41,46);font-family:-apple-system,BlinkMacSystemFont,"Segoe UI",Helvetica,Arial,sans-serif,"Apple Color Emoji","Segoe UI Emoji";font-size:14px"><br></span></div><div><span style="color:rgb(36,41,46);font-family:-apple-system,BlinkMacSystemFont,"Segoe UI",Helvetica,Arial,sans-serif,"Apple Color Emoji","Segoe UI Emoji";font-size:14px">waiting for your reply :)</span></div><div><br></div><div><font color="#24292e" face="-apple-system, BlinkMacSystemFont, Segoe UI, Helvetica, Arial, sans-serif, Apple Color Emoji, Segoe UI Emoji"><span style="font-size:14px">Best regards,</span></font></div><div><font color="#24292e" face="-apple-system, BlinkMacSystemFont, Segoe UI, Helvetica, Arial, sans-serif, Apple Color Emoji, Segoe UI Emoji"><span style="font-size:14px">Supermole</span></font></div><div><font color="#24292e" face="-apple-system, BlinkMacSystemFont, Segoe UI, Helvetica, Arial, sans-serif, Apple Color Emoji, Segoe UI Emoji"><span style="font-size:14px"><br></span></font></div></div></div></div></div></div></div><div class="gmail-yj6qo"></div><div class="gmail-adL"></div></div></div><div class="gmail-hq gmail-gt gmail-a10" id="gmail-:14n" style="font-family:Roboto,RobotoDraft,Helvetica,Arial,sans-serif"></div></div></div>