diff options
| author | Kaveh R. Ghazi <ghazi@caip.rutgers.edu> | 2000-12-19 01:17:20 +0000 |
|---|---|---|
| committer | Kaveh Ghazi <ghazi@gcc.gnu.org> | 2000-12-19 01:17:20 +0000 |
| commit | 9d2dc7da92fe49bbe74ce104538cb307d57d5241 (patch) | |
| tree | 23b18faca8ab99ff8e2cc6d506b05afe56fdd6e8 /gcc/fold-const.c | |
| parent | d0b6af711c43f070719fa06f4bc154405377b295 (diff) | |
| download | gcc-9d2dc7da92fe49bbe74ce104538cb307d57d5241.zip gcc-9d2dc7da92fe49bbe74ce104538cb307d57d5241.tar.gz gcc-9d2dc7da92fe49bbe74ce104538cb307d57d5241.tar.bz2 | |
fold-const.c (tree_expr_nonnegative_p): Treat truth values as non-negative.
* fold-const.c (tree_expr_nonnegative_p): Treat truth values as
non-negative.
testsuite:
* gcc.dg/compare3.c: New test.
From-SVN: r38374
Diffstat (limited to 'gcc/fold-const.c')
| -rw-r--r-- | gcc/fold-const.c | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/gcc/fold-const.c b/gcc/fold-const.c index d8131fa..a0a76b2 100644 --- a/gcc/fold-const.c +++ b/gcc/fold-const.c @@ -7299,8 +7299,12 @@ tree_expr_nonnegative_p (t) return rtl_expr_nonnegative_p (RTL_EXPR_RTL (t)); default: - /* We don't know sign of `t', so be safe and return false. */ - return 0; + if (truth_value_p (TREE_CODE (t))) + /* Truth values evaluate to 0 or 1, which is nonnegative. */ + return 1; + else + /* We don't know sign of `t', so be conservative and return false. */ + return 0; } } |