misc/coverity_model.c
author nemo
Fri, 30 Mar 2018 08:02:14 -0400
changeset 13297 76a71a67922b
parent 10498 bcd1d7ad2f3e
permissions -rw-r--r--
Backed out changeset e9caada3aac1 - < LocutusOfBorg> dpkg-shlibdeps: error: no dependency information < LocutusOfBorg> Hint: check if the library actually comes from a package.

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

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