2018-08-13 Jonathan Wakely <jwakely@redhat.com>
+ * libsupc++/new_opa.cc (operator new(size_t, align_val_t)): Use
+ __is_pow2 to check for valid alignment. Avoid branching when rounding
+ size to multiple of alignment.
+
* include/Makefile.am: Install <bit> and <version> for freestanding.
* include/Makefile.in: Regenerate.
* testsuite/17_intro/freestanding.cc: Check for <bit> and <version>.
#include <stdlib.h>
#include <stdint.h>
#include <bits/exception_defines.h>
+#include <bit>
#include "new"
#if !_GLIBCXX_HAVE_ALIGNED_ALLOC && !_GLIBCXX_HAVE__ALIGNED_MALLOC \
/* Alignment must be a power of two. */
/* XXX This should be checked by the compiler (PR 86878). */
- if (__builtin_expect (align & (align - 1), false))
+ if (__builtin_expect (!std::__ispow2(align), false))
_GLIBCXX_THROW_OR_ABORT(bad_alloc());
/* malloc (0) is unpredictable; avoid it. */
align = sizeof(void*);
# endif
/* C11: the value of size shall be an integral multiple of alignment. */
- if (std::size_t rem = sz & (align - 1))
- sz += align - rem;
+ sz = (sz + align - 1) & ~(align - 1);
#endif
void *p;