[Bug c++/77781] [DR 1315] Some valid cases of partial specialization not accepted

2017-12-15 Thread colu...@gmx-topmail.de
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77781 Robert Haberlach changed: What|Removed |Added CC||colu...@gmx-topmail.de --- Comment

[Bug c++/84692] New: Class template argument deduction ICE for template's member template

2018-03-03 Thread colu...@gmx-topmail.de
ormal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: colu...@gmx-topmail.de Target Milestone: --- template struct X { template struct Y { Y(U, Ts const&... ); }; friend void begin(X) {

[Bug c++/84692] Class template argument deduction ICE for template's member template

2018-03-03 Thread colu...@gmx-topmail.de
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84692 --- Comment #1 from Robert Haberlach --- Btw. begin being a friend is irrelevant, it can also be a non-static or static member.

[Bug c++/84692] Class template argument deduction ICE for template's member template

2018-03-03 Thread colu...@gmx-topmail.de
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84692 --- Comment #2 from Robert Haberlach --- And furthermore, I forgot to paste the correct compiler output, as the above was yielded before I shortened the names: prog.cc: In substitution of 'template Y(U, const Ts& ...)-> X::Y [with U = 128]': pro

[Bug c++/69531] New: Implement CWG 1307; Differently bounded array parameters

2016-01-28 Thread colu...@gmx-topmail.de
Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: colu...@gmx-topmail.de Target Milestone: --- int main() { int f(int(&&)[1]); int f(int(&&)[2]); f({1}); } The list initialization sequence specified by [over.ics.list]

[Bug c++/69623] New: CWG 1388; Invalid deduction of non-trailing template parameter pack

2016-02-02 Thread colu...@gmx-topmail.de
Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: colu...@gmx-topmail.de Target Milestone: --- template void f(T..., U...) {} int main() {f();} --- This shouldn't compile. Although U is deduced to the empty pac

[Bug libstdc++/80564] New: bind on SFINAE unfriendly generic lambda

2017-04-29 Thread colu...@gmx-topmail.de
++ Assignee: unassigned at gcc dot gnu.org Reporter: colu...@gmx-topmail.de Target Milestone: --- Related to https://gcc.gnu.org/bugzilla/show_bug.cgi?id=49058 --- #include int main() { int i; std::bind([] (auto& x) {x = 1;}, i)(); } --- This is rejected bec

[Bug libstdc++/80564] bind on SFINAE unfriendly generic lambda

2017-05-04 Thread colu...@gmx-topmail.de
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80564 --- Comment #6 from Robert Haberlach --- (In reply to TC from comment #4) > (In reply to Eric Fiselier from comment #3) > > Here is an example of why `_Bind::operator()(...) const` must be considered > > during overload resolution even if the cal

[Bug libstdc++/80564] bind on SFINAE unfriendly generic lambda

2017-05-04 Thread colu...@gmx-topmail.de
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80564 --- Comment #7 from Robert Haberlach --- Oh, damn. "Submit only my new comment" does not what I thought it does. :-)

[Bug c++/79520] New: Spurious caching for constexpr arguments

2017-02-14 Thread colu...@gmx-topmail.de
++ Assignee: unassigned at gcc dot gnu.org Reporter: colu...@gmx-topmail.de Target Milestone: --- constexpr int f(int const& x) {return x;} constexpr struct S { int x = 0; constexpr S() {(void)f(x); x = 1;} } s; static_assert(f(s.x) == 1, ""); --- Pre

[Bug c++/78019] New: Local class with lambda in default member initializer cannot default-capture this

2016-10-18 Thread colu...@gmx-topmail.de
: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: colu...@gmx-topmail.de Target Milestone: --- int main() { struct A { int x, i = [&] { return x; }(); } a{0}; } - > error: 'this' was

[Bug c++/11407] [DR 115] Function cannot be resolved

2016-10-19 Thread colu...@gmx-topmail.de
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=11407 Robert Haberlach changed: What|Removed |Added CC||colu...@gmx-topmail.de --- Comment

[Bug c++/78223] New: struct containing default member initializer fails constexpr test in aggregate initialization

2016-11-06 Thread colu...@gmx-topmail.de
Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: colu...@gmx-topmail.de Target Milestone: --- constexpr struct X { X const& x = *this; } y {{}}; This is valid as of core issue

[Bug c++/66292] New: ICE in constexpr call evaluation

2015-05-26 Thread colu...@gmx-topmail.de
++ Assignee: unassigned at gcc dot gnu.org Reporter: colu...@gmx-topmail.de Target Milestone: --- When compiling Testing.cxx from https://github.com/Arcoth/Constainer/blob/9a96ba3089778fe655fde2334701077e2d6c8f35/Testing.cxx#L91, GCC bails out at the end: /home/arcoth/Programming/Constainer

[Bug c++/66292] ICE in constexpr call evaluation

2015-05-26 Thread colu...@gmx-topmail.de
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66292 --- Comment #2 from Columbo --- (In reply to Marek Polacek from comment #1) > Please provide a preprocessed source file (does not have to be reduced). The file is larger than 1000kb. It consists of 88000 lines.

[Bug c++/66292] ICE in constexpr call evaluation

2015-05-26 Thread colu...@gmx-topmail.de
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66292 --- Comment #4 from Columbo --- Created attachment 35630 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=35630&action=edit Testcase for 66292

[Bug c++/67593] New: Partial specialization: "Template argument involves template parameters"

2015-09-15 Thread colu...@gmx-topmail.de
ty: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: colu...@gmx-topmail.de Target Milestone: --- template struct outer { template struct inner {}; template struct inner {}; }; This fails to compile, al

[Bug c++/67685] New: ICE on invalid requires expression

2015-09-22 Thread colu...@gmx-topmail.de
++ Assignee: unassigned at gcc dot gnu.org Reporter: colu...@gmx-topmail.de Target Milestone: --- void f(auto i) {requires {i;};} int main() {f(0);} => prog.cc: In instantiation of 'void f(auto:1) [with auto:1 = int]': prog.cc:3:16: required from here prog.cc:1

[Bug c++/69309] New: Implement CWG 1780

2016-01-15 Thread colu...@gmx-topmail.de
: unassigned at gcc dot gnu.org Reporter: colu...@gmx-topmail.de Target Milestone: --- auto l = [] {}; struct s {friend void decltype(l)::operator()() const;}; The above spuriously succeeds.

[Bug c++/69316] New: Implement CWG 393

2016-01-16 Thread colu...@gmx-topmail.de
: unassigned at gcc dot gnu.org Reporter: colu...@gmx-topmail.de Target Milestone: --- void f(int(&)[]); This fails, although made well-formed as of core issue 393. Note that a fix should presumably take EWG 118 into account.

[Bug c++/69390] New: dynamic_cast on rvalue fails

2016-01-20 Thread colu...@gmx-topmail.de
++ Assignee: unassigned at gcc dot gnu.org Reporter: colu...@gmx-topmail.de Target Milestone: --- The following code spuriously fails, because a "conversion to non-const reference type 'struct main()::A&' from rvalue of type 'main()::A'" is necessitated: -

[Bug c++/69410] New: friend declarations in local classes

2016-01-21 Thread colu...@gmx-topmail.de
++ Assignee: unassigned at gcc dot gnu.org Reporter: colu...@gmx-topmail.de Target Milestone: --- void a(); void f() { class A { friend void ::a(); friend class Z; }; } --- The above fails for two (false) reasons, although it shouldn't. a is qualified, ther

[Bug c++/67380] New: constexpr: Comparison of pointers to member array

2015-08-28 Thread colu...@gmx-topmail.de
: c++ Assignee: unassigned at gcc dot gnu.org Reporter: colu...@gmx-topmail.de Target Milestone: --- struct A {int arr[3] {1, 2, 3};} constexpr a{}; static_assert( a.arr != a.arr+3 ); This fails with 20150813, while it shouldn't. [expr.const]/(2.19) states that the r