https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67830
--- Comment #6 from Jeffrey A. Law <law at gcc dot gnu.org> --- Author: law Date: Fri Oct 23 19:16:53 2015 New Revision: 229267 URL: https://gcc.gnu.org/viewcvs?rev=229267&root=gcc&view=rev Log: [RFA] Fix pr67830, another type narrowing problem PR tree-optimization/67830 * match.pd ((bit_and (plus/minus (convert @0) (convert @1)) mask)): Explicitly verify the mask has no bits outside the type of the innermost operands. PR tree-optimization/67830 * gcc.dg/pr67830.c: New test. Added: trunk/gcc/testsuite/gcc.dg/pr67830.c Modified: trunk/gcc/ChangeLog trunk/gcc/match.pd trunk/gcc/testsuite/ChangeLog