arne
/
cryptopp
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Update Coverity modeling file

pull/398/head
Jeffrey Walton 2017-03-15 15:46:23 -04:00
parent 01cea29692
commit e55560e1a2
No known key found for this signature in database
GPG Key ID: B36AB348921B1838
1 changed files with 12 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
TestScripts/cryptest-coverity.cpp
View File

@ -1,13 +1,12 @@
// cryptest-coverity.cpp - Coverity modeling file.
// Written and placed in public domain by Jeffrey Walton and Uri Blumenthal.
// Copyright assigned to Crypto++ project.
//
// For more information see http://cryptopp.com/wiki/Coverity_Scan.
//
// Also see https://scan.coverity.com/tune#what-is-model
///////////////////////////////////////////////////////////////////
void special_abort(const char* msg) {
__coverity_panic__();
}
// cryptest-coverity.cpp - Coverity modeling file.
// Written and placed in public domain by Jeffrey Walton and Uri Blumenthal.
//
// For more information see http://cryptopp.com/wiki/Coverity_Scan.
//
// Also see https://scan.coverity.com/tune#what-is-model
///////////////////////////////////////////////////////////////////
void special_abort(const char* msg) {
__coverity_panic__();
}