Howard Hinnant
|
9eebe11dd5
|
I've become quite disatsified with the lack of noexcept specifications on container move construction, move assignment operator and swap. Without proper decoration on at least move construction, vectors of containers will have unacceptable performance. Here's the fix for deque.
llvm-svn: 132480
|
2011-06-02 20:00:14 +00:00 |
|
Howard Hinnant
|
f9dc28313f
|
noexcept for forward_list.
llvm-svn: 132461
|
2011-06-02 16:44:28 +00:00 |
|
Howard Hinnant
|
a87e836083
|
noexcept for deque.
llvm-svn: 132459
|
2011-06-02 16:10:22 +00:00 |
|
Howard Hinnant
|
bc95cf0d5f
|
Experimental support for a meaningful __is_swappable<T>::value. This does not appear to be strictly needed for correct functioning of the library. If it causes any problems, I'd rather pull it sooner rather than later.
llvm-svn: 132421
|
2011-06-01 19:59:32 +00:00 |
|
Howard Hinnant
|
e88f577da1
|
Turning on cxx_nullptr exposed a latent bug in is_function, causing nullptr to wrongly classify as a function. Fixed.
llvm-svn: 132406
|
2011-06-01 17:25:11 +00:00 |
|
Howard Hinnant
|
542b2507de
|
I've seen this question enough times to know that it should be fixed: http://stackoverflow.com/questions/6193734/implicit-conversions-with-stdfunction
llvm-svn: 132363
|
2011-05-31 21:45:26 +00:00 |
|
Howard Hinnant
|
8f0cd597f1
|
noexcept for <array>.
llvm-svn: 132359
|
2011-05-31 21:06:33 +00:00 |
|
Howard Hinnant
|
e3c6708439
|
Upgrade <ratio> to use template aliases when available.
llvm-svn: 132342
|
2011-05-31 16:55:36 +00:00 |
|
Howard Hinnant
|
b5d866d4a3
|
noexcept for Chapter 22 [localization].
llvm-svn: 132337
|
2011-05-31 15:34:58 +00:00 |
|
Howard Hinnant
|
f5c91471a4
|
Add _ATTRIBUTE macro for gcc: Justin Hibbits
llvm-svn: 132334
|
2011-05-31 13:13:49 +00:00 |
|
Howard Hinnant
|
76c7cd0e15
|
noexcept for Chapter 21 [strings].
llvm-svn: 132296
|
2011-05-29 19:57:12 +00:00 |
|
Howard Hinnant
|
28d55e0745
|
http://llvm.org/bugs/show_bug.cgi?id=10045 . Please review, I have not tested this on linux.
llvm-svn: 132287
|
2011-05-29 13:57:49 +00:00 |
|
Howard Hinnant
|
af152c8431
|
minor documentation update
llvm-svn: 132286
|
2011-05-29 13:53:56 +00:00 |
|
Howard Hinnant
|
9e5c99f61f
|
noexcept for <typeindex>. This completes Chapter 20 [utilities].
llvm-svn: 132267
|
2011-05-28 18:57:24 +00:00 |
|
Howard Hinnant
|
cfd52789dc
|
noexcept for <scoped_allocator>.
llvm-svn: 132266
|
2011-05-28 18:51:12 +00:00 |
|
Howard Hinnant
|
d53d81522d
|
noexcept for <chrono>.
llvm-svn: 132265
|
2011-05-28 18:34:36 +00:00 |
|
Howard Hinnant
|
6a07d6f06d
|
noexcept for <functional>.
llvm-svn: 132264
|
2011-05-28 17:59:48 +00:00 |
|
Howard Hinnant
|
3739fe79e5
|
noexcept for <memory>. I've added a few extension noexcept to: allocator_traits<A>::deallocate, allocaate<T>::deallocate, return_temporary_buffer, and default_delete<T>::operator()(T*) const. My rationale was: If a std-dicated noexcept function needs to call another std-defined function, that called function must be noexcept. We're all a little new to noexcept, so things like this are to be expected. Also included fix for broken __is_swappable trait pointed out by Marc Glisse, thanks Marc|. And fixed a test case for is_nothrow_destructible. Destructors are now noexcept by default|
llvm-svn: 132261
|
2011-05-28 14:41:13 +00:00 |
|
Howard Hinnant
|
d368a84c91
|
noexcept for <bitset>.
llvm-svn: 132216
|
2011-05-27 20:52:28 +00:00 |
|
Howard Hinnant
|
27d0a2a75d
|
noexcept for <tuple>. And in the process learned that I had done it wrong for pair's swap. I needed to create an __is_nothrow_swappable<T>::value trait that was smart enought to answer false when __is_swappable<T>::value is false. Otherwise one gets compile-time errors when using pair or tuple of non-swappable types, even if you never try to swap the pair or tuple.
llvm-svn: 132204
|
2011-05-27 19:08:18 +00:00 |
|
Howard Hinnant
|
a676f7d36a
|
noexcept for <utility>. This included a little repair on pair, and some noexcept workarounds.
llvm-svn: 132186
|
2011-05-27 15:04:19 +00:00 |
|
Howard Hinnant
|
a62f28994c
|
Applied noexcept to everything in [diagnostics] (Chapter 19)
llvm-svn: 132137
|
2011-05-26 19:48:01 +00:00 |
|
Howard Hinnant
|
411d1bcc3b
|
Turn on cxx_alias_templates support
llvm-svn: 132134
|
2011-05-26 19:07:54 +00:00 |
|
Howard Hinnant
|
fafca58c58
|
Applied noexcept to everything in [language.support] (Chapter 18)
llvm-svn: 132129
|
2011-05-26 18:23:59 +00:00 |
|
Howard Hinnant
|
400b244339
|
Added [[noreturn]] attribute everywhere it should be
llvm-svn: 132125
|
2011-05-26 17:07:32 +00:00 |
|
Nick Kledzik
|
bc6191fba9
|
support another Apple build environment
llvm-svn: 131996
|
2011-05-24 20:27:31 +00:00 |
|
Nick Kledzik
|
664c0da5d8
|
on Darwin re-export C++0x type infos
llvm-svn: 131995
|
2011-05-24 20:26:04 +00:00 |
|
Howard Hinnant
|
cf76200bd3
|
http://llvm.org/bugs/show_bug.cgi?id=9399 fixed by Ryuta Suzuki
llvm-svn: 131961
|
2011-05-24 12:54:00 +00:00 |
|
Howard Hinnant
|
2fa07ae9a0
|
Fix const correctness bug in bind involving reference_wrapper found by Jonathan Sauer
llvm-svn: 131852
|
2011-05-22 15:07:43 +00:00 |
|
Howard Hinnant
|
5eb6bdfa1d
|
__invokable and __invoke_of now check for incomplete types and issue a compile-time diagnostic if they are used with incomplete types for anything except a return type. Note that both arguments *and* parameters are checked for completeness.
llvm-svn: 131818
|
2011-05-22 00:09:02 +00:00 |
|
Howard Hinnant
|
6282a4a1d3
|
This is a simplified (and superior) implementation of __invoke, __invokable and __invoke_of. It is superior in that __invoke now handles reference qualified member functions whereas the previous implementation did not. And it simply has less infrastructure in its implementation. I'm still learning how to program in C++11 (and probably will be for a long time). This change does not impact the behavior we're seeing in http://llvm.org/bugs/show_bug.cgi?id=9975
llvm-svn: 131761
|
2011-05-20 22:02:53 +00:00 |
|
Howard Hinnant
|
2344d6c195
|
Simplied bind using __invoke. In the process, found and fixed a couple of bugs. C++11 only.
llvm-svn: 131667
|
2011-05-19 19:41:47 +00:00 |
|
Howard Hinnant
|
ec0810e1c8
|
I had a giant misunderstanding of what 'synchronizes with' meant in [futures.async]/p5. This invalidated the current design of async in <future>. This is a new design, based on my new understanding, which has been confirmed on the lwg mailing list. The summary is that ~future() (and ~shared_future()) will block when they are created from within async, and the thread hasn't finished yet. As part of this work I created two new type traits: __invokable<F, Args...>::value and __invoke_of<F, Args...>::type. These are what result_of<F(Args...)> wanted to be when it grew up, but never will be. __invoke_of is carefully crafted so that it can serve as its own enable_if (type doesn't exist if the signature isn't invokable). All of this work is C++11 only.
llvm-svn: 131639
|
2011-05-19 15:05:04 +00:00 |
|
Howard Hinnant
|
c2bf9e1851
|
This commit was accidental. Reverting.
llvm-svn: 131514
|
2011-05-18 00:47:00 +00:00 |
|
Howard Hinnant
|
781afe1934
|
A bunch of future tests got invalidated with the latest updates to thread. Fixed the tests.
llvm-svn: 131509
|
2011-05-17 23:32:48 +00:00 |
|
Howard Hinnant
|
dcaa2e9294
|
Fix ambiguity in operator== of scoped_allocator_adaptor.
llvm-svn: 131485
|
2011-05-17 20:41:18 +00:00 |
|
Howard Hinnant
|
651fedb82c
|
Fixed bug in recently introduced bind move constructor
llvm-svn: 131484
|
2011-05-17 20:27:51 +00:00 |
|
Howard Hinnant
|
5fdeee5b3a
|
Fix and beef up test bug for move_if_noexcept
llvm-svn: 131483
|
2011-05-17 20:10:42 +00:00 |
|
Howard Hinnant
|
fe7e3eeddc
|
Clean up a bunch of warnings in the tests, 3 of which actually turned out to be test bugs.
llvm-svn: 131479
|
2011-05-17 19:12:55 +00:00 |
|
Howard Hinnant
|
872a91167e
|
Brought call_once variadic call up to current spec, which allows move-only functors and move-only arguments, but disallows functors with non-const lvalue reference parameters.
llvm-svn: 131414
|
2011-05-16 19:05:11 +00:00 |
|
Howard Hinnant
|
8df61ea84d
|
Brought thread variadic constructor up to current spec, which allows move-only functors and move-only arguments, but disallows functors with non-const lvalue reference parameters.
llvm-svn: 131413
|
2011-05-16 18:40:35 +00:00 |
|
Howard Hinnant
|
7735ccaf86
|
Supply missing std::qualifier to call.
llvm-svn: 131410
|
2011-05-16 16:20:59 +00:00 |
|
Howard Hinnant
|
23fdcd70c6
|
Spit 5th bullet __invoke into function pointers and everything else because result_of doesn't deal with function pointers.
llvm-svn: 131409
|
2011-05-16 16:20:21 +00:00 |
|
Howard Hinnant
|
07de7bcaa0
|
Supply missing move ctor in __bind_r, though this one will eventually be defaulted
llvm-svn: 131408
|
2011-05-16 16:19:01 +00:00 |
|
Howard Hinnant
|
15c34d48ba
|
Redesign of result_of to handle reference-qualified member functions
llvm-svn: 131407
|
2011-05-16 16:17:21 +00:00 |
|
Howard Hinnant
|
b12c37b302
|
Fix type-o found by Justin Hibbits
llvm-svn: 131348
|
2011-05-14 18:20:45 +00:00 |
|
Howard Hinnant
|
6db38ae05c
|
Fix type-o found by Justin Hibbits
llvm-svn: 131346
|
2011-05-14 17:24:22 +00:00 |
|
Howard Hinnant
|
af6c26b366
|
Warning suppression in test.
llvm-svn: 131344
|
2011-05-14 15:38:08 +00:00 |
|
Howard Hinnant
|
3962348edf
|
Warning suppression in test.
llvm-svn: 131343
|
2011-05-14 15:36:25 +00:00 |
|
Howard Hinnant
|
6c4c6a8047
|
Warning suppression in test.
llvm-svn: 131341
|
2011-05-14 14:53:12 +00:00 |