hedgewars: misc/coverity_model.c@1b1d5729ff3e (annotated)

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	}