Re: [bug report] ACPI, APEI, Add PCIe AER error information printing support

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



On Thu, Oct 13, 2016 at 12:55:13PM -0500, Bjorn Helgaas wrote:
> 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

I don't know anything about packaging...  :/

regards,
dan carpenter

--
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



[Index of Archives]     [DMA Engine]     [Linux Coverity]     [Linux USB]     [Video for Linux]     [Linux Audio Users]     [Yosemite News]     [Linux Kernel]     [Linux SCSI]     [Greybus]

  Powered by Linux