OSDN Git Service

libc: add const-correct string.h overloads
authorGeorge Burgess IV <gbiv@google.com>
Wed, 5 Apr 2017 00:34:02 +0000 (17:34 -0700)
committerGeorge Burgess IV <gbiv@google.com>
Wed, 5 Apr 2017 20:17:07 +0000 (13:17 -0700)
commitbd3d2088d99f45babb8a73192b53b6fd91930af3
tree0533adb1ea5e0af98272e39ff9dc8e7fd3bdbf83
parent07807a10a2dfa85a952ee8c06188d0bc9597c184
libc: add const-correct string.h overloads

libcxx provides const-correct overloads for a few string.h functions.
These overloads use clang's enable_if attribute, so they're preferred
over our FORTIFY'ed equivalents.

This weakens _FORTIFY_SOURCE=2 when used with some of these functions,
since clang needs to see __pass_object_size in order to pass an accurate
result for __builtin_object_size(s, 1) at a callsite. Since those
functions don't have __pass_object_size on their params, clang can't do
that. This makes LLVM lower the __builtin_object_size calls, which means
we get the same result as __builtin_object_size(s, 0).

We have to provide all of the overloads in Bionic, since enable_if is
only used to disambiguate overloads with (otherwise) the same type. In
other words:

// overload 1
char *strchr(const char *, int s) __attribute__((enable_if(1, "")));
// overload 2
char *strchr(char *, int s);

void foo() {
  char cs[1] = {};
  strchr(static_cast<const char *>(cs), '\0'); // calls overload #1.
  strchr(cs, '\0'); // calls overload #2.
}

Bug: 34747525
Test: m checkbuild on bullhead internal master + AOSP. vts -m
BionicUnitTests passes on both. Surprisingly, the only code that this
seems to break is contained in Bionic.

Change-Id: Ie406f42fb3d1c5bf940dc857889876fc39b57c90
libc/bionic/fortify.cpp
libc/bionic/memmem.cpp
libc/bionic/ndk_cruft.cpp
libc/include/string.h
libc/include/sys/cdefs.h
tests/fortify_test.cpp