misc/coverity_model.c
author Wuzzy <Wuzzy2@mail.ru>
Thu, 26 Jul 2018 18:01:32 +0200
changeset 13563 af92481415ef
parent 10498 bcd1d7ad2f3e
permissions -rw-r--r--
TechRacer: Fix gears not spawning on turn start when player pressed control right at start The activationStage was horribly programmed and heavily relied on timer. There was a sweet spot at turn start that if you managed to push a key right at the start of turn, you skip the Ready phase and the activationStage would advance, causing the gear spawning code to be skipped. This fix greatly simplies the spawning phase.
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
}