misc/coverity_model.c
author Wuzzy <Wuzzy2@mail.ru>
Mon, 08 Jul 2019 21:44:26 +0200
changeset 15225 ceb289e8a582
parent 10498 bcd1d7ad2f3e
permissions -rw-r--r--
King Mode: Fix king placement phase not working correctly with multiple teams in a clan New king placement phase rules: * Before the game begins, each team can walk with their king and teleport for free, everything else is disabled * This special round does not count towards the round counter, like in gfPlaceHog * TotalRounds is set to -1 during this round, like in gfPlaceHog Under the old rules, this was much more hacky. The delay of all delay-less weapons was just set to 1 The problem with the old rules was that if any clan had more than 1 team, eventually the weapon delay will time out before all kings have been placed.
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
}