[PATCH] D45015: [Preprocessor] Allow libc++ to detect when aligned allocation is unavailable.

[Richard Smith - zygoloid via Phabricator via cfe-commits]

rsmith added a comment.

Hmm, perhaps our strategy for handling aligned allocation on Darwin should be revisited. We shouldn't be defining `__cpp_aligned_allocation` if we believe it doesn't work -- that will break code that uses aligned allocation where available and falls back to something else where it's unavailable.

@ahatanak: how about this:

- Change the driver to not pass `-faligned-alloc-unavailable` if an explicit `-faligned-allocation` or `-fno-aligned-allocation` flag is given; update Clang's note to suggest explicitly passing `-faligned-allocation` rather than `-Wno-aligned-alloc-unavailable` if the user provides their own aligned allocation function.
- Change `-faligned-alloc-unavailable` so that it does not define `__cpp_aligned_allocation`.
- Change Sema's handling of the "aligned allocation unavailable" case so that, after warning on selecting an aligned allocation function, it then removes those functions from the candidate set and tries again.

That is: on old Darwin, we should not define `__cpp_aligned_allocation` (even in C++17), produce the "no aligned allocation support" warning in C++17 mode, and then not try to call the aligned allocation function. But if `-faligned-allocation` or `-fno-aligned-allocation` is specified explicitly, then the user knows what they're doing and they get no warning.


Repository:
  rC Clang

https://reviews.llvm.org/D45015