<div dir="ltr">Seems reasonable, but can you add a test?</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, Nov 11, 2013 at 12:18 PM, Anders Montonen <span dir="ltr"><<a href="mailto:Anders.Montonen@iki.fi" target="_blank">Anders.Montonen@iki.fi</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Microsoft's library headers do not annotate _wassert as being a noreturn function, causing analyzer false positives. Fix by adding it to NoReturnFunctionChecker's list of known noreturn functions.<br>

<br>
-a<br>
<br>
diff --git a/lib/StaticAnalyzer/Checkers/<u></u>NoReturnFunctionChecker.cpp b/lib/StaticAnalyzer/Checkers/<u></u>NoReturnFunctionChecker.cpp<br>
index d7a880c..1367021 100644<br>
--- a/lib/StaticAnalyzer/Checkers/<u></u>NoReturnFunctionChecker.cpp<br>
+++ b/lib/StaticAnalyzer/Checkers/<u></u>NoReturnFunctionChecker.cpp<br>
@@ -64,6 +64,7 @@ void NoReturnFunctionChecker::<u></u>checkPostCall(const CallEvent &CE,<br>
             .Case("assfail", true)<br>
             .Case("db_error", true)<br>
             .Case("__assert", true)<br>
+            .Case("_wassert", true)<br>
             .Case("__assert_rtn", true)<br>
             .Case("__assert_fail", true)<br>
             .Case("dtrace_assfail", true)<br>
______________________________<u></u>_________________<br>
cfe-commits mailing list<br>
<a href="mailto:cfe-commits@cs.uiuc.edu" target="_blank">cfe-commits@cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits" target="_blank">http://lists.cs.uiuc.edu/<u></u>mailman/listinfo/cfe-commits</a><br>
</blockquote></div><br></div>