<div dir="ltr">Hi Eugene,<div><br></div><div>I think this is really cool! You've convinced me to try out PVS on some of my own projects :)</div><div><br></div><div>Of all the warnings presented in the article, there was one for which I thought it's a false positive. By default, LLVM is compiled without RTTI and exceptions. Because of this, I reasoned that operator new would not throw an exception, and so the checks of its result against nullptr were correct... right?</div><div><br></div><div>Turns out I'm probably wrong. At least according to this <a href="https://stackoverflow.com/questions/6049563/with-fno-exceptions-what-happens-with-new-t">stack overflow post</a>. But then, what is the correct way to use operator new when compiling with -fno-exceptions? Do we need to add (std::nothrow) to all uses of `new`?</div><div><br></div><div>Best,</div><div>Jonas</div><br><div class="gmail_quote"><div dir="ltr">On Mon, Oct 31, 2016 at 6:49 PM Eugene Zelenko via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi!<br class="gmail_msg">
<br class="gmail_msg">
Company behind PVS-Studio analyzed relatively recent version of LLVM<br class="gmail_msg">
and some results are reported in <a href="http://www.viva64.com/en/b/0446/" rel="noreferrer" class="gmail_msg" target="_blank">http://www.viva64.com/en/b/0446/</a>.<br class="gmail_msg">
<br class="gmail_msg">
Eugene.<br class="gmail_msg">
_______________________________________________<br class="gmail_msg">
LLVM Developers mailing list<br class="gmail_msg">
<a href="mailto:llvm-dev@lists.llvm.org" class="gmail_msg" target="_blank">llvm-dev@lists.llvm.org</a><br class="gmail_msg">
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" rel="noreferrer" class="gmail_msg" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a><br class="gmail_msg">
</blockquote></div></div>