[rpms/gcc] rhel-f41-base: 5.0.0-0.17

[rpms/gcc] rhel-f41-base: 5.0.0-0.17

[Jakub Jelinek]

A new commit has been pushed.

Repo   : rpms/gcc
Branch : rhel-f41-base
Commit : 8ea1c6284332727b9db7459fa4e8d8a38667b1a8
Author : Jakub Jelinek <jakub@redhat.com>
Date   : 2015-02-26T20:53:27+01:00
Stats  : +0/-0 in 0 file(s)
URL    : https://src.fedoraproject.org/rpms/gcc/c/8ea1c6284332727b9db7459fa4e8d8a38667b1a8?branch=rhel-f41-base

Log:
5.0.0-0.17

[rpms/gcc] rhel-f41-base: 5.0.0-0.17

[Jakub Jelinek]

A new commit has been pushed.

Repo   : rpms/gcc
Branch : rhel-f41-base
Commit : d752cf184d34b98cde1d5f1516d08995df6b9348
Author : Jakub Jelinek <jakub@redhat.com>
Date   : 2015-02-26T20:54:05+01:00
Stats  : +3/-2 in 3 file(s)
URL    : https://src.fedoraproject.org/rpms/gcc/c/d752cf184d34b98cde1d5f1516d08995df6b9348?branch=rhel-f41-base

Log:
5.0.0-0.17

---
diff --git a/.gitignore b/.gitignore
index 3110f6a..01b217b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -9,3 +9,4 @@
 /gcc-5.0.0-20150216.tar.bz2
 /gcc-5.0.0-20150217.tar.bz2
 /gcc-5.0.0-20150224.tar.bz2
+/gcc-5.0.0-20150226.tar.bz2

diff --git a/gcc.spec b/gcc.spec
index 13c4689..4fbb4c2 100644
--- a/gcc.spec
+++ b/gcc.spec
@@ -2938,7 +2938,7 @@ fi
 %doc rpm.doc/changelogs/libcc1/ChangeLog*
 
 %changelog
-* Thu Feb 26 2015 Jakub Jelinek <jakub@redhat.com> 5.0.0-0.17
+ * Thu Feb 26 2015 Jakub Jelinek <jakub@redhat.com> 5.0.0-0.17
 - update from the trunk
   - PRs c++/65202, c++/65209, debug/46102, debug/58315, ipa/65008,
 	libgomp/64625, lto/64374, rtl-optimization/65123, target/47230,

diff --git a/sources b/sources
index 0ad0247..ba5c027 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-d5755adb2e9c48a868281ec654eab080  gcc-5.0.0-20150224.tar.bz2
+6906d4ba6f221b58c1b6878e870a236c  gcc-5.0.0-20150226.tar.bz2

[rpms/gcc] rhel-f41-base: 5.0.0-0.17

[Jakub Jelinek]

A new commit has been pushed.

Repo   : rpms/gcc
Branch : rhel-f41-base
Commit : addcbcb7503f5cc311a31a0657b57e5a79e0b0a4
Author : Jakub Jelinek <jakub@redhat.com>
Date   : 2015-02-26T20:54:16+01:00
Stats  : +1/-1 in 1 file(s)
URL    : https://src.fedoraproject.org/rpms/gcc/c/addcbcb7503f5cc311a31a0657b57e5a79e0b0a4?branch=rhel-f41-base

Log:
5.0.0-0.17

---
diff --git a/gcc.spec b/gcc.spec
index 4fbb4c2..13c4689 100644
--- a/gcc.spec
+++ b/gcc.spec
@@ -2938,7 +2938,7 @@ fi
 %doc rpm.doc/changelogs/libcc1/ChangeLog*
 
 %changelog
- * Thu Feb 26 2015 Jakub Jelinek <jakub@redhat.com> 5.0.0-0.17
+* Thu Feb 26 2015 Jakub Jelinek <jakub@redhat.com> 5.0.0-0.17
 - update from the trunk
   - PRs c++/65202, c++/65209, debug/46102, debug/58315, ipa/65008,
 	libgomp/64625, lto/64374, rtl-optimization/65123, target/47230,

[rpms/gcc] rhel-f41-base: 5.0.0-0.17

[Jakub Jelinek]

A new commit has been pushed.

Repo   : rpms/gcc
Branch : rhel-f41-base
Commit : e6685fa96922eb605f4fed88cfe48bec5303d650
Author : Jakub Jelinek <jakub@redhat.com>
Date   : 2015-02-26T20:53:08+01:00
Stats  : +0/-0 in 0 file(s)
URL    : https://src.fedoraproject.org/rpms/gcc/c/e6685fa96922eb605f4fed88cfe48bec5303d650?branch=rhel-f41-base

Log:
5.0.0-0.17

[rpms/gcc] rhel-f41-base: 5.0.0-0.17

[Jakub Jelinek]

A new commit has been pushed.

Repo   : rpms/gcc
Branch : rhel-f41-base
Commit : 8b4ef1c4cf7a2d729062abb8d2194193caed1723
Author : Jakub Jelinek <jakub@redhat.com>
Date   : 2015-02-26T20:45:50+01:00
Stats  : +388/-3 in 3 file(s)
URL    : https://src.fedoraproject.org/rpms/gcc/c/8b4ef1c4cf7a2d729062abb8d2194193caed1723?branch=rhel-f41-base

Log:
5.0.0-0.17

---
diff --git a/gcc.spec b/gcc.spec
index 159612f..13c4689 100644
--- a/gcc.spec
+++ b/gcc.spec
@@ -1,9 +1,9 @@
-%global DATE 20150224
-%global SVNREV 220934
+%global DATE 20150226
+%global SVNREV 221028
 %global gcc_version 5.0.0
 # Note, gcc_release must be integer, if you want to add suffixes to
 # %{release}, append them after %{gcc_release} on Release: line.
-%global gcc_release 0.16
+%global gcc_release 0.17
 %global _unpackaged_files_terminate_build 0
 %global _performance_build 1
 %global multilib_64_archs sparc64 ppc64 ppc64p7 s390x x86_64
@@ -199,6 +199,8 @@ Patch12: gcc5-libgo-p224.patch
 Patch13: gcc5-aarch64-async-unw-tables.patch
 Patch14: gcc5-libsanitize-aarch64-va42.patch
 Patch15: gcc5-arm-fnsect.patch
+Patch16: gcc5-pr65215.patch
+Patch17: gcc5-pr65216.patch
 
 # On ARM EABI systems, we do want -gnueabi to be part of the
 # target triple.
@@ -749,6 +751,8 @@ rm -f libgo/go/crypto/elliptic/p224{,_test}.go
 %patch13 -p0 -b .aarch64-async-unw-tables~
 %patch14 -p0 -b .libsanitize-aarch64-va42~
 %patch15 -p0 -b .arm-fnsect~
+%patch16 -p0 -b .pr65215~
+%patch17 -p0 -b .pr65216~
 
 %if 0%{?_enable_debug_packages}
 mkdir dwz-wrapper
@@ -2934,6 +2938,17 @@ fi
 %doc rpm.doc/changelogs/libcc1/ChangeLog*
 
 %changelog
+* Thu Feb 26 2015 Jakub Jelinek <jakub@redhat.com> 5.0.0-0.17
+- update from the trunk
+  - PRs c++/65202, c++/65209, debug/46102, debug/58315, ipa/65008,
+	libgomp/64625, lto/64374, rtl-optimization/65123, target/47230,
+	target/61142, target/64212, target/64997, target/65117, target/65161,
+	target/65167, target/65171, target/65196, target/65217,
+	tree-optimization/61917, tree-optimization/65048
+- fix bswap load optimization on big-endian (#1194704,
+  PR tree-optimization/65215)
+- fix reassociation (PR tree-optimization/65216)
+
 * Tue Feb 24 2015 Jakub Jelinek <jakub@redhat.com> 5.0.0-0.16
 - update from the trunk
   - PRs ada/65100, ada/65156, bootstrap/63888, debug/58123, fortran/61960,

diff --git a/gcc5-pr65215.patch b/gcc5-pr65215.patch
new file mode 100644
index 0000000..22fae07
--- /dev/null
+++ b/gcc5-pr65215.patch
@@ -0,0 +1,314 @@
+2015-02-26  Jakub Jelinek  <jakub@redhat.com>
+
+	PR tree-optimization/65215
+	* tree-ssa-math-opts.c (find_bswap_or_nop_load): Return false
+	for PDP endian targets.
+	(perform_symbolic_merge, find_bswap_or_nop_1, find_bswap_or_nop):
+	Fix up formatting issues.
+	(bswap_replace): Likewise.  For BYTES_BIG_ENDIAN, if the final access
+	size is smaller than the original, adjust MEM_REF offset by the
+	difference of sizes.  Use is_gimple_mem_ref_addr instead of
+	is_gimple_min_invariant test to avoid adding address temporaries.
+
+	* gcc.c-torture/execute/pr65215-1.c: New test.
+	* gcc.c-torture/execute/pr65215-2.c: New test.
+	* gcc.c-torture/execute/pr65215-3.c: New test.
+	* gcc.c-torture/execute/pr65215-4.c: New test.
+	* gcc.c-torture/execute/pr65215-5.c: New test.
+
+--- gcc/tree-ssa-math-opts.c.jj	2015-01-28 21:24:56.000000000 +0100
++++ gcc/tree-ssa-math-opts.c	2015-02-26 11:16:01.062024749 +0100
+@@ -1780,6 +1780,10 @@ find_bswap_or_nop_load (gimple stmt, tre
+   int unsignedp, volatilep;
+   tree offset, base_addr;
+ 
++  /* Not prepared to handle PDP endian.  */
++  if (BYTES_BIG_ENDIAN != WORDS_BIG_ENDIAN)
++    return false;
++
+   if (!gimple_assign_load_p (stmt) || gimple_has_volatile_ops (stmt))
+     return false;
+ 
+@@ -1860,8 +1864,8 @@ perform_symbolic_merge (gimple source_st
+ 	  || !operand_equal_p (n1->base_addr, n2->base_addr, 0))
+ 	return NULL;
+ 
+-      if (!n1->offset != !n2->offset ||
+-          (n1->offset && !operand_equal_p (n1->offset, n2->offset, 0)))
++      if (!n1->offset != !n2->offset
++	  || (n1->offset && !operand_equal_p (n1->offset, n2->offset, 0)))
+ 	return NULL;
+ 
+       if (n1->bytepos < n2->bytepos)
+@@ -1912,8 +1916,8 @@ perform_symbolic_merge (gimple source_st
+       size = TYPE_PRECISION (n1->type) / BITS_PER_UNIT;
+       for (i = 0; i < size; i++, inc <<= BITS_PER_MARKER)
+ 	{
+-	  unsigned marker =
+-	    (toinc_n_ptr->n >> (i * BITS_PER_MARKER)) & MARKER_MASK;
++	  unsigned marker
++	    = (toinc_n_ptr->n >> (i * BITS_PER_MARKER)) & MARKER_MASK;
+ 	  if (marker && marker != MARKER_BYTE_UNKNOWN)
+ 	    toinc_n_ptr->n += inc;
+ 	}
+@@ -2032,7 +2036,7 @@ find_bswap_or_nop_1 (gimple stmt, struct
+ 	case RSHIFT_EXPR:
+ 	case LROTATE_EXPR:
+ 	case RROTATE_EXPR:
+-	  if (!do_shift_rotate (code, n, (int)TREE_INT_CST_LOW (rhs2)))
++	  if (!do_shift_rotate (code, n, (int) TREE_INT_CST_LOW (rhs2)))
+ 	    return NULL;
+ 	  break;
+ 	CASE_CONVERT:
+@@ -2104,12 +2108,12 @@ find_bswap_or_nop_1 (gimple stmt, struct
+ 	  if (TYPE_PRECISION (n1.type) != TYPE_PRECISION (n2.type))
+ 	    return NULL;
+ 
+-	  if (!n1.vuse != !n2.vuse ||
+-	  (n1.vuse && !operand_equal_p (n1.vuse, n2.vuse, 0)))
++	  if (!n1.vuse != !n2.vuse
++	      || (n1.vuse && !operand_equal_p (n1.vuse, n2.vuse, 0)))
+ 	    return NULL;
+ 
+-	  source_stmt =
+-	    perform_symbolic_merge (source_stmt1, &n1, source_stmt2, &n2, n);
++	  source_stmt
++	    = perform_symbolic_merge (source_stmt1, &n1, source_stmt2, &n2, n);
+ 
+ 	  if (!source_stmt)
+ 	    return NULL;
+@@ -2153,12 +2157,12 @@ find_bswap_or_nop (gimple stmt, struct s
+      in libgcc, and for initial shift/and operation of the src operand.  */
+   limit = TREE_INT_CST_LOW (TYPE_SIZE_UNIT (gimple_expr_type (stmt)));
+   limit += 1 + (int) ceil_log2 ((unsigned HOST_WIDE_INT) limit);
+-  source_stmt =  find_bswap_or_nop_1 (stmt, n, limit);
++  source_stmt = find_bswap_or_nop_1 (stmt, n, limit);
+ 
+   if (!source_stmt)
+     return NULL;
+ 
+-  /* Find real size of result (highest non zero byte).  */
++  /* Find real size of result (highest non-zero byte).  */
+   if (n->base_addr)
+     {
+       int rsize;
+@@ -2261,8 +2265,30 @@ bswap_replace (gimple cur_stmt, gimple s
+       tree load_offset_ptr, aligned_load_type;
+       gimple addr_stmt, load_stmt;
+       unsigned align;
++      HOST_WIDE_INT load_offset = 0;
+ 
+       align = get_object_alignment (src);
++      /* If the new access is smaller than the original one, we need
++	 to perform big endian adjustment.  */
++      if (BYTES_BIG_ENDIAN)
++	{
++	  HOST_WIDE_INT bitsize, bitpos;
++	  machine_mode mode;
++	  int unsignedp, volatilep;
++	  tree offset;
++
++	  get_inner_reference (src, &bitsize, &bitpos, &offset, &mode,
++			       &unsignedp, &volatilep, false);
++	  if (n->range < (unsigned HOST_WIDE_INT) bitsize)
++	    {
++	      load_offset = (bitsize - n->range) / BITS_PER_UNIT;
++	      unsigned HOST_WIDE_INT l
++		= (load_offset * BITS_PER_UNIT) & (align - 1);
++	      if (l)
++		align = l & -l;
++	    }
++	}
++
+       if (bswap
+ 	  && align < GET_MODE_ALIGNMENT (TYPE_MODE (load_type))
+ 	  && SLOW_UNALIGNED_ACCESS (TYPE_MODE (load_type), align))
+@@ -2274,10 +2300,10 @@ bswap_replace (gimple cur_stmt, gimple s
+       gsi_move_before (&gsi, &gsi_ins);
+       gsi = gsi_for_stmt (cur_stmt);
+ 
+-      /*  Compute address to load from and cast according to the size
+-	  of the load.  */
++      /* Compute address to load from and cast according to the size
++	 of the load.  */
+       addr_expr = build_fold_addr_expr (unshare_expr (src));
+-      if (is_gimple_min_invariant (addr_expr))
++      if (is_gimple_mem_ref_addr (addr_expr))
+ 	addr_tmp = addr_expr;
+       else
+ 	{
+@@ -2291,7 +2317,7 @@ bswap_replace (gimple cur_stmt, gimple s
+       aligned_load_type = load_type;
+       if (align < TYPE_ALIGN (load_type))
+ 	aligned_load_type = build_aligned_type (load_type, align);
+-      load_offset_ptr = build_int_cst (n->alias_set, 0);
++      load_offset_ptr = build_int_cst (n->alias_set, load_offset);
+       val_expr = fold_build2 (MEM_REF, aligned_load_type, addr_tmp,
+ 			      load_offset_ptr);
+ 
+@@ -2328,7 +2354,7 @@ bswap_replace (gimple cur_stmt, gimple s
+ 	    {
+ 	      fprintf (dump_file,
+ 		       "%d bit load in target endianness found at: ",
+-		       (int)n->range);
++		       (int) n->range);
+ 	      print_gimple_stmt (dump_file, cur_stmt, 0, 0);
+ 	    }
+ 	  return true;
+@@ -2395,7 +2421,7 @@ bswap_replace (gimple cur_stmt, gimple s
+   if (dump_file)
+     {
+       fprintf (dump_file, "%d bit bswap implementation found at: ",
+-	       (int)n->range);
++	       (int) n->range);
+       print_gimple_stmt (dump_file, cur_stmt, 0, 0);
+     }
+ 
+--- gcc/testsuite/gcc.c-torture/execute/pr65215-1.c.jj	2015-02-26 10:46:29.102441519 +0100
++++ gcc/testsuite/gcc.c-torture/execute/pr65215-1.c	2015-02-26 10:44:39.000000000 +0100
+@@ -0,0 +1,24 @@
++/* PR tree-optimization/65215 */
++
++static inline unsigned int
++foo (unsigned int x)
++{
++  return (x >> 24) | ((x >> 8) & 0xff00) | ((x << 8) & 0xff0000) | (x << 24);
++}
++
++__attribute__((noinline, noclone)) unsigned int
++bar (unsigned long long *x)
++{
++  return foo (*x);
++}
++
++int
++main ()
++{
++  if (__CHAR_BIT__ != 8 || sizeof (unsigned int) != 4 || sizeof (unsigned long long) != 8)
++    return 0;
++  unsigned long long l = foo (0xdeadbeefU) | 0xfeedbea800000000ULL;
++  if (bar (&l) != 0xdeadbeefU)
++    __builtin_abort ();
++  return 0;
++}
+--- gcc/testsuite/gcc.c-torture/execute/pr65215-2.c.jj	2015-02-26 10:46:31.524401403 +0100
++++ gcc/testsuite/gcc.c-torture/execute/pr65215-2.c	2015-02-26 10:45:15.000000000 +0100
+@@ -0,0 +1,24 @@
++/* PR tree-optimization/65215 */
++
++static inline unsigned int
++foo (unsigned int x)
++{
++  return (x >> 24) | ((x >> 8) & 0xff00) | ((x << 8) & 0xff0000) | (x << 24);
++}
++
++__attribute__((noinline, noclone)) unsigned long long
++bar (unsigned long long *x)
++{
++  return ((unsigned long long) foo (*x) << 32) | foo (*x >> 32);
++}
++
++int
++main ()
++{
++  if (__CHAR_BIT__ != 8 || sizeof (unsigned int) != 4 || sizeof (unsigned long long) != 8)
++    return 0;
++  unsigned long long l = foo (0xfeedbea8U) | ((unsigned long long) foo (0xdeadbeefU) << 32);
++  if (bar (&l) != 0xfeedbea8deadbeefULL)
++    __builtin_abort ();
++  return 0;
++}
+--- gcc/testsuite/gcc.c-torture/execute/pr65215-3.c.jj	2015-02-26 10:46:33.463369288 +0100
++++ gcc/testsuite/gcc.c-torture/execute/pr65215-3.c	2015-02-26 10:45:37.000000000 +0100
+@@ -0,0 +1,31 @@
++/* PR tree-optimization/65215 */
++
++struct S { unsigned long long l1 : 24, l2 : 8, l3 : 32; };
++
++static inline unsigned int
++foo (unsigned int x)
++{
++  return (x >> 24) | ((x >> 8) & 0xff00) | ((x << 8) & 0xff0000) | (x << 24);
++}
++
++__attribute__((noinline, noclone)) unsigned long long
++bar (struct S *x)
++{
++  unsigned long long x1 = foo (((unsigned int) x->l1 << 8) | x->l2);
++  unsigned long long x2 = foo (x->l3);
++  return (x2 << 32) | x1;
++}
++
++int
++main ()
++{
++  if (__CHAR_BIT__ != 8 || sizeof (unsigned int) != 4 || sizeof (unsigned long long) != 8)
++    return 0;
++  struct S s = { 0xdeadbeU, 0xefU, 0xfeedbea8U };
++  unsigned long long l = bar (&s);
++  if (foo (l >> 32) != s.l3
++      || (foo (l) >> 8) != s.l1
++      || (foo (l) & 0xff) != s.l2)
++    __builtin_abort ();
++  return 0;
++}
+--- gcc/testsuite/gcc.c-torture/execute/pr65215-4.c.jj	2015-02-26 10:46:35.438336576 +0100
++++ gcc/testsuite/gcc.c-torture/execute/pr65215-4.c	2015-02-26 10:45:46.000000000 +0100
+@@ -0,0 +1,27 @@
++/* PR tree-optimization/65215 */
++
++struct S { unsigned long long l1 : 48; };
++
++static inline unsigned int
++foo (unsigned int x)
++{
++  return (x >> 24) | ((x >> 8) & 0xff00) | ((x << 8) & 0xff0000) | (x << 24);
++}
++
++__attribute__((noinline, noclone)) unsigned int
++bar (struct S *x)
++{
++  return foo (x->l1);
++}
++
++int
++main ()
++{
++  if (__CHAR_BIT__ != 8 || sizeof (unsigned int) != 4 || sizeof (unsigned long long) != 8)
++    return 0;
++  struct S s;
++  s.l1 = foo (0xdeadbeefU) | (0xfeedULL << 32);
++  if (bar (&s) != 0xdeadbeefU)
++    __builtin_abort ();
++  return 0;
++}
+--- gcc/testsuite/gcc.c-torture/execute/pr65215-5.c.jj	2015-02-26 11:14:44.664298719 +0100
++++ gcc/testsuite/gcc.c-torture/execute/pr65215-5.c	2015-02-26 11:12:27.000000000 +0100
+@@ -0,0 +1,27 @@
++/* PR tree-optimization/65215 */
++
++__attribute__((noinline, noclone)) unsigned int
++foo (unsigned char *p)
++{
++  return ((unsigned int) p[0] << 24) | (p[1] << 16) | (p[2] << 8) | p[3];
++}
++
++__attribute__((noinline, noclone)) unsigned int
++bar (unsigned char *p)
++{
++  return ((unsigned int) p[3] << 24) | (p[2] << 16) | (p[1] << 8) | p[0];
++}
++
++struct S { unsigned int a; unsigned char b[5]; };
++
++int
++main ()
++{
++  struct S s = { 1, { 2, 3, 4, 5, 6 } };
++  if (__CHAR_BIT__ != 8 || sizeof (unsigned int) != 4)
++    return 0;
++  if (foo (&s.b[1]) != 0x03040506U
++      || bar (&s.b[1]) != 0x06050403U)
++    __builtin_abort ();
++  return 0;
++}

diff --git a/gcc5-pr65216.patch b/gcc5-pr65216.patch
new file mode 100644
index 0000000..1636ee3
--- /dev/null
+++ b/gcc5-pr65216.patch
@@ -0,0 +1,56 @@
+2015-02-26  Jakub Jelinek  <jakub@redhat.com>
+
+	PR tree-optimization/65216
+	* tree-ssa-reassoc.c (rewrite_expr_tree): Force creation of
+	new stmt and new SSA_NAME for lhs whenever the arguments have
+	changed and weren't just swapped.  Fix comment typo.
+
+	* gcc.c-torture/execute/pr65216.c: New test.
+
+--- gcc/tree-ssa-reassoc.c.jj	2015-02-14 09:21:56.000000000 +0100
++++ gcc/tree-ssa-reassoc.c	2015-02-26 13:03:24.308614169 +0100
+@@ -3532,7 +3532,7 @@ rewrite_expr_tree (gimple stmt, unsigned
+ 
+   /* The final recursion case for this function is that you have
+      exactly two operations left.
+-     If we had one exactly one op in the entire list to start with, we
++     If we had exactly one op in the entire list to start with, we
+      would have never called this function, and the tail recursion
+      rewrites them one at a time.  */
+   if (opindex + 2 == ops.length ())
+@@ -3553,7 +3553,11 @@ rewrite_expr_tree (gimple stmt, unsigned
+ 	      print_gimple_stmt (dump_file, stmt, 0, 0);
+ 	    }
+ 
+-	  if (changed)
++	  /* Even when changed is false, reassociation could have e.g. removed
++	     some redundant operations, so unless we are just swapping the
++	     arguments or unless there is no change at all (then we just
++	     return lhs), force creation of a new SSA_NAME.  */
++	  if (changed || ((rhs1 != oe2->op || rhs2 != oe1->op) && opindex))
+ 	    {
+ 	      gimple insert_point = find_insert_point (stmt, oe1->op, oe2->op);
+ 	      lhs = make_ssa_name (TREE_TYPE (lhs));
+--- gcc/testsuite/gcc.c-torture/execute/pr65216.c.jj	2015-02-26 13:05:12.199816826 +0100
++++ gcc/testsuite/gcc.c-torture/execute/pr65216.c	2015-02-26 13:04:53.000000000 +0100
+@@ -0,0 +1,20 @@
++/* PR tree-optimization/65216 */
++
++int a, b = 62, e;
++volatile int c, d;
++
++int
++main ()
++{
++  int f = 0;
++  for (a = 0; a < 2; a++)
++    {
++      b &= (8 ^ f) & 1;
++      for (e = 0; e < 6; e++)
++	if (c)
++	  f = d;
++    }
++  if (b != 0)
++    __builtin_abort ();
++  return 0;
++}