On 2018/3/20 17:39, Dan Carpenter wrote: > On Tue, Mar 20, 2018 at 09:00:31AM +0800, Liuyixian (Eason) wrote: >> Hi Dan, >> >> Could you tell me which checker tools have you used for checking out this warning? >> > > This is a Smatch warning. > > regards, > dan carpenter > Hi Dan, Thanks for your response! Actually, I have used smatch for some time. It seems that it can check only one folder with my current configuration: make ARCH=arm64 CROSS_COMPILE=aarch64-linux-gnu- \ CHECK="/home/liuyixian/smatch/smatch -p=kernel" \ C=1 drivers/infiniband/hw/hns/ | tee warns.txt Obviously, the other folder include/uapi/rdma/ also needs to be added. I don't know how to config it to check out the above mentioned warning. Yesterday I have searched on google, but there isn't enough material. Could you help me? Regards Eason -- To unsubscribe from this list: send the line "unsubscribe linux-rdma" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
