misc/coverity_model.c
author Wuzzy <Wuzzy2@mail.ru>
Fri, 24 May 2019 12:31:30 +0200
changeset 15037 6c5502b9a038
parent 10498 bcd1d7ad2f3e
permissions -rw-r--r--
Stop fade-out sound instantly when audio muted Fixes flamethrower sound not stopping at all when un-muting audio after flamethrower finished

void fpcrtl_halt(int num) {
    __coverity_panic__();
}

int fpcrtl_abs(int num) {
    return num >= 0 ? num : -num;
}