On 2018/3/22 16:06, Leon Romanovsky wrote: > On Thu, Mar 22, 2018 at 03:36:48PM +0800, Liuyixian (Eason) wrote: >> >> >> 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 > > I tried it now, it is without "/" at the end, but don't know if it works > as expected. > > ➜ kernel git:(rdma-next) make -s -j 64 CHECK="/images/src/smatch/smatch > -p=kernel" C=1 drivers/infiniband/hw/mlx5/ include/uapi/rdma > Hi Leon, As Dan said, smatch is not set up for cross compile. I have just moved to an aarch64 platform. Smatch works fine with your command and I get the leak warning. Moreover, without "/" is needed. Thank you very much! Eason > >> >>> >>> 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
