[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  <rguenther@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