1 // SPDX-License-Identifier: GPL-2.0-only 2 /// 3 /// Condition !A || A && B is equivalent to !A || B. 4 /// 5 // Confidence: High 6 // Copyright: (C) 2020 Denis Efremov ISPRAS 7 // Options: --no-includes --include-headers 8 9 virtual patch 10 virtual context 11 virtual org 12 virtual report 13 14 @r depends on !patch@ 15 expression A, B; 16 position p; 17 @@ 18 19 * !A || (A &&@p B) 20 21 @depends on patch@ 22 expression A, B; 23 @@ 24 25 !A || 26 - (A && B) 27 + B 28 29 @script:python depends on report@ 30 p << r.p; 31 @@ 32 33 coccilib.report.print_report(p[0], "WARNING !A || A && B is equivalent to !A || B") 34 35 @script:python depends on org@ 36 p << r.p; 37 @@ 38 39 coccilib.org.print_todo(p[0], "WARNING !A || A && B is equivalent to !A || B")
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.