Hello Dan, On Mon, 16 Jan 2017, Dan Carpenter wrote: > The patch c8500e120b81: "s390/cio: use cssid for pgid generation" > from Jun 17, 2016, leads to the following static checker warning: > > drivers/s390/cio/css.c:707 css_generate_pgid() > warn: impossible condition '(css->cssid < 0) => (0-255 < 0)' > Thanks for your report. This issue was already known and should be fixed by now. What's puzzling me, is that c8500e120b81 actually is the fixed version where cssid is a signed int. So with commit c8500e120b81 you should no longer see this warning. Regards, Sebastian -- To unsubscribe from this list: send the line "unsubscribe linux-s390" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
