misc/coverity_model.c
author Wuzzy <Wuzzy2@mail.ru>
Fri, 27 Oct 2017 05:03:58 +0200
changeset 12782 389453e1e09e
parent 10498 bcd1d7ad2f3e
permissions -rw-r--r--
ACF7: Fix possible Lua error spam in intro sequence This was caused by a race of onGearDelete vs AnimationSetup. If AnimationSetup came first, it uses old values from the natives table. The solution is to force the code to guarantee that AnimationSetup always coms after deleting gears in the natives table.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
10498
bcd1d7ad2f3e Model file for coverity checks
unc0rr
parents:
diff changeset
     1
void fpcrtl_halt(int num) {
bcd1d7ad2f3e Model file for coverity checks
unc0rr
parents:
diff changeset
     2
    __coverity_panic__();
bcd1d7ad2f3e Model file for coverity checks
unc0rr
parents:
diff changeset
     3
}
bcd1d7ad2f3e Model file for coverity checks
unc0rr
parents:
diff changeset
     4
bcd1d7ad2f3e Model file for coverity checks
unc0rr
parents:
diff changeset
     5
int fpcrtl_abs(int num) {
bcd1d7ad2f3e Model file for coverity checks
unc0rr
parents:
diff changeset
     6
    return num >= 0 ? num : -num;
bcd1d7ad2f3e Model file for coverity checks
unc0rr
parents:
diff changeset
     7
}