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) /// Condition !A || A && B is equivalent to !A || B.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  4) ///
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  5) // Confidence: High
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  6) // Copyright: (C) 2020 Denis Efremov ISPRAS
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  7) // Options: --no-includes --include-headers
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  8) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  9) virtual patch
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 10) virtual context
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 11) virtual org
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 12) virtual report
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 13) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 14) @r depends on !patch@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 15) expression A, B;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 16) position p;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 17) @@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 18) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 19) * !A || (A &&@p B)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 20) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 21) @depends on patch@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 22) expression A, B;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 23) @@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 24) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 25)   !A ||
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 26) -       (A && B)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 27) +       B
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 28) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 29) @script:python depends on report@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 30) p << r.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) coccilib.report.print_report(p[0], "WARNING !A || A && B is equivalent to !A || B")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 34) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 35) @script:python depends on org@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 36) p << r.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) coccilib.org.print_todo(p[0], "WARNING !A || A && B is equivalent to !A || B")