Wladimir J. van der Laan
e736b67467
Merge #14715 : Drop defunct prevector compat handling
...
69ca48717c Implement prevector::fill once (Ben Woosley)
7bad78c2c8 Drop defunct IS_TRIVIALLY_CONSTRUCTIBLE handling from prevector.h (Ben Woosley)
Pull request description:
This is clean-up post #14651 :
* Use one implementation of `prevector::fill`, as it's possible now that the implementations are identical.
* Only apply the `IS_TRIVIALLY_CONSTRUCTIBLE` handling to the bench file where it is used, and drop the now-unnecessary associated compat includes.
Tree-SHA512: 5930b3a17fccd39af10add40202ad97a297aebecc049af72ca920d0d55b3e4c3c30ce864c8a683355895f0196396d4ea56ba9f9637bdc7d16964cdf66c195485
2018-11-22 10:50:38 +01:00
..
2018-11-22 10:50:38 +01:00
2018-08-16 20:33:50 +02:00
2018-11-04 22:46:07 -08:00
2018-11-05 09:25:15 -08:00
2018-11-04 22:46:07 -08:00
2018-11-16 03:20:44 +00:00
2018-08-09 11:31:45 -04:00
2018-11-07 11:15:22 -05:00
2018-11-04 22:46:07 -08:00
2018-11-14 11:27:01 -05:00
2018-11-19 13:50:16 -05:00
2018-11-15 14:39:37 -05:00
2017-09-29 16:02:39 +02:00
2018-09-04 13:11:26 +02:00
2018-11-18 10:15:18 +01:00
2018-09-07 08:21:14 -04:00
2018-11-20 18:28:16 +09:00
2018-11-20 15:15:59 +01:00
2018-11-09 12:37:06 -05:00
2018-04-13 15:37:20 -04:00
2018-11-04 22:46:07 -08:00
2018-07-27 07:15:02 -04:00
2018-07-27 07:15:02 -04:00
2018-11-04 22:46:07 -08:00
2018-09-17 14:34:56 -04:00
2018-11-04 22:46:07 -08:00
2018-07-27 07:15:02 -04:00
2018-11-05 17:03:11 +01:00
2018-11-04 22:46:07 -08:00
2018-11-05 17:03:11 +01:00
2018-08-27 18:19:33 +02:00
2018-03-22 16:23:04 +01:00
2018-11-04 22:46:07 -08:00
2018-11-07 11:15:22 -05:00
2018-11-06 11:44:40 -04:00
2018-11-05 09:25:15 -08:00
2018-11-13 12:41:41 -08:00
2018-11-05 09:25:15 -08:00
2018-11-05 09:30:56 -08:00
2018-08-25 17:41:00 +02:00
2018-08-13 01:24:55 +02:00
2018-07-27 07:15:02 -04:00
2018-08-14 18:03:43 -05:00
2018-11-04 22:46:07 -08:00
2018-09-23 22:58:54 +02:00
2018-11-04 22:46:07 -08:00
2018-07-27 07:15:02 -04:00
2018-08-13 13:57:15 +02:00
2018-07-27 07:15:02 -04:00
2018-07-27 07:15:02 -04:00
2018-07-27 07:15:02 -04:00
2018-07-27 07:15:02 -04:00
2018-07-27 07:15:02 -04:00
2018-11-05 09:25:15 -08:00
2018-11-05 09:25:15 -08:00
2018-11-14 12:19:04 -05:00
2018-07-27 07:15:02 -04:00
2018-07-27 07:15:02 -04:00
2018-11-05 17:03:11 +01:00
2018-07-27 07:15:02 -04:00
2018-11-04 22:46:07 -08:00
2018-11-04 22:46:07 -08:00
2018-08-27 18:19:33 +02:00
2018-09-04 13:11:26 +02:00
2018-11-04 22:46:07 -08:00
2018-11-06 11:44:40 -04:00
2018-10-19 02:29:25 +08:00
2018-11-20 14:41:12 +09:00
2018-11-05 09:25:15 -08:00
2018-11-05 09:25:15 -08:00
2018-11-04 22:46:07 -08:00
2018-08-11 09:34:47 +03:00
2018-11-05 13:27:04 +01:00
2018-09-13 10:36:41 -07:00
2018-11-20 18:28:16 +09:00
2018-11-06 11:44:40 -04:00
2018-11-04 22:46:07 -08:00
2018-07-27 07:15:02 -04:00
2018-09-13 09:58:26 +02:00
2018-09-13 10:36:41 -07:00
2018-11-04 22:46:07 -08:00
2018-07-27 07:15:02 -04:00
2018-07-27 07:15:02 -04:00
2018-11-04 22:46:07 -08:00
2018-09-12 11:28:01 -04:00
2018-11-15 14:39:37 -05:00
2018-09-13 15:53:51 -04:00
2017-07-13 12:49:05 -04:00
2018-11-10 10:37:59 +01:00
2018-10-09 03:36:14 -06:00
2018-11-05 09:31:01 -05:00
2018-07-27 07:15:02 -04:00
2018-11-04 22:46:07 -08:00
2018-07-27 07:15:02 -04:00
2018-11-05 16:52:59 +01:00
2018-07-27 07:15:02 -04:00
2018-11-07 14:59:35 -05:00
2018-09-30 22:15:37 -03:00
2018-11-04 22:46:07 -08:00
2018-11-05 09:25:15 -08:00
2018-11-04 22:46:07 -08:00
2018-07-27 07:15:02 -04:00
2018-11-04 22:46:07 -08:00
2018-07-27 07:15:02 -04:00
2018-07-27 07:15:02 -04:00
2018-11-04 22:46:07 -08:00
2018-09-06 15:00:01 -04:00
2018-07-27 07:15:02 -04:00
2018-11-05 17:03:11 +01:00
2018-07-27 07:15:02 -04:00
2018-07-27 07:15:02 -04:00
2018-11-14 12:19:28 -05:00
2018-11-04 22:46:07 -08:00
2018-07-27 07:15:02 -04:00
2018-07-27 07:15:02 -04:00
2018-07-27 07:15:02 -04:00
2018-11-04 22:46:07 -08:00
2018-07-27 07:15:02 -04:00
2018-11-05 17:03:11 +01:00
2018-07-24 20:46:23 +01:00
2016-12-31 11:01:21 -07:00
2018-09-13 10:36:41 -07:00
2018-09-13 10:36:41 -07:00
2018-09-11 00:58:13 -04:00
2018-06-25 00:08:49 -04:00
2018-06-25 00:08:49 -04:00
2018-07-27 11:52:18 -07:00
2018-09-04 13:11:26 +02:00
2018-11-04 22:46:07 -08:00
2018-08-31 10:00:38 -04:00
2018-08-31 16:00:38 +02:00
2018-08-31 10:00:38 -04:00
2018-11-06 11:44:40 -04:00
2018-11-04 22:46:07 -08:00
2018-07-27 07:15:02 -04:00
2018-03-21 08:34:44 +02:00
2018-11-04 22:46:07 -08:00
2018-07-27 07:15:02 -04:00
2018-11-04 22:46:07 -08:00
2018-08-08 13:55:27 +02:00
2018-11-04 22:46:07 -08:00
2018-11-05 09:25:15 -08:00
2018-11-04 22:46:07 -08:00
2018-08-14 09:19:47 +00:00
2018-11-04 22:46:07 -08:00
2018-07-27 07:15:02 -04:00
2018-11-05 09:25:15 -08:00
2018-11-04 22:46:07 -08:00
2018-10-27 10:39:44 -04:00
2018-11-04 22:46:07 -08:00
2018-08-26 00:25:28 +02:00
2018-07-27 07:15:02 -04:00
2018-09-23 22:55:11 +02:00
2018-09-23 22:55:11 +02:00
2018-09-23 22:55:11 +02:00
2018-09-23 22:55:11 +02:00
2018-11-06 11:44:40 -04:00
2018-11-04 22:46:07 -08:00
2018-08-08 13:55:27 +02:00