Geforce File Manager

NAME	SIZE	ACTIONS
📄 array_size.cocci	1,696 B	[ EDIT ] \| [ DEL ]
📄 badty.cocci	1,722 B	[ EDIT ] \| [ DEL ]
📄 boolconv.cocci	1,472 B	[ EDIT ] \| [ DEL ]
📄 boolinit.cocci	2,249 B	[ EDIT ] \| [ DEL ]
📄 boolreturn.cocci	698 B	[ EDIT ] \| [ DEL ]
📄 bugon.cocci	1,482 B	[ EDIT ] \| [ DEL ]
📄 cond_no_effect.cocci	2,088 B	[ EDIT ] \| [ DEL ]
📄 cstptr.cocci	827 B	[ EDIT ] \| [ DEL ]
📄 doubleinit.cocci	1,391 B	[ EDIT ] \| [ DEL ]
📄 ifaddr.cocci	659 B	[ EDIT ] \| [ DEL ]
📄 ifcol.cocci	1,241 B	[ EDIT ] \| [ DEL ]
📄 irqf_oneshot.cocci	1,951 B	[ EDIT ] \| [ DEL ]
📄 newline_in_nl_msg.cocci	1,650 B	[ EDIT ] \| [ DEL ]
📄 noderef.cocci	1,194 B	[ EDIT ] \| [ DEL ]
📄 of_table.cocci	1,366 B	[ EDIT ] \| [ DEL ]
📄 orplus.cocci	1,028 B	[ EDIT ] \| [ DEL ]
📄 returnvar.cocci	1,253 B	[ EDIT ] \| [ DEL ]
📄 semicolon.cocci	1,062 B	[ EDIT ] \| [ DEL ]
📄 warn.cocci	1,661 B	[ EDIT ] \| [ DEL ]

[ CLOSE ]

EDIT: cond_no_effect.cocci

///Find conditions where if and else branch are functionally
// identical.
//
// There can be false positives in cases where the positional
// information is used (as with lockdep) or where the identity
// is a placeholder for not yet handled cases.
// Unfortunately there also seems to be a tendency to use
// the last if else/else as a "default behavior" - which some
// might consider a legitimate coding pattern. From discussion
// on kernelnewbies though it seems that this is not really an
// accepted pattern and if at all it would need to be commented
//
// In the Linux kernel it does not seem to actually report
// false positives except for those that were documented as
// being intentional.
// the two known cases are:
//   arch/sh/kernel/traps_64.c:read_opcode()
//        } else if ((pc & 1) == 0) {
//              /* SHcompact */
//              /* TODO : provide handling for this.  We don't really support
//                 user-mode SHcompact yet, and for a kernel fault, this would
//                 have to come from a module built for SHcompact.  */
//              return -EFAULT;
//      } else {
//              /* misaligned */
//              return -EFAULT;
//      }
//   fs/kernfs/file.c:kernfs_fop_open()
//       * Both paths of the branch look the same.  They're supposed to
//       * look that way and give @of->mutex different static lockdep keys.
//       */
//      if (has_mmap)
//              mutex_init(&of->mutex);
//      else
//              mutex_init(&of->mutex);
//
// All other cases look like bugs or at least lack of documentation
//
// Confidence: Moderate
// Copyright: (C) 2016 Nicholas Mc Guire, OSADL.  GPLv2.
// Comments:
// Options: --no-includes --include-headers

virtual org
virtual report

@cond@
statement S1;
position p;
@@

* if@p (...) S1 else S1

@script:python depends on org@
p << cond.p;
@@

cocci.print_main("WARNING: possible condition with no effect (if == else)",p)

@script:python depends on report@
p << cond.p;
@@

coccilib.report.print_report(p[0],"WARNING: possible condition with no effect (if == else)")