X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/613f5e1a895b0742c9b6c5e9461e4cf3f7389d7e..c7c8ecd1df6d45686dcd9cf9cd78314b9eb70855:/lib/bitsetv.c diff --git a/lib/bitsetv.c b/lib/bitsetv.c index 3d8e368a..b26e8971 100644 --- a/lib/bitsetv.c +++ b/lib/bitsetv.c @@ -1,58 +1,57 @@ /* Bitset vectors. - Copyright (C) 2001 Free Software Foundation, Inc. + Copyright (C) 2001, 2002, 2004, 2005, 2006 Free Software Foundation, Inc. -This file is part of GCC. + This program 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 2 of the License, or + (at your option) any later version. -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 2, or (at your option) any later -version. + This program 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. -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 this program; if not, write to the Free Software Foundation, + Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. */ -You should have received a copy of the GNU General Public License -along with GCC; see the file COPYING. If not, write to the Free -Software Foundation, 59 Temple Place - Suite 330, Boston, MA -02111-1307, USA. */ +#include -#ifdef HAVE_CONFIG_H -#include "config.h" -#endif +#include "bitsetv.h" #include -#include "bitsetv.h" /* Create a vector of N_VECS bitsets, each of N_BITS, and of type TYPE. */ bitset * -bitsetv_alloc (n_vecs, n_bits, type) - unsigned int n_vecs; - unsigned int n_bits; - enum bitset_type type; +bitsetv_alloc (bitset_bindex n_vecs, bitset_bindex n_bits, + enum bitset_type type) { - unsigned int vector_bytes; - unsigned int bytes; + size_t vector_bytes; + size_t bytes; bitset *bsetv; - unsigned int i; - + bitset_bindex i; + /* Determine number of bytes for each set. */ bytes = bitset_bytes (type, n_bits); - + + /* If size calculation overflows, memory is exhausted. */ + if (BITSET_SIZE_MAX / (sizeof (bitset) + bytes) <= n_vecs) + xalloc_die (); + /* Allocate vector table at head of bitset array. */ - vector_bytes = (n_vecs + 1) * sizeof (bitset); - bsetv = (bitset *) xcalloc (1, vector_bytes + bytes * n_vecs); - + vector_bytes = (n_vecs + 1) * sizeof (bitset) + bytes - 1; + vector_bytes -= vector_bytes % bytes; + bsetv = xcalloc (1, vector_bytes + bytes * n_vecs); + for (i = 0; i < n_vecs; i++) { - bsetv[i] = (bitset) ((char *) bsetv + vector_bytes + i * bytes); - + bsetv[i] = (bitset) (void *) ((char *) bsetv + vector_bytes + i * bytes); + bitset_init (bsetv[i], n_bits, type); } - + /* Null terminate table. */ bsetv[i] = 0; return bsetv; @@ -62,13 +61,10 @@ bitsetv_alloc (n_vecs, n_bits, type) /* Create a vector of N_VECS bitsets, each of N_BITS, and with attribute hints specified by ATTR. */ bitset * -bitsetv_create (n_vecs, n_bits, attr) - unsigned int n_vecs; - unsigned int n_bits; - unsigned int attr; +bitsetv_create (bitset_bindex n_vecs, bitset_bindex n_bits, unsigned int attr) { enum bitset_type type; - + type = bitset_type_choose (n_bits, attr); return bitsetv_alloc (n_vecs, n_bits, type); } @@ -76,10 +72,9 @@ bitsetv_create (n_vecs, n_bits, attr) /* Free bitset vector BSETV. */ void -bitsetv_free (bsetv) - bitset *bsetv; +bitsetv_free (bitsetv bsetv) { - unsigned int i; + bitset_bindex i; for (i = 0; bsetv[i]; i++) BITSET_FREE_ (bsetv[i]); @@ -89,11 +84,10 @@ bitsetv_free (bsetv) /* Zero a vector of bitsets. */ void -bitsetv_zero (bsetv) - struct bitset_struct **bsetv; +bitsetv_zero (bitsetv bsetv) { - unsigned int i; - + bitset_bindex i; + for (i = 0; bsetv[i]; i++) bitset_zero (bsetv[i]); } @@ -101,11 +95,10 @@ bitsetv_zero (bsetv) /* Set a vector of bitsets to ones. */ void -bitsetv_ones (bsetv) - bitset *bsetv; +bitsetv_ones (bitsetv bsetv) { - unsigned int i; - + bitset_bindex i; + for (i = 0; bsetv[i]; i++) bitset_ones (bsetv[i]); } @@ -114,27 +107,26 @@ bitsetv_ones (bsetv) /* Given a vector BSETV of N bitsets of size N, modify its contents to be the transitive closure of what was given. */ void -bitsetv_transitive_closure (bsetv) - bitset *bsetv; +bitsetv_transitive_closure (bitsetv bsetv) { - unsigned int i; - unsigned int j; + bitset_bindex i; + bitset_bindex j; for (i = 0; bsetv[i]; i++) for (j = 0; bsetv[j]; j++) if (bitset_test (bsetv[j], i)) - bitset_or (bsetv[j], bsetv[j], bsetv[i]); + bitset_or (bsetv[j], bsetv[j], bsetv[i]); } /* Given a vector BSETV of N bitsets of size N, modify its contents to - be the reflexive transitive closure of what was given. This is + be the reflexive transitive closure of what was given. This is the same as transitive closure but with all bits on the diagonal of the bit matrix set. */ void bitsetv_reflexive_transitive_closure (bitsetv bsetv) { - int i; + bitset_bindex i; bitsetv_transitive_closure (bsetv); for (i = 0; bsetv[i]; i++) @@ -145,35 +137,32 @@ bitsetv_reflexive_transitive_closure (bitsetv bsetv) /* Dump the contents of a bitset vector BSETV with N_VECS elements to FILE. */ void -bitsetv_dump (file, title, subtitle, bsetv) - FILE *file; - const char *title, *subtitle; - bitset *bsetv; +bitsetv_dump (FILE *file, char const *title, char const *subtitle, + bitsetv bsetv) { - unsigned int i; - + bitset_windex i; + fprintf (file, "%s\n", title); for (i = 0; bsetv[i]; i++) { - fprintf (file, "%s %d\n", subtitle, i); + fprintf (file, "%s %lu\n", subtitle, (unsigned long int) i); bitset_dump (file, bsetv[i]); } - + fprintf (file, "\n"); } void -debug_bitsetv (bsetv) - bitset *bsetv; +debug_bitsetv (bitsetv bsetv) { - unsigned int i; - + bitset_windex i; + for (i = 0; bsetv[i]; i++) { - fprintf (stderr, "%d: ", i); + fprintf (stderr, "%lu: ", (unsigned long int) i); debug_bitset (bsetv[i]); } - + fprintf (stderr, "\n"); }