Re: arch/arm/mm/fault.c:210:24: sparse: sparse: incorrect type in return expression (different base types)

[Kefeng Wang]

https://lore.kernel.org/linux-arm-kernel/20211115075834.156838-1-wangkefeng.wang@xxxxxxxxxx/

On 2021/11/17 4:14, kernel test robot wrote:
> tree:   https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
> head:   8ab774587903771821b59471cc723bba6d893942
> commit: caed89dab0ca0e73d7e016c04e1f5957650f4ec3 ARM: 9128/1: mm: Refactor the __do_page_fault()
> date:   4 weeks ago
> config: arm-randconfig-s031-20211116 (attached as .config)
> compiler: arm-linux-gnueabi-gcc (GCC) 11.2.0
> reproduce:
>          wget https://raw.githubusercontent.com/intel/lkp-tests/master/sbin/make.cross -O ~/bin/make.cross
>          chmod +x ~/bin/make.cross
>          # apt-get install sparse
>          # sparse version: v0.6.4-dirty
>          # https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/?id=caed89dab0ca0e73d7e016c04e1f5957650f4ec3
>          git remote add linus https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
>          git fetch --no-tags linus master
>          git checkout caed89dab0ca0e73d7e016c04e1f5957650f4ec3
>          # save the attached .config to linux build tree
>          COMPILER_INSTALL_PATH=$HOME/0day COMPILER=gcc-11.2.0 make.cross C=1 CF='-fdiagnostic-prefix -D__CHECK_ENDIAN__' O=build_dir ARCH=arm SHELL=/bin/bash arch/arm/mm/
>
> If you fix the issue, kindly add following tag as appropriate
> Reported-by: kernel test robot <lkp@xxxxxxxxx>
>
>
> sparse warnings: (new ones prefixed by >>)
> > > arch/arm/mm/fault.c:210:24: sparse: sparse: incorrect type in return expression (different base types) @@     expected restricted vm_fault_t @@     got int @@
>     arch/arm/mm/fault.c:210:24: sparse:     expected restricted vm_fault_t
>     arch/arm/mm/fault.c:210:24: sparse:     got int
>     arch/arm/mm/fault.c:214:32: sparse: sparse: incorrect type in return expression (different base types) @@     expected restricted vm_fault_t @@     got int @@
>     arch/arm/mm/fault.c:214:32: sparse:     expected restricted vm_fault_t
>     arch/arm/mm/fault.c:214:32: sparse:     got int
>     arch/arm/mm/fault.c:216:32: sparse: sparse: incorrect type in return expression (different base types) @@     expected restricted vm_fault_t @@     got int @@
>     arch/arm/mm/fault.c:216:32: sparse:     expected restricted vm_fault_t
>     arch/arm/mm/fault.c:216:32: sparse:     got int
>     arch/arm/mm/fault.c:218:32: sparse: sparse: incorrect type in return expression (different base types) @@     expected restricted vm_fault_t @@     got int @@
>     arch/arm/mm/fault.c:218:32: sparse:     expected restricted vm_fault_t
>     arch/arm/mm/fault.c:218:32: sparse:     got int
>     arch/arm/mm/fault.c:226:24: sparse: sparse: incorrect type in return expression (different base types) @@     expected restricted vm_fault_t @@     got int @@
>     arch/arm/mm/fault.c:226:24: sparse:     expected restricted vm_fault_t
>     arch/arm/mm/fault.c:226:24: sparse:     got int
>     arch/arm/mm/fault.c:312:13: sparse: sparse: restricted vm_fault_t degrades to integer
>     arch/arm/mm/fault.c:312:13: sparse: sparse: restricted vm_fault_t degrades to integer
>     arch/arm/mm/fault.c:345:24: sparse: sparse: restricted vm_fault_t degrades to integer