<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br>Could you provide a minimal example where USRs are not generated? It might be the case that there are other ways to fix it.<br>
<br></blockquote><div><br></div><div>Sure, I'll try to reduce our testcase, but basically we have an ASTFrontendAction [0] that adds a set of intrinsics [1] to the preprocessor [2].</div><div><br></div><div>[0] <a href="https://github.com/esbmc/esbmc/blob/master/src/clang-c-frontend/AST/esbmc_action.h">https://github.com/esbmc/esbmc/blob/master/src/clang-c-frontend/AST/esbmc_action.h</a></div><div>[1] <a href="https://github.com/esbmc/esbmc/blob/master/src/clang-c-frontend/clang_c_language.cpp#L206">https://github.com/esbmc/esbmc/blob/master/src/clang-c-frontend/clang_c_language.cpp#L206</a></div><div>[2] <a href="https://github.com/esbmc/esbmc/blob/master/src/clang-c-frontend/AST/esbmc_action.h#L31">https://github.com/esbmc/esbmc/blob/master/src/clang-c-frontend/AST/esbmc_action.h#L31</a></div></div><div><br></div>-- <br><div class="gmail_signature"><div dir="ltr"><div><br></div><div>Mikhail Ramalho.</div></div></div>
</div></div>