8.0.1-0.16

.gitignore

@@ -38,3 +38,4 @@
 /gcc-8.0.1-20180210.tar.xz
 /gcc-8.0.1-20180218.tar.xz
 /gcc-8.0.1-20180220.tar.xz
+/gcc-8.0.1-20180222.tar.xz

gcc.spec

@@ -1,10 +1,10 @@
-%global DATE 20180220
+%global DATE 20180222
-%global SVNREV 257865
+%global SVNREV 257897
 %global gcc_version 8.0.1
 %global gcc_major 8
 # 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.15
+%global gcc_release 0.16
 %global nvptx_tools_gitrev c28050f60193b3b95a18866a96f03334e874e78f
 %global nvptx_newlib_gitrev aadc8eb0ec43b7cd0dd2dfb484bae63c8b05ef24
 %global _unpackaged_files_terminate_build 0
@@ -235,7 +235,6 @@ Patch9: gcc8-aarch64-async-unw-tables.patch
 Patch10: gcc8-foffload-default.patch
 Patch11: gcc8-Wno-format-security.patch
 Patch12: gcc8-rh1512529-aarch64.patch
-Patch13: gcc8-pr84478.patch
 
 Patch1000: nvptx-tools-no-ptxas.patch
 Patch1001: nvptx-tools-build.patch
@@ -795,7 +794,6 @@ to NVidia PTX capable devices if available.
 %patch10 -p0 -b .foffload-default~
 %patch11 -p0 -b .Wno-format-security~
 %patch12 -p0 -b .rh1512529-aarch64~
-%patch13 -p0 -b .pr84478~
 
 cd nvptx-tools-%{nvptx_tools_gitrev}
 %patch1000 -p1 -b .nvptx-tools-no-ptxas~
@@ -3054,6 +3052,11 @@ fi
 %endif
 
 %changelog
+* Thu Feb 22 2018 Jakub Jelinek <jakub@redhat.com> 8.0.1-0.16
+- update from the trunk
+  - PRs c++/77655, c++/84454, c++/84496, c/84229, target/84502
+  - fix store-merging (#1547495, PR tree-optimization/84503)
+
 * Tue Feb 20 2018 Jakub Jelinek <jakub@redhat.com> 8.0.1-0.15
 - update from the trunk
   - PRs c++/84348, c++/84429, c++/84430, c++/84444, c++/84445, c++/84446,

gcc8-pr84478.patch

@@ -1,188 +0,0 @@
-2018-02-20  Jakub Jelinek  <jakub@redhat.com>
-
-	PR tree-optimization/84478
-	* gimple-fold.c (get_range_strlen): Make minlen const and assume it
-	can't be NULL.  Add type 3 support which is conservatively correct
-	in PHIs.  Formatting and comment capitalization fixes.  Add warning
-	that the 2 argument get_range_strlen is only usable for warnings.
-	(gimple_fold_builtin_strlen): Use the 6 arg get_range_strlen overload
-	rather than 2 arg, use it only if it returns true and flexarray is
-	false, pass 3 as type to it.
-
-	* gcc.c-torture/execute/pr84478.c: New test.
-
---- gcc/gimple-fold.c.jj	2018-02-19 19:57:03.424279589 +0100
-+++ gcc/gimple-fold.c	2018-02-20 16:21:34.583020305 +0100
-@@ -1283,10 +1283,11 @@ gimple_fold_builtin_memset (gimple_stmt_
-    value of ARG in LENGTH[0] and LENGTH[1], respectively.
-    If ARG is an SSA name variable, follow its use-def chains.  When
-    TYPE == 0, if LENGTH[1] is not equal to the length we determine or
--   if we are unable to determine the length or value, return False.
-+   if we are unable to determine the length or value, return false.
-    VISITED is a bitmap of visited variables.
-    TYPE is 0 if string length should be obtained, 1 for maximum string
--   length and 2 for maximum value ARG can have.
-+   length and 2 for maximum value ARG can have, 3 is like 1, but provide
-+   conservatively correct rather than optimistic answer.
-    When FUZZY is set and the length of a string cannot be determined,
-    the function instead considers as the maximum possible length the
-    size of a character array it may refer to.
-@@ -1302,9 +1303,8 @@ get_range_strlen (tree arg, tree length[
-   tree var, val = NULL_TREE;
-   gimple *def_stmt;
- 
--  /* The minimum and maximum length.  The MAXLEN pointer stays unchanged
--     but MINLEN may be cleared during the execution of the function.  */
--  tree *minlen = length;
-+  /* The minimum and maximum length.  */
-+  tree *const minlen = length;
-   tree *const maxlen = length + 1;
- 
-   if (TREE_CODE (arg) != SSA_NAME)
-@@ -1445,12 +1445,11 @@ get_range_strlen (tree arg, tree length[
-       if (!val)
- 	return false;
- 
--      if (minlen
--	  && (!*minlen
--	      || (type > 0
--		  && TREE_CODE (*minlen) == INTEGER_CST
--		  && TREE_CODE (val) == INTEGER_CST
--		  && tree_int_cst_lt (val, *minlen))))
-+      if (!*minlen
-+	  || (type > 0
-+	      && TREE_CODE (*minlen) == INTEGER_CST
-+	      && TREE_CODE (val) == INTEGER_CST
-+	      && tree_int_cst_lt (val, *minlen)))
- 	*minlen = val;
- 
-       if (*maxlen)
-@@ -1503,18 +1502,16 @@ get_range_strlen (tree arg, tree length[
- 	  {
- 	    tree op2 = gimple_assign_rhs2 (def_stmt);
- 	    tree op3 = gimple_assign_rhs3 (def_stmt);
--	    return get_range_strlen (op2, length, visited, type, fuzzy, flexp)
--	      && get_range_strlen (op3, length, visited, type, fuzzy, flexp);
-+	    return (get_range_strlen (op2, length, visited, type, fuzzy, flexp)
-+		    && get_range_strlen (op3, length, visited, type, fuzzy,
-+					 flexp));
- 	  }
-         return false;
- 
-       case GIMPLE_PHI:
--	{
--	  /* All the arguments of the PHI node must have the same constant
--	     length.  */
--	  unsigned i;
--
--	  for (i = 0; i < gimple_phi_num_args (def_stmt); i++)
-+	/* All the arguments of the PHI node must have the same constant
-+	   length.  */
-+	for (unsigned i = 0; i < gimple_phi_num_args (def_stmt); i++)
-           {
-             tree arg = gimple_phi_arg (def_stmt, i)->def;
- 
-@@ -1529,13 +1526,12 @@ get_range_strlen (tree arg, tree length[
- 
- 	    if (!get_range_strlen (arg, length, visited, type, fuzzy, flexp))
- 	      {
--		if (fuzzy)
-+		if (fuzzy && type != 3)
- 		  *maxlen = build_all_ones_cst (size_type_node);
- 		else
- 		  return false;
- 	      }
-           }
--        }
-         return true;
- 
-       default:
-@@ -1554,7 +1550,10 @@ get_range_strlen (tree arg, tree length[
-    Return true if the range of the string lengths has been obtained
-    from the upper bound of an array at the end of a struct.  Such
-    an array may hold a string that's longer than its upper bound
--   due to it being used as a poor-man's flexible array member.  */
-+   due to it being used as a poor-man's flexible array member.
-+
-+   This function should be only used for warning code, as it doesn't
-+   handle PHIs in a conservatively correct way.  */
- 
- bool
- get_range_strlen (tree arg, tree minmaxlen[2])
-@@ -3533,8 +3532,12 @@ gimple_fold_builtin_strlen (gimple_stmt_
-   wide_int minlen;
-   wide_int maxlen;
- 
--  tree lenrange[2];
--  if (!get_range_strlen (gimple_call_arg (stmt, 0), lenrange)
-+  tree lenrange[2] = { NULL_TREE, NULL_TREE };
-+  bitmap visited = NULL;
-+  bool flexarray = false;
-+  if (get_range_strlen (gimple_call_arg (stmt, 0), lenrange, &visited,
-+			3, true, &flexarray)
-+      && !flexarray
-       && lenrange[0] && TREE_CODE (lenrange[0]) == INTEGER_CST
-       && lenrange[1] && TREE_CODE (lenrange[1]) == INTEGER_CST)
-     {
-@@ -3554,6 +3557,9 @@ gimple_fold_builtin_strlen (gimple_stmt_
-       maxlen = wi::to_wide (max_object_size (), prec) - 2;
-     }
- 
-+  if (visited)
-+    BITMAP_FREE (visited);
-+
-   if (minlen == maxlen)
-     {
-       lenrange[0] = force_gimple_operand_gsi (gsi, lenrange[0], true, NULL,
---- gcc/testsuite/gcc.c-torture/execute/pr84478.c.jj	2018-02-20 16:32:00.683086212 +0100
-+++ gcc/testsuite/gcc.c-torture/execute/pr84478.c	2018-02-20 16:31:33.497081640 +0100
-@@ -0,0 +1,49 @@
-+/* PR tree-optimization/84478 */
-+
-+long poolptr;
-+unsigned char *strpool;
-+static const char *poolfilearr[] = {
-+  "mu",
-+  "",
-+#define A "x",
-+#define B A "xx", A A "xxx", A A A A A
-+#define C B B B B B B B B B B
-+#define D C C C C C C C C C C
-+  D C C C C C C C B B B
-+ ((void *)0) 
-+};
-+
-+__attribute__((noipa)) long
-+makestring (void)
-+{
-+  return 1;
-+}
-+
-+__attribute__((noipa)) long
-+loadpoolstrings (long spare_size)
-+{
-+  const char *s;
-+  long g = 0;
-+  int i = 0, j = 0;
-+  while ((s = poolfilearr[j++]))
-+    {
-+      int l = __builtin_strlen (s);
-+      i += l;
-+      if (i >= spare_size) return 0;
-+      while (l-- > 0) strpool[poolptr++] = *s++;
-+      g = makestring ();
-+    }
-+  return g;
-+}
-+
-+int
-+main ()
-+{
-+  strpool = __builtin_malloc (4000);
-+  if (!strpool)
-+    return 0;
-+  asm volatile ("" : : : "memory");
-+  volatile int r = loadpoolstrings (4000);
-+  __builtin_free (strpool);
-+  return 0;
-+}

sources

@@ -1,3 +1,3 @@
-SHA512 (gcc-8.0.1-20180220.tar.xz) = 9bd9bf073086bbeef85e15bd7abeb8754a1f6abe9cb98a6826e4c147ed7407f38721357e79cd842d8803e55fac8b050ac5cd59ed19f1cd30b5133d67f271d7c2
+SHA512 (gcc-8.0.1-20180222.tar.xz) = c55c52fe6fe5c1212e30f91d3938b14d1d32e6f081b85a2c81f743d4f4213c1b6ba3ffd1f7bd6808ae07284c0ad806c67d1b9509ad6e9a3500106ab37d3ead4d
 SHA512 (nvptx-newlib-aadc8eb0ec43b7cd0dd2dfb484bae63c8b05ef24.tar.xz) = 94f7089365296f7dfa485107b4143bebc850a81586f3460fd896bbbb6ba099a00217d4042133424fd2183b352132f4fd367e6a60599bdae2a26dfd48a77d0e04
 SHA512 (nvptx-tools-c28050f60193b3b95a18866a96f03334e874e78f.tar.xz) = a688cb12cf805950a5abbb13b52f45c81dbee98e310b7ed57ae20e76dbfa5964a16270148374a6426d177db71909d28360490f091c86a5d19d4faa5127beeee1