diff options
| -rw-r--r-- | gcc/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/fold-const.c | 5 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 3 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/execute/20050106-1.c | 19 |
4 files changed, 30 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 6d610b4..7b8fca5 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,9 @@ 2005-01-07 Jakub Jelinek <jakub@redhat.com> + PR tree-optimization/19283 + * fold-const.c (fold_widened_comparison): Return NULL if shorter_type + is not shorter than the original type. + PR rtl-optimization/19012 * config/i386/i386.md (addqi_1_slp): Set memory attribute. diff --git a/gcc/fold-const.c b/gcc/fold-const.c index a3d1f1d..21ee14c 100644 --- a/gcc/fold-const.c +++ b/gcc/fold-const.c @@ -5993,7 +5993,10 @@ fold_widened_comparison (enum tree_code code, tree type, tree arg0, tree arg1) if (arg0_unw == arg0) return NULL_TREE; shorter_type = TREE_TYPE (arg0_unw); - + + if (TYPE_PRECISION (TREE_TYPE (arg0)) <= TYPE_PRECISION (shorter_type)) + return NULL_TREE; + arg1_unw = get_unwidened (arg1, shorter_type); if (!arg1_unw) return NULL_TREE; diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index fdfd601..321a27a 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,8 @@ 2005-01-07 Jakub Jelinek <jakub@redhat.com> + PR tree-optimization/19283 + * gcc.c-torture/execute/20050106-1.c: New test. + PR rtl-optimization/18861 * gcc.dg/20050105-1.c: New test. diff --git a/gcc/testsuite/gcc.c-torture/execute/20050106-1.c b/gcc/testsuite/gcc.c-torture/execute/20050106-1.c new file mode 100644 index 0000000..e49732d --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/20050106-1.c @@ -0,0 +1,19 @@ +/* PR tree-optimization/19283 */ + +void abort (void); + +static inline unsigned short +foo (unsigned int *p) +{ + return *p; +}; + +unsigned int u; + +int +main () +{ + if ((foo (&u) & 0x8000) != 0) + abort (); + return 0; +} |