https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86514
--- Comment #5 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- Author: ebotcazou Date: Mon Jul 16 09:02:03 2018 New Revision: 262685 URL: https://gcc.gnu.org/viewcvs?rev=262685&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: branches/gcc-8-branch/gcc/testsuite/gnat.dg/opt73.adb - copied unchanged from r262684, trunk/gcc/testsuite/gnat.dg/opt73.adb Modified: branches/gcc-8-branch/gcc/ChangeLog branches/gcc-8-branch/gcc/testsuite/ChangeLog branches/gcc-8-branch/gcc/tree-ssa-reassoc.c