[Bug testsuite/26344] [4.2 Regression] three testsuite failures in gcc.dg/tree-ssa/

["law at redhat dot com" <gcc-bugzilla at gcc dot gnu dot org>]

------- Comment #15 from law at redhat dot com  2006-03-13 16:37 -------
Subject: Re:   New: [4.2 Regression] three testsuite
        failures in gcc.dg/tree-ssa/

On Fri, 2006-02-17 at 18:21 +0000, pinskia at gcc dot gnu dot org wrote:
> FAIL: gcc.dg/tree-ssa/20030730-1.c scan-tree-dump-times if  0
> FAIL: gcc.dg/tree-ssa/20030730-2.c scan-tree-dump-times if  0
> FAIL: gcc.dg/tree-ssa/20030807-2.c scan-tree-dump-times if  0
Last week's patch fixed 20030730-1.c and 2000730-2.c.  This patch
fixes 20030807-2.c.

The existing VRP code never visits statements with virtual operands.
In general, that's a good thing -- fewer statements to visit means
less work and assignments with virtual operands are highly unlikely
to produce useful ranges.

However, there is one exception, when the RHS is a call to a
built-in function.  In that case we may be able to determine
non-null ranges (builtin-alloca) and in some cases we can 
determine non-negative ranges.

This patch allows VRP to visit assignments with virtual operands
in this one case (RHS is a call to a built-in function).  Once
that's done the existing machinery will automatically discover
ranges created by calls to these special built-in functions.

Bootstrapped and regression tested on i686-pc-linux-gnu.


------- Comment #16 from law at redhat dot com  2006-03-13 16:37 -------
Created an attachment (id=11042)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=11042&action=view)


-- 


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