[Bug tree-optimization/44061] [4.6/4.7/4.8 Regression] Warns about out-of-bounds array access inside __builtin_constant_p guarded section

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44061



--- Comment #8 from Richard Biener <rguenth at gcc dot gnu.org> 2013-01-11 
10:20:13 UTC ---

Author: rguenth

Date: Fri Jan 11 10:20:02 2013

New Revision: 195103



URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=195103

Log:

2012-01-11  Richard Guenther  <rguent...@suse.de>



    PR tree-optimization/44061

    * tree-vrp.c (extract_range_basic): Compute zero as

    value-range for __builtin_constant_p of function parameters.



    * gcc.dg/pr44061.c: New testcase.



Added:

    trunk/gcc/testsuite/gcc.dg/pr44061.c

Modified:

    trunk/gcc/ChangeLog

    trunk/gcc/testsuite/ChangeLog

    trunk/gcc/tree-vrp.c