https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79123
--- Comment #3 from Aldy Hernandez <aldyh at gcc dot gnu.org> --- Author: aldyh Date: Tue Jan 24 09:50:33 2017 New Revision: 244859 URL: https://gcc.gnu.org/viewcvs?rev=244859&root=gcc&view=rev Log: PR middle-end/79123 * gimple-ssa-warn-alloca.c (alloca_call_type): Make sure casts from signed to unsigned really don't have a range. Added: trunk/gcc/testsuite/gcc.dg/Walloca-13.c Modified: trunk/gcc/ChangeLog trunk/gcc/gimple-ssa-warn-alloca.c