diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2013-01-08 09:38:50 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2013-01-08 09:38:50 +0100 |
| commit | 3138f2246b22bc25d3204a7b942abadc2a15ad9e (patch) | |
| tree | 48ad8a156759328e7f7fee5c86e53d54f81d4cfa | |
| parent | 5f4e6de31f84daa0bcaf1c8e388b6eee9bf359b1 (diff) | |
| download | gcc-3138f2246b22bc25d3204a7b942abadc2a15ad9e.zip gcc-3138f2246b22bc25d3204a7b942abadc2a15ad9e.tar.gz gcc-3138f2246b22bc25d3204a7b942abadc2a15ad9e.tar.bz2 | |
re PR tree-optimization/55890 (calling a builtin func through a cast triggers an ICE)
PR middle-end/55890
* tree-ssa-ccp.c (evaluate_stmt): Use gimple_call_builtin_p.
* gcc.dg/torture/pr55890-3.c: New test.
From-SVN: r195008
| -rw-r--r-- | gcc/ChangeLog | 3 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 3 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/torture/pr55890-3.c | 9 | ||||
| -rw-r--r-- | gcc/tree-ssa-ccp.c | 8 |
4 files changed, 18 insertions, 5 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 379de4d..7d9f569 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,8 @@ 2013-01-08 Jakub Jelinek <jakub@redhat.com> + PR middle-end/55890 + * tree-ssa-ccp.c (evaluate_stmt): Use gimple_call_builtin_p. + PR tree-optimization/54120 * tree-vrp.c (range_fits_type_p): Don't allow src_precision < precision from signed vr to unsigned_p diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index c0159bc..ffef63a 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,8 @@ 2013-01-08 Jakub Jelinek <jakub@redhat.com> + PR middle-end/55890 + * gcc.dg/torture/pr55890-3.c: New test. + PR middle-end/55851 * gcc.c-torture/compile/pr55851.c: New test. diff --git a/gcc/testsuite/gcc.dg/torture/pr55890-3.c b/gcc/testsuite/gcc.dg/torture/pr55890-3.c new file mode 100644 index 0000000..c7f77be --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr55890-3.c @@ -0,0 +1,9 @@ +/* { dg-do compile } */ + +void *memmove (); + +void * +bar () +{ + return memmove (); +} diff --git a/gcc/tree-ssa-ccp.c b/gcc/tree-ssa-ccp.c index 4e56544..29f169d 100644 --- a/gcc/tree-ssa-ccp.c +++ b/gcc/tree-ssa-ccp.c @@ -1,6 +1,6 @@ /* Conditional constant propagation pass for the GNU compiler. Copyright (C) 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, - 2010, 2011, 2012 Free Software Foundation, Inc. + 2010, 2011, 2012, 2013 Free Software Foundation, Inc. Adapted from original RTL SSA-CCP by Daniel Berlin <dberlin@dberlin.org> Adapted to GIMPLE trees by Diego Novillo <dnovillo@redhat.com> @@ -1546,7 +1546,6 @@ evaluate_stmt (gimple stmt) && !is_constant) { enum gimple_code code = gimple_code (stmt); - tree fndecl; val.lattice_val = VARYING; val.value = NULL_TREE; val.mask = double_int_minus_one; @@ -1593,10 +1592,9 @@ evaluate_stmt (gimple stmt) || POINTER_TYPE_P (TREE_TYPE (rhs1))) val = bit_value_binop (code, TREE_TYPE (rhs1), rhs1, rhs2); } - else if (code == GIMPLE_CALL - && (fndecl = gimple_call_fndecl (stmt)) - && DECL_BUILT_IN_CLASS (fndecl) == BUILT_IN_NORMAL) + else if (gimple_call_builtin_p (stmt, BUILT_IN_NORMAL)) { + tree fndecl = gimple_call_fndecl (stmt); switch (DECL_FUNCTION_CODE (fndecl)) { case BUILT_IN_MALLOC: |