scripts/coccinelle/misc/swap.cocci

Source file repositories/reference/linux-study-clean/scripts/coccinelle/misc/swap.cocci

File Facts

System
Linux kernel
Corpus path
scripts/coccinelle/misc/swap.cocci
Extension
.cocci
Size
1517 bytes
Lines
123
Domain
Support Tooling And Documentation
Bucket
scripts
Inferred role
Support Tooling And Documentation: scripts
Status
atlas-only

Why This File Exists

Repository support layer: documentation, build tooling, samples, user-space helper tools, generated initramfs support, licenses, and validation utilities.

Dependency Surface

Detected Declarations

Annotated Snippet

// SPDX-License-Identifier: GPL-2.0-only
///
/// Check for opencoded swap() implementation.
///
// Confidence: High
// Copyright: (C) 2021 Denis Efremov ISPRAS
// Options: --no-includes --include-headers
//
// Keywords: swap
//

virtual patch
virtual org
virtual report
virtual context

@rvar depends on !patch@
identifier tmp;
expression a, b;
type T;
position p;
@@

(
* T tmp;
|
* T tmp = 0;
|
* T *tmp = NULL;
)
... when != tmp
* tmp = a;
* a = b;@p
* b = tmp;
... when != tmp

@r depends on !patch@
identifier tmp;
expression a, b;
position p != rvar.p;
@@

* tmp = a;
* a = b;@p
* b = tmp;

@rpvar depends on patch@
identifier tmp;
expression a, b;
type T;
@@

(
- T tmp;
|
- T tmp = 0;
|
- T *tmp = NULL;
)
... when != tmp
- tmp = a;
- a = b;
- b = tmp
+ swap(a, b)
  ;
... when != tmp

@rp depends on patch@
identifier tmp;
expression a, b;

Annotation

Implementation Notes