On 2018/3/22 15:27, Leon Romanovsky wrote: > 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 I have attempted to config as you suggested. It reports: ./scripts/Makefile.build:45: include/uapi/rdma/Makefile: No such file or directory make[1]: *** No rule to make target `include/uapi/rdma/Makefile'. Stop. make: *** [include/uapi/rdma/] Error 2 > > 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 -- 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
