mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-03-22 10:51:19 +08:00
Code Issues Packages Projects Releases Wiki Activity

20030807-2.c: Make sure to run VRP.

Browse Source 
* gcc.dg/tree-ssa/20030807-2.c: Make sure to run VRP.

From-SVN: r112240
This commit is contained in:
Jeff Law 2006-03-20 20:44:56 -07:00 committed by Jeff Law
parent 0ed5edac59
commit 39a404c5ab
2 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,7 @@
2006-03-20 Jeff Law <law@redhat.com>
* gcc.dg/tree-ssa/20030807-2.c: Make sure to run VRP.
2006-03-20 Richard Sandiford <richard@codesourcery.com>
* lib/target-supports.exp (check_no_compiler_messages): New procedure.

2
gcc/testsuite/gcc.dg/tree-ssa/20030807-2.c
View File

@ -1,5 +1,5 @@
/* { dg-do compile } */
/* { dg-options "-O1 -fdump-tree-dom3" } */
/* { dg-options "-O1 -ftree-vrp -fdump-tree-dom3" } */
extern void abort (void);