[Bug c++/92523] Unhelpful error messages when requires-clause contains function call

2020-01-30 Thread boostcpp at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92523 --- Comment #2 from Ryou Ezoe --- That is regression. The latest HEAD build of the Clang as of now indeed pass that code. But this is explicitly ill-formed code. parentheses are required. See 13.1, paragraph 9, Note.

[Bug c++/92787] New: P0634R3 is not implemented correctly if parameter-declaration appears in a default argument

2019-12-03 Thread boostcpp at gmail dot com
Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: boostcpp at gmail dot com Target Milestone: --- The lambda expression's parameter-declaration don't assume a qualified-id to name a type if that parameter

[Bug c++/92652] function call to lambda expression that return true does not satisfy the constraint in requires-clause if using return type deduction

2019-12-03 Thread boostcpp at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92652 --- Comment #2 from Ryou Ezoe --- Yes. this is C++20 concepts .

[Bug libstdc++/92688] New: including introduce the name index to global namespace scope

2019-11-27 Thread boostcpp at gmail dot com
Priority: P3 Component: libstdc++ Assignee: unassigned at gcc dot gnu.org Reporter: boostcpp at gmail dot com Target Milestone: --- This code introduce regression after GCC 4.9 and onward. #include template < typename T > struct index { } int main() { }

[Bug c++/92652] New: function call to lambda expression that return true does not satisfy the constraint in requires-clause

2019-11-24 Thread boostcpp at gmail dot com
: UNCONFIRMED Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: boostcpp at gmail dot com Target Milestone: --- Following code has unsatisfied constraint with error messages prog.cc:15:25: error: could

[Bug c++/92556] New: ICE if using dependent name inside lambda expression in simple-requirement

2019-11-17 Thread boostcpp at gmail dot com
: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: boostcpp at gmail dot com Target Milestone: --- This code produced ICE on GCC 10 2019-11-12. template < typename T > requires requires { // ICE []{ T:

[Bug c++/92523] New: Unhelpful error messages when requires-clause contains function call

2019-11-14 Thread boostcpp at gmail dot com
Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: boostcpp at gmail dot com Target Milestone: --- Following code produce unhelpful error messages: constexpr bool f() { return true ; } template < typename T > requires f()

[Bug c++/92494] New: ICE on function templates with placeholder return type decltype([]{}) and return type doesn't match

2019-11-13 Thread boostcpp at gmail dot com
: UNCONFIRMED Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: boostcpp at gmail dot com Target Milestone: --- Following code produce the ICE on GCC 9 and the GCC 10 latest HEAD: template < typename T > de

[Bug c++/80417] New: GCC does not accept a well-formed code of using declaration with pack expansion results inheriting constructor

2017-04-13 Thread boostcpp at gmail dot com
: unknown Status: UNCONFIRMED Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: boostcpp at gmail dot com Target Milestone: --- GCC does not accept a well-formed code of using declaration with pack

[Bug c++/79817] New: GCC does not recognize [[deprecated]] attribute for namespace

2017-03-02 Thread boostcpp at gmail dot com
Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: boostcpp at gmail dot com Target Milestone: --- GCC does not recognize [[deprecated]] attribute for namespace http://melpon.org/wandbox/permlink/LVpUyDhcI75rNozy namespace [[deprecated]] ns

[Bug c++/79815] New: gcc does not implement C++ standard 7.1.7.4.1 p5 correctly.

2017-03-02 Thread boostcpp at gmail dot com
Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: boostcpp at gmail dot com Target Milestone: --- §7.1.7.4.1 paragraph 5 said. >If the placeholder is the decltype(auto) type-specifier, T shall be the >placeholder alone. Following code

[Bug c++/78929] Incorrect implementation of Refining Expression Evaluation Order for Idiomatic C++

2016-12-26 Thread boostcpp at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78929 --- Comment #2 from Ryou Ezoe --- My bad. §1.10 p18 still said "i++ + i" is undefined.

[Bug c++/78929] New: Incorrect implementation of Refining Expression Evaluation Order for Idiomatic C++

2016-12-25 Thread boostcpp at gmail dot com
Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: boostcpp at gmail dot com Target Milestone: --- GCC 7 claims to support Refining Expression Evaluation Order for Idiomatic C++, proposed by P0145R3. https://gcc.gnu.org

[Bug c++/64794] New: GCC failed at virtual function with override trailing return type name, followed by override virt-specifier

2015-01-25 Thread boostcpp at gmail dot com
Status: UNCONFIRMED Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: boostcpp at gmail dot com GCC failed at virtual function with override trailing return type name, followed by override virt

[Bug c++/59246] GCC should issue runtime error for calling pure virtual function with definition

2013-11-23 Thread boostcpp at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59246 --- Comment #3 from Ryou Ezoe boostcpp at gmail dot com --- Sorry. I should have provide a complete source code. I thought it's more helpful to issue runtime abort even though the standard doesn't requires it.

[Bug c++/59246] New: GCC should issue runtime error for calling pure virtual function with definition

2013-11-21 Thread boostcpp at gmail dot com
: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: boostcpp at gmail dot com Consider the following code: struct Base { virtual void f() = 0 ; virtual ~Base() ; } ; // pure virtual function with definition void

[Bug c++/59246] GCC should issue runtime error for calling pure virtual function with definition

2013-11-21 Thread boostcpp at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59246 --- Comment #1 from Ryou Ezoe boostcpp at gmail dot com --- According to the de facto standard C++ ABI: http://mentorembedded.github.io/cxx-abi/abi.html#pure-virtual __cxa_pure_virtual will be called: if the user calls a non-overridden pure

[Bug c++/48884] New: decltype's operand doesn't consider friend declaration

2011-05-05 Thread boostcpp at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48884 Summary: decltype's operand doesn't consider friend declaration Product: gcc Version: 4.7.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c++

[Bug c++/48871] New: gcc doesn't accept null pointer value as a template non-type argument

2011-05-04 Thread boostcpp at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48871 Summary: gcc doesn't accept null pointer value as a template non-type argument Product: gcc Version: 4.7.0 Status: UNCONFIRMED Severity: normal Priority: P3

[Bug c++/48582] New: Template non-type arguments doesn't accept null pointer constant value

2011-04-12 Thread boostcpp at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48582 Summary: Template non-type arguments doesn't accept null pointer constant value Product: gcc Version: 4.7.0 Status: UNCONFIRMED Severity: normal Priority: P3

[Bug c++/48296] New: constexpr member function cannot use the class type it belongs as parameter type or return type

2011-03-26 Thread boostcpp at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48296 Summary: constexpr member function cannot use the class type it belongs as parameter type or return type Product: gcc Version: 4.7.0 Status: UNCONFIRMED Severity: normal

[Bug c++/47956] New: gcc accepts static data member declaration with initializer for non-const literal type if type-specifier is auto

2011-03-02 Thread boostcpp at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47956 Summary: gcc accepts static data member declaration with initializer for non-const literal type if type-specifier is auto Product: gcc Version: 4.6.0 Status:

[Bug c++/47957] New: Type mismatch when a class derived a same name with template parameter

2011-03-02 Thread boostcpp at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47957 Summary: Type mismatch when a class derived a same name with template parameter Product: gcc Version: 4.6.0 Status: UNCONFIRMED Severity: normal Priority: P3

[Bug c++/47210] New: Compile error on type specifier in a friend declaration designates a class type

2011-01-07 Thread boostcpp at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47210 Summary: Compile error on type specifier in a friend declaration designates a class type Product: gcc Version: unknown Status: UNCONFIRMED Severity: normal

[Bug c++/47210] [C++0x] Compile error on type specifier in a friend declaration designates a class type

2011-01-07 Thread boostcpp at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47210 --- Comment #2 from Ryou Ezoe boostcpp at gmail dot com 2011-01-07 14:02:43 UTC --- Sorry, I didn't noticed that.

[Bug c++/45755] New: Member function template is instantiated to perform the copy

2010-09-23 Thread boostcpp at gmail dot com
Severity: normal Priority: P3 Component: c++ AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: boostcpp at gmail dot com http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45755

[Bug c++/45625] New: Template parameter name does not hide outer class scope's member name

2010-09-09 Thread boostcpp at gmail dot com
Product: gcc Version: 4.6.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c++ AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: boostcpp at gmail dot com http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45625

[Bug c++/45539] New: Redeclare a deleted funciton makes gcc does not issue compile error

2010-09-05 Thread boostcpp at gmail dot com
Priority: P3 Component: c++ AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: boostcpp at gmail dot com http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45539

[Bug c++/45225] New: gcc accepts ill-formed template code combining Variadic Templates and Partial specialization

2010-08-07 Thread boostcpp at gmail dot com
Component: c++ AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: boostcpp at gmail dot com http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45225

[Bug c++/45225] gcc accepts ill-formed template code combining Variadic Templates and Partial specialization

2010-08-07 Thread boostcpp at gmail dot com
--- Comment #1 from boostcpp at gmail dot com 2010-08-07 12:18 --- I also noticed gcc accept this code. Should I create separate bug report? template typename ... Types class Foo { }; // Params is template parameter. template typename ... Types, typename Params class Foo typename

[Bug c++/45225] gcc accepts ill-formed template code combining Variadic Templates and Partial specialization

2010-08-07 Thread boostcpp at gmail dot com
--- Comment #2 from boostcpp at gmail dot com 2010-08-07 12:18 --- My bad. Never mind. (In reply to comment #1) I also noticed gcc accept this code. Should I create separate bug report? template typename ... Types class Foo { }; // Params is template parameter. template

[Bug c++/45225] gcc accepts ill-formed template code combining Variadic Templates and Partial specialization

2010-08-07 Thread boostcpp at gmail dot com
--- Comment #3 from boostcpp at gmail dot com 2010-08-07 12:25 --- Come to think of it, It just use primary template. If I don't write the difinition of primary template, gcc issues error. template typename ... Types class Foo ; But still, I think this template keyword usage

[Bug c++/45225] gcc accepts ill-formed template code combining Variadic Templates and Partial specialization

2010-08-07 Thread boostcpp at gmail dot com
--- Comment #4 from boostcpp at gmail dot com 2010-08-07 14:17 --- It doesn't compile the following code which I think well-formed. #include tuple template typename ... Types class Foo ; template template typename ... class ... Types, typename ... Params class Foo

[Bug c++/44703] New: List initialization fail if parameter is typedef name for the std::initializer_list

2010-06-28 Thread boostcpp at gmail dot com
ReportedBy: boostcpp at gmail dot com http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44703

[Bug c++/43397] New: std::function can't forward rvalue reference for pointer to member function

2010-03-16 Thread boostcpp at gmail dot com
Component: c++ AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: boostcpp at gmail dot com http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43397

[Bug c++/43315] Variadic Templates affects the overload resolution rank

2010-03-11 Thread boostcpp at gmail dot com
--- Comment #4 from boostcpp at gmail dot com 2010-03-11 12:26 --- It looks like gcc is correct. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43315

[Bug c++/43315] Variadic Templates affects the overload resolution rank

2010-03-10 Thread boostcpp at gmail dot com
--- Comment #3 from boostcpp at gmail dot com 2010-03-10 22:30 --- I'm not sure about this. Maybe gcc is right. Even though it take zero parameter, it's still there. I don't know. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43315

[Bug c++/43315] New: Variadic Templates affects the overload resolution rank

2010-03-09 Thread boostcpp at gmail dot com
Version: 4.5.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c++ AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: boostcpp at gmail dot com http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43315

[Bug c++/43315] Variadic Templates affects the overload resolution rank

2010-03-09 Thread boostcpp at gmail dot com
--- Comment #1 from boostcpp at gmail dot com 2010-03-10 00:08 --- Umm, I found that non-variadic template is more specialized than the variadic templates. I wonder it affects this. However, in this case, I think there is no type to be specialized. -- http://gcc.gnu.org/bugzilla

[Bug c++/43261] New: name depends on Variadic Template Parameter is looked up at the point of definition

2010-03-04 Thread boostcpp at gmail dot com
Priority: P3 Component: c++ AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: boostcpp at gmail dot com http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43261

[Bug c++/43261] name depends on Variadic Template Parameter is looked up at the point of definition

2010-03-04 Thread boostcpp at gmail dot com
--- Comment #3 from boostcpp at gmail dot com 2010-03-05 00:55 --- Thank you. Now I understand the real problem. But still, it's nasty. I wonder C++0x fix this issue. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43261