https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86514
--- Comment #4 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- Author: ebotcazou Date: Mon Jul 16 08:59:09 2018 New Revision: 262684 URL: https://gcc.gnu.org/viewcvs?rev=262684&root=gcc&view=rev Log: PR tree-optimization/86514 * tree-ssa-reassoc.c (init_range_entry) <CASE_CONVERT>: Return for a conversion to a boolean type from a type with greater precision. Added: trunk/gcc/testsuite/gnat.dg/opt73.adb Modified: trunk/gcc/ChangeLog trunk/gcc/testsuite/ChangeLog trunk/gcc/tree-ssa-reassoc.c