All of lore.kernel.org
 help / color / mirror / Atom feed
* arch/powerpc/kernel/process.c:447 giveup_all() warn: bitwise AND condition is false here
@ 2021-06-22 11:41 kernel test robot
  0 siblings, 0 replies; 4+ messages in thread
From: kernel test robot @ 2021-06-22 11:41 UTC (permalink / raw)
  To: kbuild

[-- Attachment #1: Type: text/plain, Size: 3861 bytes --]

CC: kbuild-all(a)lists.01.org
CC: linux-kernel(a)vger.kernel.org
TO: Christophe Leroy <christophe.leroy@csgroup.eu>
CC: Michael Ellerman <mpe@ellerman.id.au>

tree:   https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
head:   a96bfed64c8986d6404e553f18203cae1f5ac7e6
commit: 532ed1900d37a47c821718a0d8d28eb05b2c4d28 powerpc/process: Remove useless #ifdef CONFIG_SPE
date:   9 months ago
:::::: branch date: 19 hours ago
:::::: commit date: 9 months ago
config: powerpc64-randconfig-m031-20210622 (attached as .config)
compiler: powerpc64le-linux-gcc (GCC) 9.3.0

If you fix the issue, kindly add following tag as appropriate
Reported-by: kernel test robot <lkp@intel.com>
Reported-by: Dan Carpenter <dan.carpenter@oracle.com>

New smatch warnings:
arch/powerpc/kernel/process.c:447 giveup_all() warn: bitwise AND condition is false here

Old smatch warnings:
arch/powerpc/kernel/process.c:589 save_all() warn: bitwise AND condition is false here
arch/powerpc/kernel/process.c:1963 get_fpexc_mode() error: uninitialized symbol 'val'.

vim +447 arch/powerpc/kernel/process.c

c208505900b232 Anton Blanchard        2015-10-29  422  
c208505900b232 Anton Blanchard        2015-10-29  423  void giveup_all(struct task_struct *tsk)
c208505900b232 Anton Blanchard        2015-10-29  424  {
c208505900b232 Anton Blanchard        2015-10-29  425  	unsigned long usermsr;
c208505900b232 Anton Blanchard        2015-10-29  426  
c208505900b232 Anton Blanchard        2015-10-29  427  	if (!tsk->thread.regs)
c208505900b232 Anton Blanchard        2015-10-29  428  		return;
c208505900b232 Anton Blanchard        2015-10-29  429  
8205d5d98ef7f1 Gustavo Romero         2019-09-04  430  	check_if_tm_restore_required(tsk);
8205d5d98ef7f1 Gustavo Romero         2019-09-04  431  
c208505900b232 Anton Blanchard        2015-10-29  432  	usermsr = tsk->thread.regs->msr;
c208505900b232 Anton Blanchard        2015-10-29  433  
c208505900b232 Anton Blanchard        2015-10-29  434  	if ((usermsr & msr_all_available) == 0)
c208505900b232 Anton Blanchard        2015-10-29  435  		return;
c208505900b232 Anton Blanchard        2015-10-29  436  
c208505900b232 Anton Blanchard        2015-10-29  437  	msr_check_and_set(msr_all_available);
c208505900b232 Anton Blanchard        2015-10-29  438  
96c79b6bd74039 Benjamin Herrenschmidt 2017-08-16  439  	WARN_ON((usermsr & MSR_VSX) && !((usermsr & MSR_FP) && (usermsr & MSR_VEC)));
96c79b6bd74039 Benjamin Herrenschmidt 2017-08-16  440  
c208505900b232 Anton Blanchard        2015-10-29  441  #ifdef CONFIG_PPC_FPU
c208505900b232 Anton Blanchard        2015-10-29  442  	if (usermsr & MSR_FP)
c208505900b232 Anton Blanchard        2015-10-29  443  		__giveup_fpu(tsk);
c208505900b232 Anton Blanchard        2015-10-29  444  #endif
c208505900b232 Anton Blanchard        2015-10-29  445  	if (usermsr & MSR_VEC)
c208505900b232 Anton Blanchard        2015-10-29  446  		__giveup_altivec(tsk);
c208505900b232 Anton Blanchard        2015-10-29 @447  	if (usermsr & MSR_SPE)
c208505900b232 Anton Blanchard        2015-10-29  448  		__giveup_spe(tsk);
c208505900b232 Anton Blanchard        2015-10-29  449  
c208505900b232 Anton Blanchard        2015-10-29  450  	msr_check_and_clear(msr_all_available);
c208505900b232 Anton Blanchard        2015-10-29  451  }
c208505900b232 Anton Blanchard        2015-10-29  452  EXPORT_SYMBOL(giveup_all);
c208505900b232 Anton Blanchard        2015-10-29  453  

:::::: The code at line 447 was first introduced by commit
:::::: c208505900b232ecdc81dee54cb3a032e75d88d6 powerpc: create giveup_all()

:::::: TO: Anton Blanchard <anton@samba.org>
:::::: CC: Michael Ellerman <mpe@ellerman.id.au>

---
0-DAY CI Kernel Test Service, Intel Corporation
https://lists.01.org/hyperkitty/list/kbuild-all(a)lists.01.org

[-- Attachment #2: config.gz --]
[-- Type: application/gzip, Size: 32843 bytes --]

^ permalink raw reply	[flat|nested] 4+ messages in thread

* arch/powerpc/kernel/process.c:447 giveup_all() warn: bitwise AND condition is false here
@ 2021-09-10  6:36 kernel test robot
  0 siblings, 0 replies; 4+ messages in thread
From: kernel test robot @ 2021-09-10  6:36 UTC (permalink / raw)
  To: kbuild

[-- Attachment #1: Type: text/plain, Size: 3863 bytes --]

CC: kbuild-all(a)lists.01.org
CC: linux-kernel(a)vger.kernel.org
TO: Christophe Leroy <christophe.leroy@csgroup.eu>
CC: Michael Ellerman <mpe@ellerman.id.au>

tree:   https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
head:   bf9f243f23e6623f310ba03fbb14e10ec3a61290
commit: 532ed1900d37a47c821718a0d8d28eb05b2c4d28 powerpc/process: Remove useless #ifdef CONFIG_SPE
date:   12 months ago
:::::: branch date: 7 hours ago
:::::: commit date: 12 months ago
config: powerpc64-randconfig-m031-20210910 (attached as .config)
compiler: powerpc64le-linux-gcc (GCC) 11.2.0

If you fix the issue, kindly add following tag as appropriate
Reported-by: kernel test robot <lkp@intel.com>
Reported-by: Dan Carpenter <dan.carpenter@oracle.com>

New smatch warnings:
arch/powerpc/kernel/process.c:447 giveup_all() warn: bitwise AND condition is false here

Old smatch warnings:
arch/powerpc/kernel/process.c:589 save_all() warn: bitwise AND condition is false here
arch/powerpc/kernel/process.c:1963 get_fpexc_mode() error: uninitialized symbol 'val'.

vim +447 arch/powerpc/kernel/process.c

c208505900b232 Anton Blanchard        2015-10-29  422  
c208505900b232 Anton Blanchard        2015-10-29  423  void giveup_all(struct task_struct *tsk)
c208505900b232 Anton Blanchard        2015-10-29  424  {
c208505900b232 Anton Blanchard        2015-10-29  425  	unsigned long usermsr;
c208505900b232 Anton Blanchard        2015-10-29  426  
c208505900b232 Anton Blanchard        2015-10-29  427  	if (!tsk->thread.regs)
c208505900b232 Anton Blanchard        2015-10-29  428  		return;
c208505900b232 Anton Blanchard        2015-10-29  429  
8205d5d98ef7f1 Gustavo Romero         2019-09-04  430  	check_if_tm_restore_required(tsk);
8205d5d98ef7f1 Gustavo Romero         2019-09-04  431  
c208505900b232 Anton Blanchard        2015-10-29  432  	usermsr = tsk->thread.regs->msr;
c208505900b232 Anton Blanchard        2015-10-29  433  
c208505900b232 Anton Blanchard        2015-10-29  434  	if ((usermsr & msr_all_available) == 0)
c208505900b232 Anton Blanchard        2015-10-29  435  		return;
c208505900b232 Anton Blanchard        2015-10-29  436  
c208505900b232 Anton Blanchard        2015-10-29  437  	msr_check_and_set(msr_all_available);
c208505900b232 Anton Blanchard        2015-10-29  438  
96c79b6bd74039 Benjamin Herrenschmidt 2017-08-16  439  	WARN_ON((usermsr & MSR_VSX) && !((usermsr & MSR_FP) && (usermsr & MSR_VEC)));
96c79b6bd74039 Benjamin Herrenschmidt 2017-08-16  440  
c208505900b232 Anton Blanchard        2015-10-29  441  #ifdef CONFIG_PPC_FPU
c208505900b232 Anton Blanchard        2015-10-29  442  	if (usermsr & MSR_FP)
c208505900b232 Anton Blanchard        2015-10-29  443  		__giveup_fpu(tsk);
c208505900b232 Anton Blanchard        2015-10-29  444  #endif
c208505900b232 Anton Blanchard        2015-10-29  445  	if (usermsr & MSR_VEC)
c208505900b232 Anton Blanchard        2015-10-29  446  		__giveup_altivec(tsk);
c208505900b232 Anton Blanchard        2015-10-29 @447  	if (usermsr & MSR_SPE)
c208505900b232 Anton Blanchard        2015-10-29  448  		__giveup_spe(tsk);
c208505900b232 Anton Blanchard        2015-10-29  449  
c208505900b232 Anton Blanchard        2015-10-29  450  	msr_check_and_clear(msr_all_available);
c208505900b232 Anton Blanchard        2015-10-29  451  }
c208505900b232 Anton Blanchard        2015-10-29  452  EXPORT_SYMBOL(giveup_all);
c208505900b232 Anton Blanchard        2015-10-29  453  

:::::: The code at line 447 was first introduced by commit
:::::: c208505900b232ecdc81dee54cb3a032e75d88d6 powerpc: create giveup_all()

:::::: TO: Anton Blanchard <anton@samba.org>
:::::: CC: Michael Ellerman <mpe@ellerman.id.au>

---
0-DAY CI Kernel Test Service, Intel Corporation
https://lists.01.org/hyperkitty/list/kbuild-all(a)lists.01.org

[-- Attachment #2: config.gz --]
[-- Type: application/gzip, Size: 33386 bytes --]

^ permalink raw reply	[flat|nested] 4+ messages in thread

* arch/powerpc/kernel/process.c:447 giveup_all() warn: bitwise AND condition is false here
@ 2021-08-10  6:09 kernel test robot
  0 siblings, 0 replies; 4+ messages in thread
From: kernel test robot @ 2021-08-10  6:09 UTC (permalink / raw)
  To: kbuild

[-- Attachment #1: Type: text/plain, Size: 3857 bytes --]

CC: kbuild-all(a)lists.01.org
CC: linux-kernel(a)vger.kernel.org
TO: Christophe Leroy <christophe.leroy@csgroup.eu>
CC: Michael Ellerman <mpe@ellerman.id.au>

tree:   https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
head:   9a73fa375d58fee5262dd16473c8e7522bdf44de
commit: 532ed1900d37a47c821718a0d8d28eb05b2c4d28 powerpc/process: Remove useless #ifdef CONFIG_SPE
date:   11 months ago
:::::: branch date: 6 hours ago
:::::: commit date: 11 months ago
config: powerpc-randconfig-m031-20210809 (attached as .config)
compiler: powerpc-linux-gcc (GCC) 10.3.0

If you fix the issue, kindly add following tag as appropriate
Reported-by: kernel test robot <lkp@intel.com>
Reported-by: Dan Carpenter <dan.carpenter@oracle.com>

New smatch warnings:
arch/powerpc/kernel/process.c:447 giveup_all() warn: bitwise AND condition is false here

Old smatch warnings:
arch/powerpc/kernel/process.c:589 save_all() warn: bitwise AND condition is false here
arch/powerpc/kernel/process.c:1963 get_fpexc_mode() error: uninitialized symbol 'val'.

vim +447 arch/powerpc/kernel/process.c

c208505900b232 Anton Blanchard        2015-10-29  422  
c208505900b232 Anton Blanchard        2015-10-29  423  void giveup_all(struct task_struct *tsk)
c208505900b232 Anton Blanchard        2015-10-29  424  {
c208505900b232 Anton Blanchard        2015-10-29  425  	unsigned long usermsr;
c208505900b232 Anton Blanchard        2015-10-29  426  
c208505900b232 Anton Blanchard        2015-10-29  427  	if (!tsk->thread.regs)
c208505900b232 Anton Blanchard        2015-10-29  428  		return;
c208505900b232 Anton Blanchard        2015-10-29  429  
8205d5d98ef7f1 Gustavo Romero         2019-09-04  430  	check_if_tm_restore_required(tsk);
8205d5d98ef7f1 Gustavo Romero         2019-09-04  431  
c208505900b232 Anton Blanchard        2015-10-29  432  	usermsr = tsk->thread.regs->msr;
c208505900b232 Anton Blanchard        2015-10-29  433  
c208505900b232 Anton Blanchard        2015-10-29  434  	if ((usermsr & msr_all_available) == 0)
c208505900b232 Anton Blanchard        2015-10-29  435  		return;
c208505900b232 Anton Blanchard        2015-10-29  436  
c208505900b232 Anton Blanchard        2015-10-29  437  	msr_check_and_set(msr_all_available);
c208505900b232 Anton Blanchard        2015-10-29  438  
96c79b6bd74039 Benjamin Herrenschmidt 2017-08-16  439  	WARN_ON((usermsr & MSR_VSX) && !((usermsr & MSR_FP) && (usermsr & MSR_VEC)));
96c79b6bd74039 Benjamin Herrenschmidt 2017-08-16  440  
c208505900b232 Anton Blanchard        2015-10-29  441  #ifdef CONFIG_PPC_FPU
c208505900b232 Anton Blanchard        2015-10-29  442  	if (usermsr & MSR_FP)
c208505900b232 Anton Blanchard        2015-10-29  443  		__giveup_fpu(tsk);
c208505900b232 Anton Blanchard        2015-10-29  444  #endif
c208505900b232 Anton Blanchard        2015-10-29  445  	if (usermsr & MSR_VEC)
c208505900b232 Anton Blanchard        2015-10-29  446  		__giveup_altivec(tsk);
c208505900b232 Anton Blanchard        2015-10-29 @447  	if (usermsr & MSR_SPE)
c208505900b232 Anton Blanchard        2015-10-29  448  		__giveup_spe(tsk);
c208505900b232 Anton Blanchard        2015-10-29  449  
c208505900b232 Anton Blanchard        2015-10-29  450  	msr_check_and_clear(msr_all_available);
c208505900b232 Anton Blanchard        2015-10-29  451  }
c208505900b232 Anton Blanchard        2015-10-29  452  EXPORT_SYMBOL(giveup_all);
c208505900b232 Anton Blanchard        2015-10-29  453  

:::::: The code at line 447 was first introduced by commit
:::::: c208505900b232ecdc81dee54cb3a032e75d88d6 powerpc: create giveup_all()

:::::: TO: Anton Blanchard <anton@samba.org>
:::::: CC: Michael Ellerman <mpe@ellerman.id.au>

---
0-DAY CI Kernel Test Service, Intel Corporation
https://lists.01.org/hyperkitty/list/kbuild-all(a)lists.01.org

[-- Attachment #2: config.gz --]
[-- Type: application/gzip, Size: 37238 bytes --]

^ permalink raw reply	[flat|nested] 4+ messages in thread

* arch/powerpc/kernel/process.c:447 giveup_all() warn: bitwise AND condition is false here
@ 2021-02-27  9:26 kernel test robot
  0 siblings, 0 replies; 4+ messages in thread
From: kernel test robot @ 2021-02-27  9:26 UTC (permalink / raw)
  To: kbuild

[-- Attachment #1: Type: text/plain, Size: 3859 bytes --]

CC: kbuild-all(a)lists.01.org
CC: linux-kernel(a)vger.kernel.org
TO: Christophe Leroy <christophe.leroy@csgroup.eu>
CC: Michael Ellerman <mpe@ellerman.id.au>

tree:   https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
head:   3fb6d0e00efc958d01c2f109c8453033a2d96796
commit: 532ed1900d37a47c821718a0d8d28eb05b2c4d28 powerpc/process: Remove useless #ifdef CONFIG_SPE
date:   6 months ago
:::::: branch date: 11 hours ago
:::::: commit date: 6 months ago
config: powerpc64-randconfig-m031-20210226 (attached as .config)
compiler: powerpc64-linux-gcc (GCC) 9.3.0

If you fix the issue, kindly add following tag as appropriate
Reported-by: kernel test robot <lkp@intel.com>
Reported-by: Dan Carpenter <dan.carpenter@oracle.com>

New smatch warnings:
arch/powerpc/kernel/process.c:447 giveup_all() warn: bitwise AND condition is false here

Old smatch warnings:
arch/powerpc/kernel/process.c:589 save_all() warn: bitwise AND condition is false here
arch/powerpc/kernel/process.c:1963 get_fpexc_mode() error: uninitialized symbol 'val'.

vim +447 arch/powerpc/kernel/process.c

c208505900b232 Anton Blanchard        2015-10-29  422  
c208505900b232 Anton Blanchard        2015-10-29  423  void giveup_all(struct task_struct *tsk)
c208505900b232 Anton Blanchard        2015-10-29  424  {
c208505900b232 Anton Blanchard        2015-10-29  425  	unsigned long usermsr;
c208505900b232 Anton Blanchard        2015-10-29  426  
c208505900b232 Anton Blanchard        2015-10-29  427  	if (!tsk->thread.regs)
c208505900b232 Anton Blanchard        2015-10-29  428  		return;
c208505900b232 Anton Blanchard        2015-10-29  429  
8205d5d98ef7f1 Gustavo Romero         2019-09-04  430  	check_if_tm_restore_required(tsk);
8205d5d98ef7f1 Gustavo Romero         2019-09-04  431  
c208505900b232 Anton Blanchard        2015-10-29  432  	usermsr = tsk->thread.regs->msr;
c208505900b232 Anton Blanchard        2015-10-29  433  
c208505900b232 Anton Blanchard        2015-10-29  434  	if ((usermsr & msr_all_available) == 0)
c208505900b232 Anton Blanchard        2015-10-29  435  		return;
c208505900b232 Anton Blanchard        2015-10-29  436  
c208505900b232 Anton Blanchard        2015-10-29  437  	msr_check_and_set(msr_all_available);
c208505900b232 Anton Blanchard        2015-10-29  438  
96c79b6bd74039 Benjamin Herrenschmidt 2017-08-16  439  	WARN_ON((usermsr & MSR_VSX) && !((usermsr & MSR_FP) && (usermsr & MSR_VEC)));
96c79b6bd74039 Benjamin Herrenschmidt 2017-08-16  440  
c208505900b232 Anton Blanchard        2015-10-29  441  #ifdef CONFIG_PPC_FPU
c208505900b232 Anton Blanchard        2015-10-29  442  	if (usermsr & MSR_FP)
c208505900b232 Anton Blanchard        2015-10-29  443  		__giveup_fpu(tsk);
c208505900b232 Anton Blanchard        2015-10-29  444  #endif
c208505900b232 Anton Blanchard        2015-10-29  445  	if (usermsr & MSR_VEC)
c208505900b232 Anton Blanchard        2015-10-29  446  		__giveup_altivec(tsk);
c208505900b232 Anton Blanchard        2015-10-29 @447  	if (usermsr & MSR_SPE)
c208505900b232 Anton Blanchard        2015-10-29  448  		__giveup_spe(tsk);
c208505900b232 Anton Blanchard        2015-10-29  449  
c208505900b232 Anton Blanchard        2015-10-29  450  	msr_check_and_clear(msr_all_available);
c208505900b232 Anton Blanchard        2015-10-29  451  }
c208505900b232 Anton Blanchard        2015-10-29  452  EXPORT_SYMBOL(giveup_all);
c208505900b232 Anton Blanchard        2015-10-29  453  

:::::: The code at line 447 was first introduced by commit
:::::: c208505900b232ecdc81dee54cb3a032e75d88d6 powerpc: create giveup_all()

:::::: TO: Anton Blanchard <anton@samba.org>
:::::: CC: Michael Ellerman <mpe@ellerman.id.au>

---
0-DAY CI Kernel Test Service, Intel Corporation
https://lists.01.org/hyperkitty/list/kbuild-all(a)lists.01.org

[-- Attachment #2: config.gz --]
[-- Type: application/gzip, Size: 34914 bytes --]

^ permalink raw reply	[flat|nested] 4+ messages in thread

end of thread, other threads:[~2021-09-10  6:36 UTC | newest]

Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-06-22 11:41 arch/powerpc/kernel/process.c:447 giveup_all() warn: bitwise AND condition is false here kernel test robot
  -- strict thread matches above, loose matches on Subject: below --
2021-09-10  6:36 kernel test robot
2021-08-10  6:09 kernel test robot
2021-02-27  9:26 kernel test robot

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.