1 files changed, 29 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/pointer-counted-by-8.c b/gcc/testsuite/gcc.dg/pointer-counted-by-8.c
new file mode 100644
index 0000000..96bb83f
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pointer-counted-by-8.c
@@ -0,0 +1,29 @@
+/* Additional test of the attribute counted_by for pointer field and its usage
+   in __builtin_dynamic_object_size.  */ 
+/* { dg-do run } */
+/* { dg-options "-O2" } */
+
+#include "builtin-object-size-common.h"
+
+struct annotated {
+  int b;
+  int *c __attribute__ ((counted_by (b)));
+};
+
+
+void __attribute__((__noinline__)) setup (int **ptr, int attr_count)
+{
+  *ptr = (int *) malloc (sizeof (int) * attr_count);
+}
+
+int main(int argc, char *argv[])
+{
+  struct annotated *f 
+    = (struct annotated *) __builtin_malloc (sizeof (struct annotated));
+  setup (&f->c, 10);
+  f->b = 10;
+  EXPECT(__builtin_dynamic_object_size (f->c, 1), 10 * sizeof (int));
+  free (f->c);
+  free (f);
+  DONE ();
+}