On Thu, Oct 13, 2016 at 09:58:47AM +0300, Dan Carpenter wrote: > Hello Huang Ying, > > The patch c413d7682020: "ACPI, APEI, Add PCIe AER error information > printing support" from Feb 21, 2011, leads to the following static > checker warning: > > drivers/pci/pcie/aer/aerdrv_errprint.c:229 cper_print_aer() > warn: bool comparison is always 'false' Hi Dan, Thanks a lot for the report. Do you have any plans for integrating smatch into the kernel build process like sparse is? I think I did figure out how to run smatch myself, but it wasn't quite as easy as "apt-get install sparse; make C=2". Bjorn -- To unsubscribe from this list: send the line "unsubscribe linux-pci" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html