/*
* @file kill_for_coverity.c
*
* See http://rusefi.com/forum/viewtopic.php?f=5&t=655&p=10491#p10491
* @date Feb 25, 2015
*/
void special_abort(const char msg) {
__coverity_panic__();
}