https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112738
--- Comment #3 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The trunk branch has been updated by Andrew Pinski <pins...@gcc.gnu.org>: https://gcc.gnu.org/g:68ffaf839883253e0f288862ff20b8005c92df4e commit r14-5938-g68ffaf839883253e0f288862ff20b8005c92df4e Author: Andrew Pinski <quic_apin...@quicinc.com> Date: Mon Nov 27 16:41:25 2023 -0800 MATCH: Fix invalid signed boolean type usage This fixes the incorrect assumption that was done in r14-3721-ge6bcf839894783, that being able to doing the negative after the conversion would be a valid thing but really it is not valid for boolean types. Bootstrapped and tested on x86_64-linux-gnu. gcc/ChangeLog: PR tree-optimization/112738 * match.pd (`(nop_convert)-(convert)a`): Reject when the outer type is boolean. Signed-off-by: Andrew Pinski <quic_apin...@quicinc.com>
