From 81e61fb4e6c11f360ee7cd5193fabac638ca0365 Mon Sep 17 00:00:00 2001 From: Volker Reichelt Date: Thu, 11 May 2006 14:58:54 +0000 Subject: re PR middle-end/27488 (ICE in tree_expr_nonnegative_p) PR middle-end/27488 * fold-const.c (tree_expr_nonnegative_p): Return early on invalid expression. * gcc.dg/fold-nonneg-1.c: New test. From-SVN: r113699 --- gcc/ChangeLog | 6 ++++++ gcc/fold-const.c | 3 +++ gcc/testsuite/ChangeLog | 3 +++ gcc/testsuite/gcc.dg/fold-nonneg-1.c | 10 ++++++++++ 4 files changed, 22 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/fold-nonneg-1.c (limited to 'gcc') diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 31f6974..7d27747 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2006-05-11 Volker Reichelt + + PR middle-end/27488 + * fold-const.c (tree_expr_nonnegative_p): Return early on invalid + expression. + 2006-05-11 Richard Guenther PR middle-end/27529 diff --git a/gcc/fold-const.c b/gcc/fold-const.c index ce68929..80d08c7 100644 --- a/gcc/fold-const.c +++ b/gcc/fold-const.c @@ -11796,6 +11796,9 @@ multiple_of_p (tree type, tree top, tree bottom) int tree_expr_nonnegative_p (tree t) { + if (t == error_mark_node) + return 0; + if (TYPE_UNSIGNED (TREE_TYPE (t))) return 1; diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 036f0df..27501e4 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,8 @@ 2006-05-11 Volker Reichelt + PR middle-end/27488 + * gcc.dg/fold-nonneg-1.c: New test. + PR c++/27547 * g++.dg/other/operator1.C: New test. diff --git a/gcc/testsuite/gcc.dg/fold-nonneg-1.c b/gcc/testsuite/gcc.dg/fold-nonneg-1.c new file mode 100644 index 0000000..03dae35 --- /dev/null +++ b/gcc/testsuite/gcc.dg/fold-nonneg-1.c @@ -0,0 +1,10 @@ +/* PR middle-end/27488 */ +/* { dg-do compile } */ + +extern double fabs(double x); +extern double sinh(double x); + +void foo() +{ + fabs(sinh(0..)); /* { dg-error "decimal points" } */ +} -- cgit v1.1