[Bug libstdc++/54289] setjmp isn't included into std namespace

2012-08-16 Thread daniel.kruegler at googlemail dot com
||googlemail dot com --- Comment #3 from Daniel Krügler 2012-08-16 19:41:00 UTC --- (In reply to comment #1) > Open the header with your favorite editor and you will see why (spoiler: > setjmp > is defined as a macro in C) You are right, but I initially tho

[Bug libstdc++/54289] setjmp isn't included into std namespace

2012-08-16 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54289 --- Comment #5 from Daniel Krügler 2012-08-16 19:46:16 UTC --- (In reply to comment #4) > Sorry, but I think standard declares that all function should be in std. No. 17.6.1.2 [headers] only says so for non-macros: "In the C++ standard library,

[Bug libstdc++/54289] setjmp isn't included into std namespace

2012-08-16 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54289 --- Comment #8 from Daniel Krügler 2012-08-16 19:54:10 UTC --- (In reply to comment #6) > I think standard of C std libs declares setjmp as a function. So, it should be > function. I'm not looking at any code, but C says: "The header defines t

[Bug c++/54319] Assignment to rvalue

2012-08-19 Thread daniel.kruegler at googlemail dot com
||googlemail dot com --- Comment #1 from Daniel Krügler 2012-08-19 07:30:30 UTC --- Just for the record: This problem does no longer exist in gcc 4.8 (tested for 4.8.0 20120729 (experimental))

[Bug c++/54319] Assignment to rvalue

2012-08-19 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54319 --- Comment #3 from Daniel Krügler 2012-08-19 12:13:32 UTC --- (In reply to comment #2) > Daniel can you double check? Good that you ask. There must by some problem with my gcc installation, because I get different results from different contex

[Bug c++/54276] Lambda in a Template Function Undefined Reference to local static

2012-08-19 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54276 --- Comment #3 from Daniel Krügler 2012-08-19 12:14:53 UTC --- (In reply to comment #2) > Daniel can you please double check this one too? Today I'm definitely seeing > the undefined reference. It seems that I need to fix my gcc installation as

[Bug c++/54293] When a reference is bound to subobject of a temporary, lifetime of the temporary is not extended

2012-08-20 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54293 --- Comment #7 from Daniel Krügler 2012-08-20 22:17:45 UTC --- (In reply to comment #6) > — If E2 is a non-static data member and the type of E1 is “cq1 vq1 X”, and the > type of E2 is “cq2 vq2 > T”, the expression designates the named member of

[Bug c++/54293] When a reference is bound to subobject of a temporary, lifetime of the temporary is not extended

2012-08-20 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54293 --- Comment #9 from Daniel Krügler 2012-08-21 06:13:50 UTC --- (In reply to comment #8) > > I agree with your analysis, but would like to point out that there is change > > planned to essentially this part of the wording due to > > > > http://w

[Bug c++/54293] When a reference is bound to subobject of a temporary, lifetime of the temporary is not extended

2012-08-21 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54293 --- Comment #11 from Daniel Krügler 2012-08-21 08:07:28 UTC --- (In reply to comment #10) > > In other words: In this case IsValid(&ref_int) will hold for the same > > reasons > > as it holds for IsValid(&ref_obj). > > That is true, and I didn'

[Bug c++/54376] incorrect complaint about redefinition

2012-08-25 Thread daniel.kruegler at googlemail dot com
||googlemail dot com --- Comment #6 from Daniel Krügler 2012-08-25 20:31:42 UTC --- (In reply to comment #5) > Comeau rejects it for me, the problem happens at compile time. Just for the record: Visual Studio 2012 Beta also rejects the code for similar reason.

[Bug libstdc++/54388] std::array.at() const results in undefined behaviour

2012-08-28 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54388 --- Comment #3 from Daniel Krügler 2012-08-28 13:43:42 UTC --- (In reply to comment #2) > The fix is to remove the constexpr from array::at, which isn't required by the > standard anyway: It's not required, but I would like to encourage you to k

[Bug libstdc++/54388] std::array.at() const results in undefined behaviour

2012-08-28 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54388 --- Comment #4 from Daniel Krügler 2012-08-28 13:53:18 UTC --- (In reply to comment #3) > (In reply to comment #2) > > The fix is to remove the constexpr from array::at, which isn't required by > > the > > standard anyway: > > It's not required

[Bug libstdc++/54388] [4.7/4.8 Regression] std::array.at() const results in undefined behaviour

2012-08-28 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54388 --- Comment #6 from Daniel Krügler 2012-08-28 14:07:11 UTC --- (In reply to comment #5) > The paper does have implementation experience, and experience shows we got it > wrong ;) We implemented it wrong is a different message than "we couldn't i

[Bug libstdc++/54388] [4.7/4.8 Regression] std::array.at() const results in undefined behaviour

2012-08-28 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54388 --- Comment #8 from Daniel Krügler 2012-08-28 20:34:34 UTC --- (In reply to comment #4) > > Replace > > > > return __n < _Nm ? > >_M_instance[__n] : throw out_of_range(__N("array::at")); > > > > by > > > > return __n < _Nm

[Bug c++/54425] Rvalue/Lvalue overload resolution of templated function

2012-08-30 Thread daniel.kruegler at googlemail dot com
||googlemail dot com --- Comment #1 from Daniel Krügler 2012-08-30 21:51:07 UTC --- I can see the same problem with gcc 4.8.0 20120819 (experimental) (Let me add that the test example should remove the invalid semicolons after each function definition). This should be

[Bug c++/54442] Const overloads resolution failure

2012-08-31 Thread daniel.kruegler at googlemail dot com
||googlemail dot com --- Comment #1 from Daniel Krügler 2012-08-31 20:13:42 UTC --- For gcc 4.8.0 20120819 (experimental) I'm getting an ICE instead: "20|internal compiler error: canonical types differ for identical types void(index_t)__attribute__((const))

[Bug libstdc++/54468] type trait is_unsigned<...>::value for C++11 enum class with underlying unsigned type not true

2012-09-04 Thread daniel.kruegler at googlemail dot com
||googlemail dot com --- Comment #1 from Daniel Krügler 2012-09-04 15:30:53 UTC --- (In reply to comment #0) > The is_unsigned<> type trait is not detecting the underlying signedness of a > C++11 enum class or enum. This is what the standard requires. The d

[Bug c++/54483] undefined reference to static constexpr in .so

2012-09-05 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54483 --- Comment #3 from Daniel Krügler 2012-09-05 11:12:13 UTC --- (In reply to comment #1) > This is invalid as per [class.static.data]/3 : On C++11 level it should be valid, because odr-usage does not happen here according to [basic.def.odr] p3:

[Bug c++/54501] infinite recursion on illegal code

2012-09-06 Thread daniel.kruegler at googlemail dot com
||googlemail dot com --- Comment #1 from Daniel Krügler 2012-09-06 15:42:07 UTC --- I can confirm the problem for gcc 4.8 trunk for os=win32 arch=64bit systems

[Bug c++/54509] If Move constructor is templatized then it is invoked else not

2012-09-06 Thread daniel.kruegler at googlemail dot com
||googlemail dot com --- Comment #1 from Daniel Krügler 2012-09-07 05:37:56 UTC --- The language requires that the presence of a user-declared copy-constructor (which you have used in your code) shall prevent the compiler-declared move constructor. When _BUG_ is defined

[Bug c++/54510] If Move constructor is templatized then, that version is invoked instead default move

2012-09-06 Thread daniel.kruegler at googlemail dot com
||googlemail dot com --- Comment #1 from Daniel Krügler 2012-09-07 05:40:24 UTC --- This bug report looks invalid to me for the same reason as bug 54510

[Bug c++/54511] internal compiler error: in make_decl_rtl, at varasm.c:1147

2012-09-06 Thread daniel.kruegler at googlemail dot com
||googlemail dot com --- Comment #1 from Daniel Krügler 2012-09-07 05:52:51 UTC --- I can confirm the problem for gcc 4.8.0 20120819 (experimental). I reduced the example to get rid of some "magic" values, which are not relevant to be present. One important r

[Bug c++/54557] [c++ lambda] error in assigning lambda expr though "operator?:" while catching

2012-09-12 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54557 --- Comment #1 from Daniel Krügler 2012-09-12 20:54:26 UTC --- The compiler behaviour looks correct to me. The difference of the lambda expressions in bar and foo3 compared to the other two is that these are capture-free lambdas and thus have a c

[Bug c++/54738] New: [C++11][SFINAE] Hard errors for pointer-to-member function expressions

2012-09-28 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54738 Bug #: 54738 Summary: [C++11][SFINAE] Hard errors for pointer-to-member function expressions Classification: Unclassified Product: gcc Version: 4.8.0 Status

[Bug c++/54755] Template instantiation confused by actual template argument definitions before and after template definition

2012-09-29 Thread daniel.kruegler at googlemail dot com
||googlemail dot com --- Comment #2 from Daniel Krügler 2012-09-29 23:07:59 UTC --- (In reply to comment #1) > I haven't bothered analysing the code, but Comeau and Clang agree it's > ambiguous, so GCC is probably right. I agree with Jonathan, the cod

[Bug libstdc++/54757] FAIL: ext/random/beta_distribution/cons/default.cc (test for excess errors)

2012-09-30 Thread daniel.kruegler at googlemail dot com
||googlemail dot com --- Comment #3 from Paolo Carlini 2012-09-30 09:44:27 UTC --- Hi, > There is an implementation of hypot, so I'm wondering if we can't do > better. You mean in the libc? It's possible because as you can see the autoconf tes

[Bug c++/54764] In class initialization of non-static lambda member can't be used in class with default template paramer

2012-10-01 Thread daniel.kruegler at googlemail dot com
||googlemail dot com --- Comment #1 from Daniel Krügler 2012-10-01 11:54:47 UTC --- Simplified to get rid of library dependencies: //--- template struct c { int (*f)(int) = [](int i){return i + i;}; }; //---

[Bug c++/54769] C++ parser - dependent class method template not found if structure template with the same name is visible

2012-10-01 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54769 --- Comment #1 from Daniel Krügler 2012-10-02 06:04:56 UTC --- In C++03 this was supposed to be ill-formed, but - as Mike Miller explained to me - with the acceptance of CWG (no kidding ;-)) http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_

[Bug c++/54777] New: [C++11] Comma operator in constexpr environment can cause ICE

2012-10-02 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54777 Bug #: 54777 Summary: [C++11] Comma operator in constexpr environment can cause ICE Classification: Unclassified Product: gcc Version: 4.8.0 Status: UNCONFI

[Bug c++/49171] [C++0x][constexpr] Constant expressions support reinterpret_cast

2012-10-03 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49171 --- Comment #4 from Daniel Krügler 2012-10-03 16:22:24 UTC --- (In reply to comment #3) > Daniel, what's the status of this issue? Is there some consensus that GCC is > actually Ok, we don't really want to reject reinterpret_casts? My opinion i

[Bug c++/49171] [C++0x][constexpr] Constant expressions support reinterpret_cast

2012-10-03 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49171 --- Comment #6 from Daniel Krügler 2012-10-03 18:46:09 UTC --- (In reply to comment #5) > Ok, thanks. Sorry about the naive question: is it already clear what it means > for reinterpret_cast uses to be "well-defined" in this sense? This is sure

[Bug c++/54798] internal compiler error: Segmentation fault

2012-10-03 Thread daniel.kruegler at googlemail dot com
||googlemail dot com --- Comment #3 from Daniel Krügler 2012-10-03 21:20:01 UTC --- This happens also with gcc 4.8 HEAD. Further simplifications and removal of library dependencies: //--- void use(int){} template class C { public: void f

[Bug c++/54801] [c++11] static variables constructed with lambda params inside member functions cause undefined errors

2012-10-04 Thread daniel.kruegler at googlemail dot com
||googlemail dot com --- Comment #1 from Daniel Krügler 2012-10-04 07:11:14 UTC --- Also occurs on gcc 4.8.0 20120930 (experimental).

[Bug c++/54812] New: [C++11] Delete expression doesn't respect access of defaulted destructor

2012-10-04 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54812 Bug #: 54812 Summary: [C++11] Delete expression doesn't respect access of defaulted destructor Classification: Unclassified Product: gcc Version: 4.8.0 Stat

[Bug c++/49171] [C++0x][constexpr] Constant expressions support reinterpret_cast

2012-10-05 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49171 --- Comment #8 from Daniel Krügler 2012-10-05 14:17:18 UTC --- (In reply to comment #7) > Thus I understand that currently GCC is accepting *all sorts* of > reinterpret_cast uses in constexpr functions, right? That is, also those with > unspeci

[Bug c++/54812] [C++11] Delete expression doesn't respect access of defaulted destructor

2012-10-05 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54812 --- Comment #2 from Daniel Krügler 2012-10-05 21:00:31 UTC --- (In reply to comment #1) > Anyway, here, I only wanted to ask you if this is a show-stopper for your > work, > because I don't know how much time it will take. While I think that t

[Bug c++/51199] [C++11][DR 547] gcc forms impossible types derived from function types with cv-qualifier-seq

2012-10-06 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51199 --- Comment #2 from Daniel Krügler 2012-10-06 07:58:56 UTC --- (In reply to comment #1) CWG 1417 is now in ready state, which is a good opportunity to implement the clarification. Meanwhile some traits (like is_copy/move_constructible) should be

[Bug c++/54828] [4.7 Regression] ICE in based_loc_descr at dwarf2out.c:10560 with -g -O0

2012-10-06 Thread daniel.kruegler at googlemail dot com
||googlemail dot com --- Comment #1 from Daniel Krügler 2012-10-06 08:05:43 UTC --- Also occurs on gcc 4.8.0 20120930 (experimental), pointing here to "main.cpp|12|internal compiler error: in based_loc_descr, at dwarf2out.c:10193"

[Bug c++/54812] [C++11] Delete expression doesn't respect access of defaulted destructor

2012-10-06 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54812 --- Comment #6 from Daniel Krügler 2012-10-06 08:11:48 UTC --- (In reply to comment #5) I double-checked whether this might be related to http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1507 from a different perspective, but I'm pr

[Bug c++/54835] New: [C++11] Explicit default constructors not respected during copy-list-initialization

2012-10-06 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54835 Bug #: 54835 Summary: [C++11] Explicit default constructors not respected during copy-list-initialization Classification: Unclassified Product: gcc Version: 4.8.0

[Bug c++/54849] Override specifier with trailing return type

2012-10-07 Thread daniel.kruegler at googlemail dot com
||googlemail dot com --- Comment #1 from Daniel Krügler 2012-10-07 18:02:17 UTC --- The example works in 4.8 HEAD.

[Bug c++/54875] Forward declare enums cannot be used as a template argument

2012-10-09 Thread daniel.kruegler at googlemail dot com
||googlemail dot com --- Comment #1 from Daniel Krügler 2012-10-09 14:23:36 UTC --- I can reproduce this error with gcc 4.8.0 20120930 (experimental), were I get: "main.cpp|7|internal compiler error: tree check: expected enumeral_type, have template_type_pa

[Bug c++/53000] Conditional operator does not behave as standardized

2012-10-10 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53000 --- Comment #13 from Daniel Krügler 2012-10-10 10:42:20 UTC --- (In reply to comment #11) > Thus, the library bits are done in mainline, right Daniel? In regard to std::common_type, yes. But while making std::common_type sfinae-friendly I searc

[Bug c++/53000] Conditional operator does not behave as standardized

2012-10-10 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53000 --- Comment #16 from Daniel Krügler 2012-10-10 10:55:02 UTC --- (In reply to comment #12) > So we now have: > > common_type::type -> const int& > common_type::type -> int > > ? > > If we are going with this resolution, I think the 1 argument

[Bug c++/53000] Conditional operator does not behave as standardized

2012-10-10 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53000 --- Comment #18 from Daniel Krügler 2012-10-10 11:04:23 UTC --- (In reply to comment #17) > The patch is already in, of course. In hindsight, I think we shouldn't have > bundled the SFINAE bits with addressing LWG 2141, which, I realize now, is

[Bug c++/53000] Conditional operator does not behave as standardized

2012-10-10 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53000 --- Comment #20 from Daniel Krügler 2012-10-10 11:08:09 UTC --- (In reply to comment #19) It is more than that, because *my* own test-cases rely on the decay assumption.

[Bug c++/54922] New: [C++11][DR 1359] constexpr constructors require initialization of all union members

2012-10-13 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54922 Bug #: 54922 Summary: [C++11][DR 1359] constexpr constructors require initialization of all union members Classification: Unclassified Product: gcc Version: 4.8.0

[Bug c++/54922] [C++11][DR 1359] constexpr constructors require initialization of all union members

2012-10-13 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54922 --- Comment #1 from Daniel Krügler 2012-10-13 20:54:14 UTC --- (In reply to comment #0) Some copy'n-paste error occurred while attempting to format the code example. The correct code under investigation was: // class nullable_in

[Bug c++/54946] ICE on template parameter from cast char-pointer in C++11 constexpr struct

2012-10-17 Thread daniel.kruegler at googlemail dot com
||googlemail dot com --- Comment #2 from Daniel Krügler 2012-10-17 19:36:14 UTC --- The ICE still occurs in gcc 4.8.0 20121014 (experimental) with the message: "internal compiler error: in convert_nontype_argument, at cp/pt.c:5533" Let me add that your exam

[Bug c++/54955] alignas example in gcc 4.8 changes.html won't compile

2012-10-17 Thread daniel.kruegler at googlemail dot com
||googlemail dot com --- Comment #3 from Daniel Krügler 2012-10-17 19:55:34 UTC --- I agree that this should be accepted (The grammar of a /simple-declaration/ in Clause 7 says so).

[Bug c++/55002] trailing return type is rejected in function signature

2012-10-20 Thread daniel.kruegler at googlemail dot com
||googlemail dot com --- Comment #2 from Daniel Krügler 2012-10-20 20:24:19 UTC --- Your issue looks invalid to me, because you are never providing a pointer to function declarator. Lets look first at your simplified example: auto (*ff) -> int (int) This would be

[Bug c++/55003] [C++11] Member function pointer not working as constexpr initializer

2012-10-21 Thread daniel.kruegler at googlemail dot com
||googlemail dot com --- Comment #1 from Daniel Krügler 2012-10-21 13:36:28 UTC --- The code presented code example seems incomplete, because it is accepted as written. Here a complete code-example compiled with gcc 4.8.0 20121014 (experimental) using the compiler flags

[Bug c++/55017] New: [C++11] Rvalue-reference member should cause copy constructor not deleted, but still declared

2012-10-22 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55017 Bug #: 55017 Summary: [C++11] Rvalue-reference member should cause copy constructor not deleted, but still declared Classification: Unclassified Product: gcc Version: 4.

[Bug c++/55039] std::addressof vs. constexpr

2012-10-23 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55039 --- Comment #1 from Daniel Krügler 2012-10-23 18:15:38 UTC --- I agree, an intrinsic is needed

[Bug c++/55039] std::addressof vs. constexpr

2012-10-23 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55039 --- Comment #3 from Daniel Krügler 2012-10-23 20:56:36 UTC --- (In reply to comment #2) During the Portland meeting the issue http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1384 was discussed and core had consensus *not* to suppor

[Bug libstdc++/55043] [4.7/4.8 Regression] issue with nesting unordered_map containing unique_ptr into vector

2012-10-23 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55043 --- Comment #10 from Daniel Krügler 2012-10-24 06:37:05 UTC --- (In reply to comment #9) > (In reply to comment #8) > > is this a bug in is_constructible? > > I don't think so. The implementation of the copy constructor is irrelevant, > only th

[Bug libstdc++/55043] [4.7/4.8 Regression] issue with nesting unordered_map containing unique_ptr into vector

2012-10-24 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55043 --- Comment #12 from Daniel Krügler 2012-10-24 08:33:47 UTC --- (In reply to comment #11) > That seems inconsistent with 20.9.4.3/6 > > the predicate condition for a template specialization is_constructible Args...> shall be satisfied if and on

[Bug libstdc++/55043] [4.7/4.8 Regression] issue with nesting unordered_map containing unique_ptr into vector

2012-10-24 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55043 --- Comment #14 from Daniel Krügler 2012-10-24 09:23:22 UTC --- (In reply to comment #13) > So to make the testcase compile (which it should) I'd need to use sfinae to > disable the container members, which means writing constraints based on > C

[Bug libstdc++/55043] [4.7/4.8 Regression] issue with nesting unordered_map containing unique_ptr into vector

2012-10-24 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55043 --- Comment #17 from Daniel Krügler 2012-10-24 17:48:07 UTC --- (In reply to comment #15) > > 1) It will prevent the incomplete type support > > Ouch... but not required by the standard. I agree, but I consider that as a high price. > > 2) Th

[Bug libstdc++/55043] [4.7/4.8 Regression] issue with nesting unordered_map containing unique_ptr into vector

2012-10-24 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55043 --- Comment #18 from Daniel Krügler 2012-10-24 18:12:25 UTC --- (In reply to comment #17) > Looking at the concrete problem here I think the only thing that is needed > is a conditional noexcept for all containers move constructors (which is >

[Bug c++/55082] c++11: default member constructor

2012-10-26 Thread daniel.kruegler at googlemail dot com
||googlemail dot com --- Comment #1 from Daniel Krügler 2012-10-26 17:24:35 UTC --- This is no compiler defect: The A constructor is explicit and won't be considered within a copy-initialization context. You need a direct-initialization context like the one that

[Bug c++/55120] Inaccessible virtual base constructor does not prevent generation of default constructor

2012-10-29 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55120 --- Comment #3 from Daniel Krügler 2012-10-29 19:20:26 UTC --- (In reply to comment #2) > This is http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_closed.html#7 which > was > closed as NAD saying "This is what was intended" but I'm not sure what

[Bug c++/55120] Inaccessible virtual base constructor does not prevent generation of default constructor

2012-10-30 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55120 --- Comment #6 from Daniel Krügler 2012-10-30 07:28:47 UTC --- (In reply to comment #4) > I think the standard is unclear on this. That defect report has been queried > by > experts. Let me clarify that I have not even tried to interpret the st

[Bug c++/55120] Inaccessible virtual base constructor does not prevent generation of default constructor

2012-10-30 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55120 --- Comment #7 from Daniel Krügler 2012-10-30 19:48:21 UTC --- (In reply to comment #5) > Curious that G++, Comeau and Clang all accept the example in CWG issue 7, > despite the rationale (and Mike) indicating it's intended that a virtual > priv

[Bug c++/55149] capturing VLA in lambda (error in 4.7.2 ICE in 4.8

2012-10-31 Thread daniel.kruegler at googlemail dot com
||googlemail dot com --- Comment #1 from Daniel Krügler 2012-10-31 21:56:58 UTC --- I think your example codes involves at least two different issues here. In the following my data was realized by using gcc 4.8.0 20121014 (experimental) with the flags -Wall -std=c++11

[Bug c++/25466] typeid expression fails to throw bad_typeid according to 5.2.8p2

2012-11-01 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25466 --- Comment #8 from Daniel Krügler 2012-11-01 07:11:56 UTC --- (In reply to comment #7) The error is real. The original example belongs to 5.2.8 p2: "When typeid is applied to a **glvalue expression** whose type is a polymorphic class type [..]

[Bug c++/25466] typeid expression fails to throw bad_typeid according to 5.2.8p2

2012-11-01 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25466 --- Comment #10 from Daniel Krügler 2012-11-01 09:10:56 UTC --- (In reply to comment #9) I don't think that the standard says (or intends to say) that an implementation has to defer all evaluations here. For example, assume you provide polymorp

[Bug c++/55159] pythy constexpr auto lambda pointer has no initializer

2012-11-01 Thread daniel.kruegler at googlemail dot com
||googlemail dot com --- Comment #1 from Daniel Krügler 2012-11-01 10:58:06 UTC --- I really think that Pythy should fix this implementation, because it is not supported by the C++11 standard. Any compiler accepting that is defect. According to 9.4.2 p3: "A static

[Bug c++/55159] pythy constexpr auto lambda pointer has no initializer

2012-11-01 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55159 --- Comment #3 from Daniel Krügler 2012-11-01 15:11:51 UTC --- (In reply to comment #2) Hmmh, it doesn't look like that one, maybe I was wrong about an existing issue. But it seems that gcc doesn't ignore the const (in "const T*" or "const auto

[Bug c++/55159] pythy constexpr auto lambda pointer has no initializer

2012-11-02 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55159 --- Comment #4 from Daniel Krügler 2012-11-02 08:10:14 UTC --- (In reply to comment #3) > But it seems that gcc doesn't ignore the const (in "const T*" or "const > auto*") > for functions here, which seems to be the root of the second problem (

[Bug c++/55159] pythy constexpr auto lambda pointer has no initializer

2012-11-02 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55159 --- Comment #5 from Daniel Krügler 2012-11-02 08:57:33 UTC --- I need to insert another correction. My attempt to simplify the reporters bug failed because I was mislead by the report description that "visual studio 2012 work fine" interpreting

[Bug c++/55159] pythy constexpr auto lambda pointer has no initializer

2012-11-02 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55159 --- Comment #7 from Daniel Krügler 2012-11-02 11:39:07 UTC --- (In reply to comment #6) > Thus, Daniel, is this invalid? I think this part of the problem is indeed valid: template struct min_t { static bool less(T0 x, T1 y) { return x < y

[Bug c++/52008] [C++0x] ICE when adding partial specialization for variadic-templated structure

2012-11-06 Thread daniel.kruegler at googlemail dot com
||googlemail dot com --- Comment #11 from Daniel Krügler 2012-11-06 19:23:51 UTC --- The associated core issue http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1495 has now ready state, so I think this issue could now be unsuspended

[Bug c++/55226] New: [C++11] ICE regression in regard to anonymous unions and constexpr

2012-11-06 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55226 Bug #: 55226 Summary: [C++11] ICE regression in regard to anonymous unions and constexpr Classification: Unclassified Product: gcc Version: 4.8.0 Status: UN

[Bug c++/52965] c++11 - subclass is private, but g++ ignores access modifier when using auto

2012-11-07 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52965 --- Comment #4 from Daniel Krügler 2012-11-07 18:45:09 UTC --- (In reply to comment #2) I agree with Jonathan and James this issue can be closed.

[Bug c++/55227] designated initializer for char array by string constant

2012-11-07 Thread daniel.kruegler at googlemail dot com
||googlemail dot com --- Comment #1 from Daniel Krügler 2012-11-07 22:25:29 UTC --- I would expect that the designated initializer would be .a="" and not a:"" (as specified by C99), but I agree that even with that change the revised code

[Bug c++/55240] [c++0x] ICE on non-static data member initialization using 'auto' variable from containing function

2012-11-08 Thread daniel.kruegler at googlemail dot com
||googlemail dot com --- Comment #1 from Daniel Krügler 2012-11-08 21:33:48 UTC --- The ICE also exists for gcc 4.8.0 20121104 (experimental): "4|internal compiler error: in expand_expr_real_1, at expr.c:9280|"

[Bug libstdc++/55244] char_traits compares characters as though unsigned

2012-11-08 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55244 --- Comment #4 from Daniel Krügler 2012-11-08 23:52:52 UTC --- (In reply to comment #2) Agreed, looks like an invalid issue to me.

[Bug c++/56976] using braces to initialize a reference forces copy construction

2013-05-15 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56976 --- Comment #3 from Daniel Krügler --- (In reply to Akim Demaille from comment #2) You are right, I misread your code example in the haste. I agree that this is not related to CWG 1604 (we have no mixed case) and I think it is clear that both init

[Bug c++/57314] default template arguments for member template functions of class templates are instantiated before allowed

2013-05-18 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57314 Daniel Krügler changed: What|Removed |Added CC||daniel.kruegler@googlemail.

[Bug c++/57335] internal compiler error: in cxx_eval_bit_field_ref, at cp/semantics.c:6977

2013-05-20 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57335 Daniel Krügler changed: What|Removed |Added CC||daniel.kruegler@googlemail.

[Bug c++/57388] New: [C++11] ICE when function types with ref-qualifiers meet other function types

2013-05-23 Thread daniel.kruegler at googlemail dot com
: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: daniel.kruegler at googlemail dot com While attempting to upgrade std::function for functions with ref-qualifiers I found that the following code gives an ICE for gcc 4.9.0

[Bug c++/57384] can't expand a parameter pack into a list of function types or function pointer types

2013-05-23 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57384 --- Comment #2 from Daniel Krügler --- I have the impression that this *could* be related to http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1488 This is unchecked yet, because I'm leaving my place here.

[Bug c++/57388] [C++11] ICE when function types with ref-qualifiers meet other function types

2013-05-23 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57388 --- Comment #2 from Daniel Krügler --- (In reply to Daniel Krügler from comment #0) > While attempting to upgrade std::function for functions with ref-qualifiers > [..] Oops, I meant std::is_function of-course.

[Bug c++/57248] string parameter to constexpr functions

2013-05-23 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57248 --- Comment #3 from Daniel Krügler --- The code looks valid to me. I think that Paolo just wanted to point out that the library implementation does not cause this. I agree with him and can confirm that the code is also rejected when emulating the

[Bug c++/56991] constexpr std::initializer_list rejects too complex initialization

2013-05-24 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56991 --- Comment #4 from Daniel Krügler --- (In reply to Matheus Izvekov from comment #2) > I get also a similar bug: > > #include > > //is accepted by gcc > constexpr std::initializer_list good1 = { 1, 2, 3 }; > > struct foo { int a, b; }; > > //

[Bug c++/57392] The result of a .* expression is rvalue in a function template when its object expression is lvalue.

2013-05-24 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57392 Daniel Krügler changed: What|Removed |Added CC||daniel.kruegler@googlemail.

[Bug c++/57397] Off-by-one error in diagnostic when calling variadic function template with too few arguments

2013-05-24 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57397 Daniel Krügler changed: What|Removed |Added CC||daniel.kruegler@googlemail.

[Bug libstdc++/57403] A vector of volatile int doesn't work, but one of volatile void * does

2013-05-24 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57403 Daniel Krügler changed: What|Removed |Added CC||daniel.kruegler@googlemail.

[Bug c++/57406] New: [C++11] function templates don't accept function types with ref-qualifiers as template arguments

2013-05-24 Thread daniel.kruegler at googlemail dot com
IRMED Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: daniel.kruegler at googlemail dot com When attempting to update the library test cases that use the test_category template I stumbled across compiler

[Bug c++/57406] [C++11] function templates don't accept function types with ref-qualifiers as template arguments

2013-05-24 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57406 Daniel Krügler changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug c++/47765] Wrong template deduction

2013-05-25 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47765 --- Comment #8 from Daniel Krügler --- (In reply to Paolo Carlini from comment #7) > Do we have a DR # for this issue? It seems to me that this is http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1391 submitted by Jason with a simpli

[Bug c++/57388] [C++11] ICE when function types with ref-qualifiers meet other function types

2013-05-25 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57388 --- Comment #3 from Daniel Krügler --- Extending std::is_function in regard to ref-qualified functions will depend on that issue. I haven't found a way to get around these ICEs in the (updated) test cases.

[Bug c++/52216] [C++11] Wrong exception deduction for some forms of placement new

2013-05-25 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52216 --- Comment #4 from Daniel Krügler --- (In reply to Paolo Carlini from comment #3) It seems that this is CWG 1465 and it will be resolved by http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1351 It seems that this bug entry is fixed

[Bug c++/52216] [C++11] Wrong exception deduction for some forms of placement new

2013-05-25 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52216 --- Comment #6 from Daniel Krügler --- (In reply to Paolo Carlini from comment #5) It would be great to have these test cases added.

[Bug c++/57408] lambda, Variable length arrays, thread, internal compiler error: in expand_expr_real_1, at expr.c:9327

2013-05-25 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57408 Daniel Krügler changed: What|Removed |Added CC||daniel.kruegler@googlemail.

[Bug c++/57408] lambda, Variable length arrays, thread, internal compiler error: in expand_expr_real_1, at expr.c:9327

2013-05-25 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57408 --- Comment #3 from Daniel Krügler --- Further simplification down to a library-free test case: //-- template struct Impl { Callable func; Impl(Callable f) : func(f) { } virtual

[Bug c++/57416] internal compiler error: in gimple_expand_cfg, at cfgexpand.c:4575

2013-05-25 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57416 Daniel Krügler changed: What|Removed |Added CC||daniel.kruegler@googlemail.

[Bug c++/57416] internal compiler error: in gimple_expand_cfg, at cfgexpand.c:4575

2013-05-25 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57416 --- Comment #4 from Daniel Krügler --- If you remove the still existing member initializer in func1, does the ICE still exist? (On 4.9 after removal of that initializer I could compile and run the program). Are all the compiler flags necessary to

[Bug c++/57416] internal compiler error: in gimple_expand_cfg, at cfgexpand.c:4575

2013-05-25 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57416 --- Comment #5 from Daniel Krügler --- (In reply to Daniel Krügler from comment #4) We had a clash here, but except for my first observation the remaining questions are still relevant.

<    1   2   3   4   5   6   7   8   9   >