misc/coverity_model.c
author unc0rr
Mon, 18 Apr 2016 21:47:39 +0300
changeset 11652 09ebdfe364d9
parent 10498 bcd1d7ad2f3e
permissions -rw-r--r--
Fix fpcrtl_strappendA, which cut last char from UserPathPrefix leading to PHYSFS_setWriteDir fail with 'File not found' error, which led to lack of writing dir and logFile handle being nil, which led to crash on attempt to write to (absent) log file
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
}