ACIL FM

Nama	Ukuran	Aksi
add_namespace.cocci	837 B	View DL Edit
array_size.cocci	1.69 MB	View DL Edit
array_size_dup.cocci	4.78 MB	View DL Edit
badty.cocci	1.69 MB	View DL Edit
boolconv.cocci	1.47 MB	View DL Edit
boolreturn.cocci	698 B	View DL Edit
bugon.cocci	1.48 MB	View DL Edit
cond_no_effect.cocci	2.07 MB	View DL Edit
cstptr.cocci	852 B	View DL Edit
doubleinit.cocci	1.38 MB	View DL Edit
excluded_middle.cocci	677 B	View DL Edit
flexible_array.cocci	1.78 MB	View DL Edit
ifaddr.cocci	684 B	View DL Edit
ifcol.cocci	1.23 MB	View DL Edit
irqf_oneshot.cocci	1.96 MB	View DL Edit
minmax.cocci	3.21 MB	View DL Edit
newline_in_nl_msg.cocci	1.61 MB	View DL Edit
noderef.cocci	1.19 MB	View DL Edit
of_table.cocci	1.33 MB	View DL Edit
orplus.cocci	1.03 MB	View DL Edit
returnvar.cocci	1.26 MB	View DL Edit
semicolon.cocci	1.07 MB	View DL Edit
swap.cocci	1.48 MB	View DL Edit
uninitialized_var.cocci	1.59 MB	View DL Edit
warn.cocci	1.65 MB	View DL Edit

Edit file: /usr/src/kernels/5.14.0-611.27.1.el9_7.x86_64/scripts/coccinelle/misc/cond_no_effect.cocci

// SPDX-License-Identifier: GPL-2.0-only
///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.
// 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)")

Batal