| Server IP : 80.87.202.40 / Your IP : 216.73.216.169 Web Server : Apache System : Linux rospirotorg.ru 5.14.0-539.el9.x86_64 #1 SMP PREEMPT_DYNAMIC Thu Dec 5 22:26:13 UTC 2024 x86_64 User : bitrix ( 600) PHP Version : 8.2.27 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : OFF | Sudo : ON | Pkexec : ON Directory : /usr/src/kernels/5.14.0-539.el9.x86_64/scripts/coccinelle/misc/ |
Upload File : |
// 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")