Hi, I'm working on some new Smatch stuff and so I'm finding old bugs and emailing bug reports. ---- This is a semi-automatic email about new static checker warnings. The patch 68fe255cd15c: "V4L/DVB (13799): [Mantis] Unregister frontend" from Dec 4, 2009, leads to the following Smatch complaint: drivers/media/dvb/mantis/mantis_dvb.c:251 mantis_dvb_init() error: we previously assumed 'mantis->fe' could be null (see line 228) drivers/media/dvb/mantis/mantis_dvb.c 227 } else { 228 if (mantis->fe == NULL) { 229 dprintk(MANTIS_ERROR, 1, "FE <NULL>"); 230 goto err5; "mantis->fe" is NULL on this path. 231 } 232 233 if (dvb_register_frontend(&mantis->dvb_adapter, mantis->fe)) { 234 dprintk(MANTIS_ERROR, 1, "ERROR: Frontend registration failed"); 235 236 if (mantis->fe->ops.release) 237 mantis->fe->ops.release(mantis->fe); 238 239 mantis->fe = NULL; And here. 240 goto err5; 241 } 242 } 243 } 244 245 return 0; 246 247 /* Error conditions .. */ 248 err5: 249 tasklet_kill(&mantis->tasklet); 250 dvb_net_release(&mantis->dvbnet); 251 dvb_unregister_frontend(mantis->fe); ^^^^^^^^^^^^^^^^^^^^^^^ This new call to dvb_unregister_frontend() was added but it can't handle NULL pointers. 252 dvb_frontend_detach(mantis->fe); 253 err4: regards, dan carpenter -- To unsubscribe from this list: send the line "unsubscribe linux-media" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html