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



[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