misc/coverity_model.c
author S.D.
Fri, 23 Sep 2022 02:45:49 +0300
changeset 15876 1878d95d6e15
parent 10498 bcd1d7ad2f3e
permissions -rw-r--r--
Add GHC_DYNAMIC cmake option - allows building dynamically-linked haskell object files and executables (needed for some distributions)

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

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