Nadav Har'El
09a3c63345
cross-tree: allow std::source_location in clang 14
...
We recently (commit 6a5d9ff261 ) started
to use std::source_location instead of std::experimental::source_location.
However, this does not work on clang 14, because libc++ 12's
<source_location> only works if __builtin_source_location, and that is
not available on clang 14.
clang 15 is just three months old, and several relatively-recent
distributions still carry clang 14 so it would be nice to support it
as well.
So this patch adds a trivial compatibility header file, which, when
included and compiled with clang 14, it aliases the functional
std::experimental::source_location to std::source_location.
It turns out it's enough to include the new header file from three
headers that included <source_location> - I guess all other uses
of source_location depend on those header files directly or indirectly.
We may later need to include the compatibility header file in additional
places, bug for now we don't.
Refs #12259
Signed-off-by: Nadav Har'El <nyh@scylladb.com >
Closes #12265
2022-12-11 20:28:49 +02:00
..
2022-11-27 12:25:20 +02:00
2022-11-17 11:09:59 +02:00
2022-04-12 16:37:11 +03:00
2022-02-24 19:44:50 +03:00
2022-08-05 20:34:07 +03:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-08-08 08:02:27 +03:00
2022-05-13 07:11:58 +02:00
2022-09-20 06:18:51 +03:00
2022-05-13 07:11:58 +02:00
2022-05-13 07:11:58 +02:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-06-02 11:21:05 +03:00
2021-06-06 19:18:49 +03:00
2022-10-17 12:07:27 +02:00
2022-06-23 10:33:35 +03:00
2022-01-18 12:15:18 +01:00
2022-11-12 17:04:05 +02:00
2022-10-02 13:41:40 +03:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-11-09 11:55:14 +02:00
2022-11-09 11:53:20 +02:00
2022-11-09 11:55:14 +02:00
2022-01-18 12:15:18 +01:00
2022-02-24 19:44:29 +03:00
2022-09-16 08:21:02 +03:00
2022-01-18 12:15:18 +01:00
2022-02-28 12:36:03 +02:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-07-27 13:32:36 +03:00
2022-07-27 13:32:36 +03:00
2022-03-25 16:19:26 +02:00
2022-07-11 09:17:30 +02:00
2022-01-18 12:15:18 +01:00
2022-04-26 14:46:42 +03:00
2022-07-26 15:59:33 +03:00
2022-02-22 16:08:52 +01:00
2022-07-05 16:41:09 +02:00
2022-10-03 18:50:06 +03:00
2022-01-18 12:15:18 +01:00
2022-07-27 13:17:27 +03:00
2022-05-13 07:11:58 +02:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-05-07 13:04:16 +02:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-07-27 16:58:52 +03:00
2022-07-27 16:58:52 +03:00
2022-07-27 16:58:25 +03:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-05-13 07:11:58 +02:00
2022-03-25 16:19:26 +02:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-11-17 19:01:45 +03:00
2022-11-17 19:01:45 +03:00
2022-06-28 19:58:06 -03:00
2022-03-09 16:13:07 +02:00
2022-07-27 13:43:17 +03:00
2022-11-28 21:58:30 +02:00
2022-09-16 13:02:40 +03:00
2022-10-17 12:07:27 +02:00
2022-01-18 12:15:18 +01:00
2022-07-12 00:23:29 +03:00
2022-02-24 19:44:50 +03:00
2022-02-24 19:44:50 +03:00
2022-01-18 12:15:18 +01:00
2022-07-14 11:56:20 +03:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-11-28 21:58:30 +02:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-02-22 16:25:21 +01:00
2022-04-18 12:27:18 +03:00
2022-03-15 11:42:42 +02:00
2022-03-16 12:28:47 +03:00
2022-01-18 12:15:18 +01:00
2022-03-02 19:10:58 +02:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-08-08 17:31:00 +03:00
2022-01-18 12:15:18 +01:00
2022-07-06 08:17:08 +03:00
2022-02-24 19:44:50 +03:00
2022-12-11 20:28:49 +02:00
2022-01-18 12:15:18 +01:00
2022-05-13 07:11:58 +02:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-10-05 10:52:49 +03:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-08-08 08:02:27 +03:00
2022-08-08 08:13:28 +03:00
2022-11-27 16:34:34 +02:00
2022-01-18 12:15:18 +01:00