Orange Pi5 kernel

^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  1) // SPDX-License-Identifier: GPL-2.0-only
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  2) ///
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  3) /// Remove unneeded semicolon.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  4) ///
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  5) // Confidence: Moderate
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  6) // Copyright: (C) 2012 Peter Senna Tschudin, INRIA/LIP6.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  7) // URL: http://coccinelle.lip6.fr/
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  8) // Comments: Some false positives on empty default cases in switch statements.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  9) // Options: --no-includes --include-headers
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 10) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 11) virtual patch
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 12) virtual report
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 13) virtual context
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 14) virtual org
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 15) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 16) @r_default@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 17) position p;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 18) @@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 19) switch (...)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 20) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 21) default: ...;@p
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 22) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 23) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 24) @r_case@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 25) position p;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 26) @@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 27) (
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 28) switch (...)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 29) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 30) case ...:;@p
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 31) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 32) |
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 33) switch (...)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 34) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 35) case ...:...
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 36) case ...:;@p
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 37) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 38) |
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 39) switch (...)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 40) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 41) case ...:...
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 42) case ...:
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 43) case ...:;@p
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 44) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 45) )
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 46) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 47) @r1@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 48) statement S;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 49) position p1;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 50) position p != {r_default.p, r_case.p};
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 51) identifier label;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 52) @@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 53) (
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 54) label:;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 55) |
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 56) S@p1;@p
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 57) )
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 58) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 59) @script:python@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 60) p << r1.p;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 61) p1 << r1.p1;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 62) @@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 63) if p[0].line != p1[0].line_end:
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 64) 	cocci.include_match(False)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 65) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 66) @depends on patch@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 67) position r1.p;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 68) @@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 69) -;@p
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 70) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 71) @script:python depends on report@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 72) p << r1.p;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 73) @@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 74) coccilib.report.print_report(p[0],"Unneeded semicolon")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 75) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 76) @depends on context@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 77) position r1.p;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 78) @@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 79) *;@p
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 80) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 81) @script:python depends on org@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 82) p << r1.p;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 83) @@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 84) cocci.print_main("Unneeded semicolon",p)