misc/coverity_model.c
author sheepluva <sheepluva@users.noreply.github.com>
Mon, 05 Jan 2015 14:37:08 +0100
changeset 10770 8060cb5c2fa6
parent 10498 bcd1d7ad2f3e
permissions -rw-r--r--
Merge pull request #27 from LocutusOfBorg/fix-build2 Fix arm* build failures < LocutusOfBorg1> sheepluva, the problem is fpc, so the workaround might be necessary even if they patch it :( http://bugs.freepascal.org/view.php?id=27222

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

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