Update to 2013.062013.06

Signed-off-by: Bernhard Rosenkraenzer <Bernhard.Rosenkranzer@linaro.org>

1 files changed, 66 insertions, 0 deletions

diff --git a/lib/gcc/arm-linux-androideabi/4.8.2/plugin/include/alloc-pool.h b/lib/gcc/arm-linux-androideabi/4.8.2/plugin/include/alloc-pool.h
new file mode 100644
index 0000000..1946125
--- /dev/null
+++ b/lib/gcc/arm-linux-androideabi/4.8.2/plugin/include/alloc-pool.h
@@ -0,0 +1,66 @@
+/* Functions to support a pool of allocatable objects
+   Copyright (C) 1997-2013 Free Software Foundation, Inc.
+   Contributed by Daniel Berlin <dan@cgsoftware.com>
+
+This file is part of GCC.
+
+GCC is free software; you can redistribute it and/or modify
+it under the terms of the GNU General Public License as published by
+the Free Software Foundation; either version 3, or (at your option)
+any later version.
+
+GCC is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+GNU General Public License for more details.
+
+You should have received a copy of the GNU General Public License
+along with GCC; see the file COPYING3.  If not see
+<http://www.gnu.org/licenses/>.  */
+#ifndef ALLOC_POOL_H
+#define ALLOC_POOL_H
+
+typedef unsigned long ALLOC_POOL_ID_TYPE;
+
+typedef struct alloc_pool_list_def
+{
+  struct alloc_pool_list_def *next;
+}
+ *alloc_pool_list;
+
+typedef struct alloc_pool_def
+{
+  const char *name;
+#ifdef ENABLE_CHECKING
+  ALLOC_POOL_ID_TYPE id;
+#endif
+  size_t elts_per_block;
+
+  /* These are the elements that have been allocated at least once and freed.  */
+  alloc_pool_list returned_free_list;
+
+  /* These are the elements that have not yet been allocated out of
+     the last block obtained from XNEWVEC.  */
+  char* virgin_free_list;
+
+  /* The number of elements in the virgin_free_list that can be
+     allocated before needing another block.  */
+  size_t virgin_elts_remaining;
+
+  size_t elts_allocated;
+  size_t elts_free;
+  size_t blocks_allocated;
+  alloc_pool_list block_list;
+  size_t block_size;
+  size_t elt_size;
+}
+ *alloc_pool;
+
+extern alloc_pool create_alloc_pool (const char *, size_t, size_t);
+extern void free_alloc_pool (alloc_pool);
+extern void empty_alloc_pool (alloc_pool);
+extern void free_alloc_pool_if_empty (alloc_pool *);
+extern void *pool_alloc (alloc_pool) ATTRIBUTE_MALLOC;
+extern void pool_free (alloc_pool, void *);
+extern void dump_alloc_pool_statistics (void);
+#endif