Bug 1398712 - update Coverity modelling file in order to support NS_PRECONDITION. r=sylvestre
authorAndi-Bogdan Postelnicu <bpostelnicu@mozilla.com>
Mon, 11 Sep 2017 14:55:37 +0300
changeset 380045 c064f73753411327b8e037be8f51b3288f323728
parent 380044 cdd9f6610d88cffa99941c814c8c817e58e2ab37
child 380046 52e22eaebe72688c17dbc9f41aaf84ae3fb94533
push id32476
push userkwierso@gmail.com
push dateMon, 11 Sep 2017 20:07:09 +0000
treeherdermozilla-central@15128312c02a [default view] [failures only]
perfherder[talos] [build metrics] [platform microbench] (compared to previous push)
reviewerssylvestre
bugs1398712
milestone57.0a1
first release with
nightly linux32
nightly linux64
nightly mac
nightly win32
nightly win64
last release without
nightly linux32
nightly linux64
nightly mac
nightly win32
nightly win64
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]);