]> git.karo-electronics.de Git - linux-beck.git/commit
iommu/vt-d: Convert non-returned local variable to boolean when relevant
authorQuentin Lambert <lambert.quentin@gmail.com>
Fri, 6 Feb 2015 09:59:53 +0000 (10:59 +0100)
committerJoerg Roedel <jroedel@suse.de>
Tue, 3 Mar 2015 13:13:20 +0000 (14:13 +0100)
commit2f119c7895af56ca26b8e94f4650145a4b1b0d12
treec78e7a594d8ccaf516d6eeb7c20a1a3b4330640c
parentc517d838eb7d07bbe9507871fab3931deccff539
iommu/vt-d: Convert non-returned local variable to boolean when relevant

This patch was produced using Coccinelle. A simplified version of the
semantic patch is:

@r exists@
identifier f;
local idexpression u8 x;
identifier xname;
@@

f(...) {
...when any
(
  x@xname = 1;
|
  x@xname = 0;
)
...when any
}

@bad exists@
identifier r.f;
local idexpression u8 r.x
expression e1 != {0, 1}, e2;
@@

f(...) {
...when any
(
  x = e1;
|
  x + e2
)
...when any
}

@depends on !bad@
identifier r.f;
local idexpression u8 r.x;
identifier r.xname;
@@

f(...) {
...
++ bool xname;
- int xname;
<...
(
  x =
- 1
+ true
|
  x =
- -1
+ false
)
...>

}

Signed-off-by: Quentin Lambert <lambert.quentin@gmail.com>
Signed-off-by: Joerg Roedel <jroedel@suse.de>
drivers/iommu/intel-iommu.c
drivers/iommu/intel_irq_remapping.c