1*4882a593Smuzhiyun// SPDX-License-Identifier: GPL-2.0-only 2*4882a593Smuzhiyun/// 3*4882a593Smuzhiyun/// Condition !A || A && B is equivalent to !A || B. 4*4882a593Smuzhiyun/// 5*4882a593Smuzhiyun// Confidence: High 6*4882a593Smuzhiyun// Copyright: (C) 2020 Denis Efremov ISPRAS 7*4882a593Smuzhiyun// Options: --no-includes --include-headers 8*4882a593Smuzhiyun 9*4882a593Smuzhiyunvirtual patch 10*4882a593Smuzhiyunvirtual context 11*4882a593Smuzhiyunvirtual org 12*4882a593Smuzhiyunvirtual report 13*4882a593Smuzhiyun 14*4882a593Smuzhiyun@r depends on !patch@ 15*4882a593Smuzhiyunexpression A, B; 16*4882a593Smuzhiyunposition p; 17*4882a593Smuzhiyun@@ 18*4882a593Smuzhiyun 19*4882a593Smuzhiyun* !A || (A &&@p B) 20*4882a593Smuzhiyun 21*4882a593Smuzhiyun@depends on patch@ 22*4882a593Smuzhiyunexpression A, B; 23*4882a593Smuzhiyun@@ 24*4882a593Smuzhiyun 25*4882a593Smuzhiyun !A || 26*4882a593Smuzhiyun- (A && B) 27*4882a593Smuzhiyun+ B 28*4882a593Smuzhiyun 29*4882a593Smuzhiyun@script:python depends on report@ 30*4882a593Smuzhiyunp << r.p; 31*4882a593Smuzhiyun@@ 32*4882a593Smuzhiyun 33*4882a593Smuzhiyuncoccilib.report.print_report(p[0], "WARNING !A || A && B is equivalent to !A || B") 34*4882a593Smuzhiyun 35*4882a593Smuzhiyun@script:python depends on org@ 36*4882a593Smuzhiyunp << r.p; 37*4882a593Smuzhiyun@@ 38*4882a593Smuzhiyun 39*4882a593Smuzhiyuncoccilib.org.print_todo(p[0], "WARNING !A || A && B is equivalent to !A || B") 40