Blame malloc/alloc_buffer_alloc_array.c

Packit Service 82fcde
/* Array allocation from a fixed-size buffer.
Packit Service 82fcde
   Copyright (C) 2017-2018 Free Software Foundation, Inc.
Packit Service 82fcde
   This file is part of the GNU C Library.
Packit Service 82fcde
Packit Service 82fcde
   The GNU C Library is free software; you can redistribute it and/or
Packit Service 82fcde
   modify it under the terms of the GNU Lesser General Public
Packit Service 82fcde
   License as published by the Free Software Foundation; either
Packit Service 82fcde
   version 2.1 of the License, or (at your option) any later version.
Packit Service 82fcde
Packit Service 82fcde
   The GNU C Library is distributed in the hope that it will be useful,
Packit Service 82fcde
   but WITHOUT ANY WARRANTY; without even the implied warranty of
Packit Service 82fcde
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
Packit Service 82fcde
   Lesser General Public License for more details.
Packit Service 82fcde
Packit Service 82fcde
   You should have received a copy of the GNU Lesser General Public
Packit Service 82fcde
   License along with the GNU C Library; if not, see
Packit Service 82fcde
   <http://www.gnu.org/licenses/>.  */
Packit Service 82fcde
Packit Service 82fcde
#include <alloc_buffer.h>
Packit Service 82fcde
#include <malloc-internal.h>
Packit Service 82fcde
#include <libc-pointer-arith.h>
Packit Service 82fcde
Packit Service 82fcde
void *
Packit Service 82fcde
__libc_alloc_buffer_alloc_array (struct alloc_buffer *buf, size_t element_size,
Packit Service 82fcde
                                 size_t align, size_t count)
Packit Service 82fcde
{
Packit Service 82fcde
  size_t current = buf->__alloc_buffer_current;
Packit Service 82fcde
  /* The caller asserts that align is a power of two.  */
Packit Service 82fcde
  size_t aligned = ALIGN_UP (current, align);
Packit Service 82fcde
  size_t size;
Packit Service 82fcde
  bool overflow = check_mul_overflow_size_t (element_size, count, &size);
Packit Service 82fcde
  size_t new_current = aligned + size;
Packit Service 82fcde
  if (!overflow                /* Multiplication did not overflow.  */
Packit Service 82fcde
      && aligned >= current    /* No overflow in align step.  */
Packit Service 82fcde
      && new_current >= size   /* No overflow in size computation.  */
Packit Service 82fcde
      && new_current <= buf->__alloc_buffer_end) /* Room in buffer.  */
Packit Service 82fcde
    {
Packit Service 82fcde
      buf->__alloc_buffer_current = new_current;
Packit Service 82fcde
      return (void *) aligned;
Packit Service 82fcde
    }
Packit Service 82fcde
  else
Packit Service 82fcde
    {
Packit Service 82fcde
      alloc_buffer_mark_failed (buf);
Packit Service 82fcde
      return NULL;
Packit Service 82fcde
    }
Packit Service 82fcde
}
Packit Service 82fcde
libc_hidden_def (__libc_alloc_buffer_alloc_array)