| // SPDX-License-Identifier: GPL-2.0-only |
| /// |
| /// Condition !A || A && B is equivalent to !A || B. |
| /// |
| // Confidence: High |
| // Copyright: (C) 2020 Denis Efremov ISPRAS |
| // Options: --no-includes --include-headers |
| |
| virtual patch |
| virtual context |
| virtual org |
| virtual report |
| |
| @r depends on !patch@ |
| expression A, B; |
| position p; |
| @@ |
| |
| * !A || (A &&@p B) |
| |
| @depends on patch@ |
| expression A, B; |
| @@ |
| |
| !A || |
| - (A && B) |
| + B |
| |
| @script:python depends on report@ |
| p << r.p; |
| @@ |
| |
| coccilib.report.print_report(p[0], "WARNING !A || A && B is equivalent to !A || B") |
| |
| @script:python depends on org@ |
| p << r.p; |
| @@ |
| |
| coccilib.org.print_todo(p[0], "WARNING !A || A && B is equivalent to !A || B") |
