You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@trafficserver.apache.org by jp...@apache.org on 2015/01/13 00:28:39 UTC
trafficserver git commit: Add TSReleaseAssert to the coverity model
Repository: trafficserver
Updated Branches:
refs/heads/master 92f1cdc68 -> d0e0c0a35
Add TSReleaseAssert to the coverity model
Project: http://git-wip-us.apache.org/repos/asf/trafficserver/repo
Commit: http://git-wip-us.apache.org/repos/asf/trafficserver/commit/d0e0c0a3
Tree: http://git-wip-us.apache.org/repos/asf/trafficserver/tree/d0e0c0a3
Diff: http://git-wip-us.apache.org/repos/asf/trafficserver/diff/d0e0c0a3
Branch: refs/heads/master
Commit: d0e0c0a35a1248fa71de74f2d34fb682fbb1b2f6
Parents: 92f1cdc
Author: James Peach <jp...@apache.org>
Authored: Mon Jan 12 15:26:38 2015 -0800
Committer: James Peach <jp...@apache.org>
Committed: Mon Jan 12 15:26:45 2015 -0800
----------------------------------------------------------------------
ci/coverity-model.cpp | 6 ++++++
1 file changed, 6 insertions(+)
----------------------------------------------------------------------
http://git-wip-us.apache.org/repos/asf/trafficserver/blob/d0e0c0a3/ci/coverity-model.cpp
----------------------------------------------------------------------
diff --git a/ci/coverity-model.cpp b/ci/coverity-model.cpp
index 7f02b8c..df06a49 100644
--- a/ci/coverity-model.cpp
+++ b/ci/coverity-model.cpp
@@ -43,4 +43,10 @@ ink_die_die_die()
__coverity_panic__();
}
+// Teach Coverity that this aborts in all compilation modes.
+void _TSReleaseAssert(const char* txt, const char* f, int l)
+{
+ __coverity_panic__();
+}
+
} /* extern "C" */