mvc/model/manager.c: fix warnings produced by scan-build
kernel/framework/router.c: fix warnings found by scan-build