misc/coverity_model.c
author Wuzzy <Wuzzy2@mail.ru>
Mon, 16 Sep 2019 17:33:49 +0200
changeset 15410 8504fee3b601
parent 10498 bcd1d7ad2f3e
permissions -rw-r--r--
Racer: Fix weird water splashes after waypoint placement Does not affect official racer, as only waypoint placement is touched. The reason was that the air attack gear sometimes was not deleted fast enough so it might occassionally drop some air bombs (these are deleted now). Also, the airplane position was set to water level, which caused another water splash.

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

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