https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110278
--- Comment #4 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Richard Biener <rgue...@gcc.gnu.org>: https://gcc.gnu.org/g:69b04fe7445c88edafd6983e28353a158e4314b5 commit r14-1883-g69b04fe7445c88edafd6983e28353a158e4314b5 Author: Richard Biener <rguent...@suse.de> Date: Fri Jun 16 11:47:45 2023 +0200 tree-optimization/110278 - uns < (typeof uns)(uns != 0) is always false The following adds two patterns simplifying comparisons, uns < (typeof uns)(uns != 0) is always false and x != (typeof x)(x == 0) is always true. PR tree-optimization/110278 * match.pd (uns < (typeof uns)(uns != 0) -> false): New. (x != (typeof x)(x == 0) -> true): Likewise.
