mvc/model/criteria.c: fix warnings produced by scan-build