Coccinelle reports warnings at rcu_preempt_ctxt_queue()

WARNING: sum of probable bitmasks, consider |

The root cause is the use of addition operator + for bitmask defined macros 
variables
Replacing + with | fixes the issue.

Signed-off-by: Jules Irenge <jbi.oct...@gmail.com>
---
 kernel/rcu/tree_plugin.h | 22 +++++++++++-----------
 1 file changed, 11 insertions(+), 11 deletions(-)

diff --git a/kernel/rcu/tree_plugin.h b/kernel/rcu/tree_plugin.h
index 097635c41135..a20135ece06a 100644
--- a/kernel/rcu/tree_plugin.h
+++ b/kernel/rcu/tree_plugin.h
@@ -153,9 +153,9 @@ static void rcu_preempt_ctxt_queue(struct rcu_node *rnp, 
struct rcu_data *rdp)
        switch (blkd_state) {
        case 0:
        case                RCU_EXP_TASKS:
-       case                RCU_EXP_TASKS + RCU_GP_BLKD:
+       case                RCU_EXP_TASKS | RCU_GP_BLKD:
        case RCU_GP_TASKS:
-       case RCU_GP_TASKS + RCU_EXP_TASKS:
+       case RCU_GP_TASKS | RCU_EXP_TASKS:
 
                /*
                 * Blocking neither GP, or first task blocking the normal
@@ -168,10 +168,10 @@ static void rcu_preempt_ctxt_queue(struct rcu_node *rnp, 
struct rcu_data *rdp)
 
        case                                              RCU_EXP_BLKD:
        case                                RCU_GP_BLKD:
-       case                                RCU_GP_BLKD + RCU_EXP_BLKD:
-       case RCU_GP_TASKS +                               RCU_EXP_BLKD:
-       case RCU_GP_TASKS +                 RCU_GP_BLKD + RCU_EXP_BLKD:
-       case RCU_GP_TASKS + RCU_EXP_TASKS + RCU_GP_BLKD + RCU_EXP_BLKD:
+       case                                RCU_GP_BLKD | RCU_EXP_BLKD:
+       case RCU_GP_TASKS |                               RCU_EXP_BLKD:
+       case RCU_GP_TASKS |                 RCU_GP_BLKD | RCU_EXP_BLKD:
+       case RCU_GP_TASKS | RCU_EXP_TASKS | RCU_GP_BLKD | RCU_EXP_BLKD:
 
                /*
                 * First task arriving that blocks either GP, or first task
@@ -184,9 +184,9 @@ static void rcu_preempt_ctxt_queue(struct rcu_node *rnp, 
struct rcu_data *rdp)
                list_add_tail(&t->rcu_node_entry, &rnp->blkd_tasks);
                break;
 
-       case                RCU_EXP_TASKS +               RCU_EXP_BLKD:
-       case                RCU_EXP_TASKS + RCU_GP_BLKD + RCU_EXP_BLKD:
-       case RCU_GP_TASKS + RCU_EXP_TASKS +               RCU_EXP_BLKD:
+       case                RCU_EXP_TASKS |               RCU_EXP_BLKD:
+       case                RCU_EXP_TASKS | RCU_GP_BLKD | RCU_EXP_BLKD:
+       case RCU_GP_TASKS | RCU_EXP_TASKS |               RCU_EXP_BLKD:
 
                /*
                 * Second or subsequent task blocking the expedited GP.
@@ -197,8 +197,8 @@ static void rcu_preempt_ctxt_queue(struct rcu_node *rnp, 
struct rcu_data *rdp)
                list_add(&t->rcu_node_entry, rnp->exp_tasks);
                break;
 
-       case RCU_GP_TASKS +                 RCU_GP_BLKD:
-       case RCU_GP_TASKS + RCU_EXP_TASKS + RCU_GP_BLKD:
+       case RCU_GP_TASKS |                 RCU_GP_BLKD:
+       case RCU_GP_TASKS | RCU_EXP_TASKS | RCU_GP_BLKD:
 
                /*
                 * Second or subsequent task blocking the normal GP.
-- 
2.18.2

Reply via email to