Bug 1398712 - update Coverity modelling file in order to support NS_PRECONDITION. r?sylvestre
MozReview-Commit-ID: 3CzHJkjrikI
--- 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]);