This commit is contained in:
Jakub Jelinek 2008-08-14 07:10:39 +00:00
parent a7c5134730
commit f60b61efff
2 changed files with 60 additions and 1 deletions

56
gcc43-pr37103.patch Normal file
View File

@ -0,0 +1,56 @@
2008-08-13 Jakub Jelinek <jakub@redhat.com>
PR middle-end/37103
* fold-const.c (fold_widened_comparison): Do not allow
sign changes that change the result even if shorter type
is wider than arg1_unw's type.
* gcc.c-torture/execute/20080813-1.c: New test.
--- gcc/fold-const.c.jj 2008-08-13 19:46:11.000000000 +0200
+++ gcc/fold-const.c 2008-08-13 20:18:21.000000000 +0200
@@ -6733,10 +6733,8 @@ fold_widened_comparison (enum tree_code
if ((code == EQ_EXPR || code == NE_EXPR
|| TYPE_UNSIGNED (TREE_TYPE (arg0)) == TYPE_UNSIGNED (shorter_type))
&& (TREE_TYPE (arg1_unw) == shorter_type
- || (TYPE_PRECISION (shorter_type)
- > TYPE_PRECISION (TREE_TYPE (arg1_unw)))
|| ((TYPE_PRECISION (shorter_type)
- == TYPE_PRECISION (TREE_TYPE (arg1_unw)))
+ >= TYPE_PRECISION (TREE_TYPE (arg1_unw)))
&& (TYPE_UNSIGNED (shorter_type)
== TYPE_UNSIGNED (TREE_TYPE (arg1_unw))))
|| (TREE_CODE (arg1_unw) == INTEGER_CST
--- gcc/testsuite/gcc.c-torture/execute/20080813-1.c.jj 2008-08-13 20:22:56.000000000 +0200
+++ gcc/testsuite/gcc.c-torture/execute/20080813-1.c 2008-08-13 20:22:10.000000000 +0200
@@ -0,0 +1,30 @@
+/* PR middle-end/37103 */
+
+extern void abort (void);
+
+void
+foo (unsigned short x)
+{
+ signed char y = -1;
+ if (x == y)
+ abort ();
+}
+
+void
+bar (unsigned short x)
+{
+ unsigned char y = -1;
+ if (x == y)
+ abort ();
+}
+
+int
+main (void)
+{
+ if (sizeof (int) == sizeof (short))
+ return 0;
+ foo (-1);
+ if (sizeof (short) > 1)
+ bar (-1);
+ return 0;
+}

View File

@ -143,6 +143,7 @@ Patch13: gcc43-i386-libgomp.patch
Patch14: gcc43-rh251682.patch Patch14: gcc43-rh251682.patch
Patch15: gcc43-sparc-config-detection.patch Patch15: gcc43-sparc-config-detection.patch
Patch16: gcc43-libgomp-omp_h-multilib.patch Patch16: gcc43-libgomp-omp_h-multilib.patch
Patch17: gcc43-pr37103.patch
# On ARM EABI systems, we do want -gnueabi to be part of the # On ARM EABI systems, we do want -gnueabi to be part of the
# target triple. # target triple.
@ -443,6 +444,7 @@ which are required to run programs compiled with the GNAT.
%patch14 -p0 -b .rh251682~ %patch14 -p0 -b .rh251682~
%patch15 -p0 -b .sparc-config-detection~ %patch15 -p0 -b .sparc-config-detection~
%patch16 -p0 -b .libgomp-omp_h-multilib~ %patch16 -p0 -b .libgomp-omp_h-multilib~
%patch17 -p0 -b .pr37103~
tar xzf %{SOURCE4} tar xzf %{SOURCE4}
@ -1664,13 +1666,14 @@ fi
%doc rpm.doc/changelogs/libmudflap/ChangeLog* %doc rpm.doc/changelogs/libmudflap/ChangeLog*
%changelog %changelog
* Tue Aug 12 2008 Jakub Jelinek <jakub@redhat.com> 4.3.1-7 * Thu Aug 14 2008 Jakub Jelinek <jakub@redhat.com> 4.3.1-7
- update from gcc-4_3-branch - update from gcc-4_3-branch
- PRs bootstrap/35752, c++/36688, c++/36999, c++/37016, c/35746, - PRs bootstrap/35752, c++/36688, c++/36999, c++/37016, c/35746,
fortran/36582, libgcj/31890, middle-end/35432, middle-end/36691, fortran/36582, libgcj/31890, middle-end/35432, middle-end/36691,
middle-end/37014, middle-end/37026, middle-end/37042, middle-end/37014, middle-end/37026, middle-end/37042,
rtl-optimization/35542, rtl-optimization/36998, target/35659, rtl-optimization/35542, rtl-optimization/36998, target/35659,
target/36613, tree-optimization/36991 target/36613, tree-optimization/36991
- fix folding of widened comparisons (PR middle-end/37103)
* Fri Aug 1 2008 Jakub Jelinek <jakub@redhat.com> 4.3.1-6 * Fri Aug 1 2008 Jakub Jelinek <jakub@redhat.com> 4.3.1-6
- update from gcc-4_3-branch - update from gcc-4_3-branch