# HG changeset patch
# User unc0rr
# Date 1416048727 -10800
# Node ID bcd1d7ad2f3e811857bb4e3d7a15af376cf71ce1
# Parent  c7c50f165946fc0bda689ccf86283051f4cbefae
Model file for coverity checks

diff -r c7c50f165946 -r bcd1d7ad2f3e misc/coverity_model.c
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/misc/coverity_model.c	Sat Nov 15 13:52:07 2014 +0300
@@ -0,0 +1,7 @@
+void fpcrtl_halt(int num) {
+    __coverity_panic__();
+}
+
+int fpcrtl_abs(int num) {
+    return num >= 0 ? num : -num;
+}