Improve DSE which in turn eliminates the need for jump threading and block duplicatio...
authorJeff Law <law@redhat.com>
Wed, 29 Jan 2020 19:23:53 +0000 (12:23 -0700)
committerJeff Law <law@redhat.com>
Wed, 29 Jan 2020 19:26:35 +0000 (12:26 -0700)
PR tree-optimization/89689
* builtins.def (BUILT_IN_OBJECT_SIZE): Make it const rather than pure.

PR tree-optimization/89689
* gcc.dg/pr89689.c: New test.

gcc/ChangeLog
gcc/builtins.def
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/pr89689.c [new file with mode: 0644]

index e2838c053a3e1ff8c51d356a262dd98dffcce324..567dff632f5e657f47f44c0c31ab0efff06424d5 100644 (file)
@@ -1,3 +1,8 @@
+2020-01-24  Jeff Law  <law@redhat.com>
+
+       PR tree-optimization/89689
+       * builtins.def (BUILT_IN_OBJECT_SIZE): Make it const rather than pure.
+
 2020-01-29  Richard Sandiford  <richard.sandiford@arm.com>
 
        Revert:
index 5ab842c34c2f1be8fa53808b9b10149a870f195e..fa8b0641ab13b36f983c591a7020f6b432e5fb3d 100644 (file)
@@ -972,7 +972,7 @@ DEF_BUILTIN_STUB (BUILT_IN_STRCMP_EQ, "__builtin_strcmp_eq")
 DEF_BUILTIN_STUB (BUILT_IN_STRNCMP_EQ, "__builtin_strncmp_eq")
 
 /* Object size checking builtins.  */
-DEF_GCC_BUILTIN               (BUILT_IN_OBJECT_SIZE, "object_size", BT_FN_SIZE_CONST_PTR_INT, ATTR_PURE_NOTHROW_LEAF_LIST)
+DEF_GCC_BUILTIN               (BUILT_IN_OBJECT_SIZE, "object_size", BT_FN_SIZE_CONST_PTR_INT, ATTR_CONST_NOTHROW_LEAF_LIST)
 DEF_EXT_LIB_BUILTIN    (BUILT_IN_MEMCPY_CHK, "__memcpy_chk", BT_FN_PTR_PTR_CONST_PTR_SIZE_SIZE, ATTR_RET1_NOTHROW_NONNULL_LEAF)
 DEF_EXT_LIB_BUILTIN    (BUILT_IN_MEMMOVE_CHK, "__memmove_chk", BT_FN_PTR_PTR_CONST_PTR_SIZE_SIZE, ATTR_RET1_NOTHROW_NONNULL_LEAF)
 DEF_EXT_LIB_BUILTIN    (BUILT_IN_MEMPCPY_CHK, "__mempcpy_chk", BT_FN_PTR_PTR_CONST_PTR_SIZE_SIZE, ATTR_RETNONNULL_NOTHROW_LEAF)
index e38c4da8d72f133c60ed2ae716fd852b4228139a..b62e7effb595ed5de35c5836143fe961f931b42e 100644 (file)
@@ -1,3 +1,8 @@
+2020-01-29  Jeff Law  <law@redhat.com
+
+       PR tree-optimization/89689
+       * gcc.dg/pr89689.c: New test.
+
 2020-01-29  Marek Polacek  <polacek@redhat.com>
 
        PR c++/91754 - Fix template arguments comparison with class NTTP.
diff --git a/gcc/testsuite/gcc.dg/pr89689.c b/gcc/testsuite/gcc.dg/pr89689.c
new file mode 100644 (file)
index 0000000..ee81274
--- /dev/null
@@ -0,0 +1,43 @@
+/* { dg-do-compile } */
+/* { dg-options "-O2 -Warray-bounds" } */
+
+#include <string.h>
+#include <assert.h>
+#include <stdio.h>
+
+static inline __attribute__((__artificial__)) void *a(char *c, const char *d, long n)
+{
+    return __builtin___memcpy_chk(c, d, n, __builtin_object_size(c, 0));
+}
+typedef struct {
+    char *data;
+    int len;
+} sb_t;
+const char __sb_slop[1];
+static void inline set0(sb_t *c)
+{
+    if (c->data != __sb_slop)
+        c->data[0] = 0;
+    else
+        assert (c->data[0] == 0);
+}
+char buf[5];
+sb_t l = {
+    .data = buf,
+    .len = 0
+};
+void o()
+{
+    char *data = "abcd";
+    sb_t h = l;
+    set0(&h);
+    a(h.data, data, strlen(data));
+    printf("%s\n", h.data);
+    printf("%d\n", h.data == __sb_slop);
+    printf("%d\n", h.data == buf);
+    set0(&h);
+}
+int main(void) {
+    o();
+    return 0;
+}