blob: d9eba636099d0553ee7ae6f16a810a6a13261db0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
// 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__();
}
|