On Thu, Mar 22, 2018 at 02:40:32PM +0800, Liuyixian (Eason) wrote: > > > 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? Can I help you? make ARCH=arm64 CROSS_COMPILE=aarch64-linux-gnu- \ CHECK="/home/liuyixian/smatch/smatch -p=kernel" \ C=1 drivers/infiniband/hw/hns/ include/uapi/rdma/ | tee warns.txt Thanks > > 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
Attachment:
signature.asc
Description: PGP signature
