Remove double checks, and move the call to pr_devel to the
first check. The simplified version of the coccinelle semantic
patch that fixes this issue is as follows:

// <smpl>
@@
expression E; identifier pr; expression list es;
@@
for(...;...;...){
...
-       if (E) break;
+       if (E){
+               pr(es);
+               break;
+       }
...
}
- if(E) pr(es);
// </smpl>

Tested by compilation only.

Signed-off-by: Peter Senna Tschudin <peter.se...@gmail.com>

---
 drivers/misc/vmw_vmci/vmci_context.c |    8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/drivers/misc/vmw_vmci/vmci_context.c 
b/drivers/misc/vmw_vmci/vmci_context.c
index f866a4b..3995e64 100644
--- a/drivers/misc/vmw_vmci/vmci_context.c
+++ b/drivers/misc/vmw_vmci/vmci_context.c
@@ -836,12 +836,12 @@ int vmci_ctx_set_chkpt_state(u32 context_id,
        for (i = 0; i < num_ids && result == VMCI_SUCCESS; i++) {
                current_id = ((u32 *)cpt_buf)[i];
                result = vmci_ctx_add_notification(context_id, current_id);
-               if (result != VMCI_SUCCESS)
+               if (result != VMCI_SUCCESS) {
+                       pr_devel("Failed to set cpt state (type=%d) 
(error=%d)\n",
+                                cpt_type, result);
                        break;
+               }
        }
-       if (result != VMCI_SUCCESS)
-               pr_devel("Failed to set cpt state (type=%d) (error=%d)\n",
-                        cpt_type, result);
 
        return result;
 }

--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majord...@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/

Reply via email to