1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
|
/**
* Coverity Scan modeling file. Help reduce false positives
*/
/*
* In theory these fatal errors can allow execution to continue, because we give an option to open the debugger when they occur
* However, Coverity should treat these as killpaths, since users should never pick the debug option
* These two should cover Error, Assert & Assertion (and maybe others, I haven't done an exhaustive check)
*/
namespace os
{
namespace dialogs
{
void Error(const char* text)
{
__coverity_panic__();
}
void AssertMessage(const char * text, const char * filename, int linenum, const char * format, ...)
{
__coverity_panic__();
}
}
}
|