[Bug tree-optimization/44061] [4.6/4.7 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 #10 from Richard Biener <rguenth at gcc dot gnu.org> 2013-02-04 
15:49:29 UTC ---

Author: rguenth

Date: Mon Feb  4 15:49:18 2013

New Revision: 195718



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

Log:

2013-02-04  Richard Biener  <rguent...@suse.de>



    Backport from mainline

    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.



    2013-01-08  Jakub Jelinek  <ja...@redhat.com>



    PR middle-end/55890

    * tree-ssa-ccp.c (evaluate_stmt): Use gimple_call_builtin_class_p.



    * gcc.dg/torture/pr55890-3.c: New test.



Added:

    branches/gcc-4_7-branch/gcc/testsuite/gcc.dg/pr44061.c

    branches/gcc-4_7-branch/gcc/testsuite/gcc.dg/torture/pr55890-3.c

Modified:

    branches/gcc-4_7-branch/gcc/ChangeLog

    branches/gcc-4_7-branch/gcc/testsuite/ChangeLog

    branches/gcc-4_7-branch/gcc/tree-ssa-ccp.c

    branches/gcc-4_7-branch/gcc/tree-vrp.c