Bug 1398712 - update Coverity modelling file in order to support NS_PRECONDITION. r?sylvestre draft
authorAndi-Bogdan Postelnicu <bpostelnicu@mozilla.com>
Mon, 11 Sep 2017 14:55:37 +0300
changeset 662340 3c0ef125a9274268a428eea03fa4c3fa94c1ac99
parent 662290 f9a5e9ed62103c84e4cde915f4d08f1ce71be83e
child 730823 f283cb00be67a04b8f346791f420a0545c17ba2f
push id79035
push userbmo:bpostelnicu@mozilla.com
push dateMon, 11 Sep 2017 11:56:09 +0000
reviewerssylvestre
bugs1398712
milestone57.0a1
Bug 1398712 - update Coverity modelling file in order to support NS_PRECONDITION. r?sylvestre MozReview-Commit-ID: 3CzHJkjrikI
tools/coverity/model.cpp
--- a/tools/coverity/model.cpp
+++ b/tools/coverity/model.cpp
@@ -39,16 +39,18 @@ static void MOZ_ReportCrash(const char* 
 #define MOZ_ASSERT(expr) assert(!!(expr))
 
 #define NS_ASSERTION(expr, msg) assert(!!(expr))
 
 #define PORT_Assert(expr) assert(!!(expr))
 
 #define PR_ASSERT(expr) assert(!!(expr))
 
+#define NS_PRECONDITION(expr, msg) assert(!!(expr))
+
 #define NS_RUNTIMEABORT(msg) __coverity_panic__()
 
 int GET_JUMP_OFFSET(jsbytecode* pc) {
   __coverity_tainted_data_sanitize__(&pc[1]);
   __coverity_tainted_data_sanitize__(&pc[2]);
   __coverity_tainted_data_sanitize__(&pc[3]);
   __coverity_tainted_data_sanitize__(&pc[4]);