bcl5980 added a comment. Note: `!(X || Y) && Y --> false` will be trigged on `SpecCPU2017\benchspec\CPU\502.gcc_r\src\insn-attrtab.c` CHANGES SINCE LAST ACTION https://reviews.llvm.org/D138700/new/ https://reviews.llvm.org/D138700