<div dir="ltr">Hi Chris,<div>Thanks for answering, Can u clarify on this comment mentioned in <a href="https://github.com/Z3Prover/z3/issues/861">https://github.com/Z3Prover/z3/issues/861</a> .</div><div><br></div><div> 

     

                                            <span>cplusplus no exception support · Issue #861 · Z3Prover/z3 · GitHub</span>                                                                                                                                           <div class="gmail-application-main"><div><div id="gmail-js-repo-pjax-container"><div class="gmail-container gmail-new-discussion-timeline experiment-repo-nav"><div class="gmail-repository-content"><div class="gmail-issues-listing"><div class="gmail-js-issues-results" id="gmail-show_issue"><div class="gmail-clearfix" id="gmail-discussion_bucket"><div class="gmail-discussion-timeline gmail-js-quote-selection-container"><div class="gmail-js-discussion gmail-js-socket-channel"><div class="gmail-js-timeline-item gmail-js-timeline-progressive-focus-container"><div class="gmail-timeline-comment-wrapper"><div class="gmail-js-minimizable-comment-group"><div class="gmail-unminimized-comment gmail-comment gmail-previewable-edit gmail-js-comment gmail-js-task-list-container gmail-timeline-comment" id="gmail-issuecomment-270629415"><div class="edit-comment-hide"><span disabled><table class="gmail-d-block"><tbody class="gmail-d-block"><tr class="gmail-d-block"><td class="gmail-d-block gmail-comment-body gmail-markdown-body gmail-js-comment-body"><ul><li>LLVM's <strong>source code</strong> does not use exceptions for performance reasons and so is compiled by default with <code>-fno-exceptions</code>. When using LLVM's libraries via it's C++ interface it is important to match how LLVM was built (i.e. do not mix code built with and without exception support).</li><li>The Clang compiler which is built on top of LLVM is also compiled without exceptions by default. However the built Clang can compile C++ code with or without exceptions (using the <code>-fno-exceptions</code>). flag. Said another way Clang's implementation doesn't use exceptions but Clang itself can compile C++ code with or without exception support.</li></ul><div><br></div><div>Can anyone clarify on this comment ?</div><div><br></div><div>Thanks,</div><div>Siddharth</div></td></tr></tbody></table></span></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, May 1, 2018 at 11:02 PM, Chris Bieneman <span dir="ltr"><<a href="mailto:chris.bieneman@me.com" target="_blank">chris.bieneman@me.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word;line-break:after-white-space">Siddharth,<div><br></div><div>I'm not sure what coding standards you refer to when you say "some C++ coding standard". This question is answered in the LLVM Coding Standards document here:</div><div><br></div><div><a href="https://www.llvm.org/docs/CodingStandards.html#do-not-use-rtti-or-exceptions" target="_blank">https://www.llvm.org/docs/<wbr>CodingStandards.html#do-not-<wbr>use-rtti-or-exceptions</a></div><div><br></div><div>As such LLVM's coding standards prohibit the use of exceptions and RTTI.</div><div><br></div><div>-Chris<br><div><br><blockquote type="cite"><div><div class="h5"><div>On May 1, 2018, at 10:02 AM, Siddharth Shankar Swain via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a>> wrote:</div><br class="m_4646234902080641791Apple-interchange-newline"></div></div><div><div><div class="h5"><div dir="ltr">Hi all,<div>Can anyone explain why exceptions are disabled in LLVM, even if some C++ coding standard tells to use exceptions ?</div><div>Thanks,</div><div>Siddharth</div></div></div></div>
______________________________<wbr>_________________<br>LLVM Developers mailing list<br><a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a><br><a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" target="_blank">http://lists.llvm.org/cgi-bin/<wbr>mailman/listinfo/llvm-dev</a><br></div></blockquote></div><br></div></div></blockquote></div><br></div>