18c2ecf20Sopenharmony_ci// SPDX-License-Identifier: GPL-2.0-only 28c2ecf20Sopenharmony_ci/// 38c2ecf20Sopenharmony_ci/// Condition !A || A && B is equivalent to !A || B. 48c2ecf20Sopenharmony_ci/// 58c2ecf20Sopenharmony_ci// Confidence: High 68c2ecf20Sopenharmony_ci// Copyright: (C) 2020 Denis Efremov ISPRAS 78c2ecf20Sopenharmony_ci// Options: --no-includes --include-headers 88c2ecf20Sopenharmony_ci 98c2ecf20Sopenharmony_civirtual patch 108c2ecf20Sopenharmony_civirtual context 118c2ecf20Sopenharmony_civirtual org 128c2ecf20Sopenharmony_civirtual report 138c2ecf20Sopenharmony_ci 148c2ecf20Sopenharmony_ci@r depends on !patch@ 158c2ecf20Sopenharmony_ciexpression A, B; 168c2ecf20Sopenharmony_ciposition p; 178c2ecf20Sopenharmony_ci@@ 188c2ecf20Sopenharmony_ci 198c2ecf20Sopenharmony_ci* !A || (A &&@p B) 208c2ecf20Sopenharmony_ci 218c2ecf20Sopenharmony_ci@depends on patch@ 228c2ecf20Sopenharmony_ciexpression A, B; 238c2ecf20Sopenharmony_ci@@ 248c2ecf20Sopenharmony_ci 258c2ecf20Sopenharmony_ci !A || 268c2ecf20Sopenharmony_ci- (A && B) 278c2ecf20Sopenharmony_ci+ B 288c2ecf20Sopenharmony_ci 298c2ecf20Sopenharmony_ci@script:python depends on report@ 308c2ecf20Sopenharmony_cip << r.p; 318c2ecf20Sopenharmony_ci@@ 328c2ecf20Sopenharmony_ci 338c2ecf20Sopenharmony_cicoccilib.report.print_report(p[0], "WARNING !A || A && B is equivalent to !A || B") 348c2ecf20Sopenharmony_ci 358c2ecf20Sopenharmony_ci@script:python depends on org@ 368c2ecf20Sopenharmony_cip << r.p; 378c2ecf20Sopenharmony_ci@@ 388c2ecf20Sopenharmony_ci 398c2ecf20Sopenharmony_cicoccilib.org.print_todo(p[0], "WARNING !A || A && B is equivalent to !A || B") 40