diff options
| author | Diego Novillo <dnovillo@redhat.com> | 2005-08-19 18:08:55 +0000 |
|---|---|---|
| committer | Diego Novillo <dnovillo@gcc.gnu.org> | 2005-08-19 14:08:55 -0400 |
| commit | 52270a3cb5384afea9773dfc122412a0fcf5957e (patch) | |
| tree | e021dbfc4fa5df69c8229745ea8e626e837dee2f /gcc | |
| parent | 5c1c631ecfcaa838d1c0d38680b4070ab0372122 (diff) | |
| download | gcc-52270a3cb5384afea9773dfc122412a0fcf5957e.zip gcc-52270a3cb5384afea9773dfc122412a0fcf5957e.tar.gz gcc-52270a3cb5384afea9773dfc122412a0fcf5957e.tar.bz2 | |
re PR tree-optimization/23476 (ICE in VRP, remove_range_assertions)
PR 23476
* tree-cfgcleanup.c (cleanup_control_expr_graph): Fold the
conditional expression before testing its value.
PR 23476
* gcc.c-torture/compile/pr23476.c: New test.
From-SVN: r103290
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/compile/pr23476.c | 14 | ||||
| -rw-r--r-- | gcc/tree-cfgcleanup.c | 4 |
4 files changed, 27 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 7b7465a..f19ee5c 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,11 @@ 2005-08-19 Diego Novillo <dnovillo@redhat.com> + PR 23476 + * tree-cfgcleanup.c (cleanup_control_expr_graph): Fold the + conditional expression before testing its value. + +2005-08-19 Diego Novillo <dnovillo@redhat.com> + * doc/invoke.texi: Fix documentation for -ftree-dominator-opts. 2005-08-19 Devang Patel <dpatel@apple.com> diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index ffb5f05..5abaa13 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2005-08-19 Diego Novillo <dnovillo@redhat.com> + + PR 23476 + * gcc.c-torture/compile/pr23476.c: New test. + 2005-08-19 Devang Patel <dpatel@apple.com> PR tree-optimization/23048 diff --git a/gcc/testsuite/gcc.c-torture/compile/pr23476.c b/gcc/testsuite/gcc.c-torture/compile/pr23476.c new file mode 100644 index 0000000..9cccde6 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/pr23476.c @@ -0,0 +1,14 @@ +int h(int); +int t; +static inline int f(const int i) +{ + int tt = i; + _Bool a = i < t; + if (a) + return h(t); + return 9; +} +int g(void) +{ + return f(0x7FFFFFFF); +} diff --git a/gcc/tree-cfgcleanup.c b/gcc/tree-cfgcleanup.c index f8bca03..0f8bfc5 100644 --- a/gcc/tree-cfgcleanup.c +++ b/gcc/tree-cfgcleanup.c @@ -81,11 +81,11 @@ cleanup_control_expr_graph (basic_block bb, block_stmt_iterator bsi) switch (TREE_CODE (expr)) { case COND_EXPR: - val = COND_EXPR_COND (expr); + val = fold (COND_EXPR_COND (expr)); break; case SWITCH_EXPR: - val = SWITCH_COND (expr); + val = fold (SWITCH_COND (expr)); if (TREE_CODE (val) != INTEGER_CST) return false; break; |