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 Thanks > > > > > 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
