[PATCH v3 1/2] dmaengine: add interface of dma_get_slave_channel

zhangfei zhangfei.gao at linaro.org
Mon Aug 26 22:04:48 EDT 2013


On 13-08-20 04:13 PM, Dan Carpenter wrote:
> On Tue, Aug 20, 2013 at 03:58:41PM +0800, zhangfei gao wrote:
>
>> BTW, it is strange I do not see such compile warning here :(
>
> This was a Smatch static checker warning, not a regular build
> warning.
>
> regards,
> dan carpenter
>
Dear Dan

Thanks for introducing this valuable tool.
Have download from git://repo.or.cz/smatch.git

When trying use this tool, could get some warning,
make CHECK="~/bin/smatch -p=kernel --no-data" C=1 | tee warns.txt

Also some strange warning, like "SQL error #2: no such table: 
caller_info", is it ignored?

Besides, when test this case for check smatch setting.
Still not reproduce the issue, should be not config correct?

Only get
drivers/dma/dmaengine.c:845 dma_async_device_register() warn: possible 
memory leak of 'idr_ref'
drivers/dma/dmaengine.c:866 dma_async_device_register() warn: possible 
memory leak of 'idr_ref'

Anyway, though config not totally correct, it really could find some 
warning.

Thanks



More information about the linux-arm-kernel mailing list