[Bug c++/82380] [concepts] Error when using requires constraint with attributes

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82380 Casey Carter changed: What|Removed |Added CC||cjdb.ns at gmail dot com --- Comment #6

[Bug c++/67491] [meta-bug] concepts issues

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67491 Bug 67491 depends on bug 90734, which changed state. Bug 90734 Summary: [concepts] Pre-normalization substitution into constraints of templated function breaks subsumption https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90734 What

[Bug c++/90734] [concepts] Pre-normalization substitution into constraints of templated function breaks subsumption

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90734 Casey Carter changed: What|Removed |Added Status|NEW |RESOLVED Resolution|---

[Bug c++/92505] New: Using mutable in constexpr

: unassigned at gcc dot gnu.org Reporter: Casey at Carter dot net Target Milestone: --- GCC trunk does not accept this well-formed program in -std=c++2a mode: constexpr int f() { struct { mutable int i = 41; } s; auto const& cs

[Bug c++/71125] [concepts] Spurious 'invalid reference to function concept error' issued when overloads are not all declared with the concept specifier

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71125 --- Comment #2 from Casey Carter --- (In reply to Jonathan Wakely from comment #1) > Is this valid in C++20? Definitely not: there are no concept functions in C++20. > > I think G++ is correct to reject it due to redeclaring C1, C2 etc. as a

[Bug c++/91923] New: [9/10 Regression] Failure-to-SFINAE with class type NTTP in C++17

Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: Casey at Carter dot net Target Milestone: --- Compiling this well-formed TU (https://godbolt.org/z/8HYWSC): template constexpr bool is_integral_(...) { return false

[Bug c++/67427] [concepts] Subsumption dependence on template parameter ordering

||Casey at Carter dot net Resolution|--- |INVALID --- Comment #2 from Casey Carter --- (In reply to Andrew Sutton from comment #1) > I believe that the ambiguity is correct under the revised semantics of > concepts. I agree. Happy fourth bi

[Bug c++/67491] [meta-bug] concepts issues

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67491 Bug 67491 depends on bug 67427, which changed state. Bug 67427 Summary: [concepts] Subsumption dependence on template parameter ordering https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67427 What|Removed |Added

[Bug libstdc++/91259] Parenthesize requires clauses that contain expressions that are not just a value of type bool

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91259 --- Comment #7 from Casey Carter --- Thanks, Jonathan. I can confirm that grepping for "\b(concept|requires)\b" finds a great many uses in comments, but only the one concept definition and one requires-clause in .

[Bug libstdc++/91259] Parenthesize requires clauses that contain expressions that are not just a value of type bool

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91259 Casey Carter changed: What|Removed |Added CC||Casey at Carter dot net --- Comment #2

[Bug c++/90734] [concepts] Pre-normalization substitution into constraints of templated function breaks subsumption

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90734 Casey Carter changed: What|Removed |Added CC||Casey at Carter dot net --- Comment #1

[Bug c++/90734] New: [concepts] Pre-normalization substitution into constraints of templated function breaks subsumption

Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: Casey at Carter dot net Target Milestone: --- Created attachment 46447 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=46447=edit Repro Compil

[Bug c++/90675] New: [concepts] expressions in compound requirements not correctly treated as unevaluated operands

Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: Casey at Carter dot net Target Milestone: --- Created attachment 46430 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=46430=edit Minimal re

[Bug c++/82171] Cant use std::declval in concept testing map operator[]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82171 Casey Carter changed: What|Removed |Added CC||Casey at Carter dot net --- Comment #4

[Bug c++/86044] noexcept(false) of constexpr member function ignored

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86044 Casey Carter changed: What|Removed |Added CC||Casey at Carter dot net --- Comment #1

[Bug libstdc++/89610] Move-assigning a pmr container sometimes copies the elements instead of moving them

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89610 --- Comment #2 from Casey Carter --- This isn't a "missed-optimization", it's non-conforming behavior. The Allocator-aware container requirements (http://eel.is/c++draft/container.requirements.general#16.sentence-41) require only that the

[Bug c++/82380] [concepts] Error when using requires constraint with attributes

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82380 --- Comment #2 from Casey Carter --- You can work around this bug by using a trailing requires-clause instead of putting the requires-clause in the template-head.

[Bug c++/89300] C++ requires statement does not fail silently for const void *

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89300 Casey Carter changed: What|Removed |Added CC||Casey at Carter dot net --- Comment #1

[Bug libstdc++/70303] Value-initialized debug iterators

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70303 --- Comment #5 from Casey Carter --- IIRC my reasoning was that [random.access.iterators] specifies the operational semantics of `a < b` to be `b - a > 0`, which suggests but doesn't quite require that `a < b` is valid whenever `b - a` is valid.

[Bug libstdc++/70303] Value-initialized debug iterators

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70303 Casey Carter changed: What|Removed |Added CC||Casey at Carter dot net --- Comment #4

[Bug c++/88829] New: Failure to deduce size of array of 2^31 chars

++ Assignee: unassigned at gcc dot gnu.org Reporter: Casey at Carter dot net Target Milestone: --- This sample TU: using size_t = decltype(sizeof(int)); template T&& declval(); template void f(T(&&)[N]) {} using U = decltype(f(declval()))

[Bug c++/88419] [7/8/9 Regression] [ICE] "Same canonical type node for different types" for CTAD in noexcept

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88419 Casey Carter changed: What|Removed |Added Keywords|accepts-invalid | --- Comment #6 from Casey Carter ---

[Bug c++/88515] New: [concepts] id-expression that names non-static data member rejected in requires-expression

Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: Casey at Carter dot net Target Milestone: --- Compiling this TU: template concept bool C = requires { T::value; }; struct S { int value

[Bug c++/88419] [9 Regression] [ICE] "Same canonical type node for different types" for CTAD in noexcept

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88419 --- Comment #3 from Casey Carter --- 8.2 and 7.4 don't ICE: https://godbolt.org/z/VznOao. I was assuming that r266224 (the fix for #52869) likely caused the regression, although I haven't investigated.

[Bug c++/88419] New: [9 Regression] [ICE] "Same canonical type node for different types" for CTAD in noexcept

NCONFIRMED Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: Casey at Carter dot net Target Milestone: --- Created attachment 45191 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=45191=edit Repro This TU

[Bug c++/87814] New: [9 Regression] ICE in in tsubst_copy, at cp/pt.c:15962 with range-v3

Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: Casey at Carter dot net Target Milestone: --- Created attachment 44932 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=44932=edit Preprocessed repro This program (preproces

[Bug c++/67491] [meta-bug] concepts issues

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67491 Bug 67491 depends on bug 86493, which changed state. Bug 86493 Summary: [concepts] Hard error for "call to non-'constexpr' function" in a requires expression https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86493 What|Removed

[Bug c++/86493] [concepts] Hard error for "call to non-'constexpr' function" in a requires expression

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86493 Casey Carter changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug c++/78173] Hard error subtracting pointers to incomplete type in SFINAE context

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78173 Casey Carter changed: What|Removed |Added CC||Casey at Carter dot net

[Bug c++/86493] New: [concepts] Hard error for "call to non-'constexpr' function" in a requires expression

NCONFIRMED Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: Casey at Carter dot net Target Milestone: --- Compiling this well-formed program: template concept bool Concept = T::f() == 0; struct bad {

[Bug c++/84140] Inline friends are not constrained by concepts

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84140 --- Comment #2 from Casey Carter --- *** Bug 69096 has been marked as a duplicate of this bug. ***

[Bug c++/69096] [concepts] return type deduction before checking constraint satisfaction

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69096 Casey Carter changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug c++/67491] [meta-bug] concepts issues

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67491 Bug 67491 depends on bug 69096, which changed state. Bug 69096 Summary: [concepts] return type deduction before checking constraint satisfaction https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69096 What|Removed

[Bug c++/84140] Inline friends are not constrained by concepts

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84140 Casey Carter changed: What|Removed |Added CC||Casey at Carter dot net --- Comment #1

[Bug c++/82507] [concepts] premature substitution into constraint of non-template member function

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82507 --- Comment #1 from Casey Carter --- Gentle ping: working around this bug is making it incredibly hard to prototype the Ranges design for C++20.

[Bug c++/65816] Constructor delegation does not perform zero-initialization

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65816 Casey Carter changed: What|Removed |Added CC||Casey at Carter dot net --- Comment #3

[Bug c++/65816] Constructor delegation does not perform zero-initialization

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65816 --- Comment #4 from Casey Carter --- *** Bug 85892 has been marked as a duplicate of this bug. ***

[Bug c++/85892] value-initialization failure

||Casey at Carter dot net Resolution|--- |DUPLICATE --- Comment #2 from Casey Carter --- (In reply to Jonathan Wakely from comment #1) > Is this a dup of Bug 65816 comment 1? Almost exactly: the sole difference being that 65816 comment 1 obser

[Bug c++/85892] New: value-initialization failure

++ Assignee: unassigned at gcc dot gnu.org Reporter: Casey at Carter dot net Target Milestone: --- This test program aborts because `collector`'s base `item` isn't properly zero-initialized: void* operator new(decltype(sizeof(int)), void* ptr) { return ptr; } struct item

[Bug c++/85808] New: [concepts] unqualified name lookup breaks after qualified lookup in nested requirement

Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: Casey at Carter dot net Target Milestone: --- Compiling this program fragment with "g++ -std=c++17 -fconcepts" (https://godbolt.org/g/EXDoD3): n

[Bug c++/85806] New: [concepts] Hard error for "invalid use of non-static data member" in a requires expression

NCONFIRMED Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: Casey at Carter dot net Target Milestone: --- Compiling this program fragment with g++ -std=c++17 -fconcepts (https://godbolt.org/g/L1b6TS): temp

[Bug c++/85765] [8/9 Regression] Missing SFINAE in default template argument

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85765 --- Comment #4 from Casey Carter --- Narrowing the error down: template())), decltype(*U(),0) = 0> U g(T& t, long) { return begin(t); } // #1 prog.cc: In instantiation of 'U g(T&, long int) [with T = volatile il; U = int*; decltype (((*

[Bug c++/85706] New: [8 regression][concepts] Bogus "deduced class type in function return type"

Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: Casey at Carter dot net Target Milestone: --- Compiling this program: template struct S { S(T); }; template auto f() -> decltype(S(42)); // error

[Bug c++/85555] Use of concepts gives access to private members.

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=8 Casey Carter changed: What|Removed |Added CC||Casey at Carter dot net --- Comment #1

[Bug c++/82768] ICE in synthesize_implicit_template_parm, at cp/parser.c:39338

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82768 Casey Carter changed: What|Removed |Added CC||Casey at Carter dot net --- Comment #2

[Bug c++/82247] [concepts] Name deduction in concepts fails depending on the argument type

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82247 Casey Carter changed: What|Removed |Added CC||Casey at Carter dot net --- Comment #4

[Bug c++/67595] concepts code causes segfault

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67595 --- Comment #5 from Casey Carter --- The original program submission is ill-formed due to the requirement on line 270 being poorly designed: requires std::is_same::value; for a random access

[Bug c++/82740] New: [concepts] requires clause evaluated early

++ Assignee: unassigned at gcc dot gnu.org Reporter: Casey at Carter dot net Target Milestone: --- Created attachment 42483 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=42483=edit Repro Trunk as of 20170825 miscompiles this program (https://wandbox.org/perml

[Bug c++/81178] New: [concepts] poor (partial?) diagnostic for alias substitution failure in a concept body

Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: Casey at Carter dot net Target Milestone: --- GCC 6.3/7.1/trunk as of 20170621 all diagnose this ill-formed program (https://wandbox.org/permlink/uatmNSnlLbhvSvls

[Bug c++/80633] [7/8 Regression] -Wstrict-aliasing false positive

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80633 Casey Carter changed: What|Removed |Added CC||Casey at Carter dot net --- Comment #2

[Bug c++/81026] New: Lookup of dependent member template incorrectly finds non-member

Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: Casey at Carter dot net Target Milestone: --- GCC 4/5/6/7/8 diagnose this correct program: namespace std { template struct extent; } using namespace std; template struct S

[Bug c++/80633] New: [7/8 Regression] -Wstrict-aliasing false positive

: c++ Assignee: unassigned at gcc dot gnu.org Reporter: Casey at Carter dot net Target Milestone: --- Created attachment 41321 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=41321=edit Repro (sorry, not library-free) gcc 7.1.1 20170504 and 8.0.0 20170504 - but not

[Bug c++/78715] [concepts] Access specifiers ignored after concept declaration

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78715 Casey Carter changed: What|Removed |Added CC||Casey at Carter dot net --- Comment #1

[Bug c++/79591] New: [concepts] failure to distinguish overloads from different namespaces with differing constraints

Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: Casey at Carter dot net Target Milestone: --- Created attachment 40772 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=40772=edit Minimal repro

[Bug c++/67150] [c++-concepts] Expression constraint fails with dependent types used as a deduction constraint target

||Casey at Carter dot net Resolution|--- |FIXED --- Comment #1 from Casey Carter --- This fails to reproduce on both GCC 6.3 and trunk.

[Bug c++/67491] [meta-bug] concepts issues

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67491 Bug 67491 depends on bug 67150, which changed state. Bug 67150 Summary: [c++-concepts] Expression constraint fails with dependent types used as a deduction constraint target https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67150 What

[Bug c++/67384] [concepts] More fun with deduction constraints

||Casey at Carter dot net Resolution|--- |FIXED --- Comment #1 from Casey Carter --- This no longer reproduces on 6.3 or trunk.

[Bug c++/67491] [meta-bug] concepts issues

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67491 Bug 67491 depends on bug 67384, which changed state. Bug 67384 Summary: [concepts] More fun with deduction constraints https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67384 What|Removed |Added

[Bug c++/79143] [7 Regression][new inheriting constructors] inheriting constructor fails with brace initialization

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79143 Casey Carter changed: What|Removed |Added CC||Casey at Carter dot net --- Comment #4

[Bug c++/68858] Cannot use fold expression in requirements with two parameters packs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68858 --- Comment #1 from Casey Carter --- This seems to be a duplicate of PR 68812.

[Bug c++/79143] New: [7 Regression][new inheriting constructors] inheriting constructor fails with brace initialization

Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: Casey at Carter dot net Target Milestone: --- r244608 with -std=c++1z fails to compile this program both with and without -fno-new-inheriting-constructors

[Bug c++/78841] [6 regression] optimizer bug (silent bad codegen)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78841 --- Comment #5 from Casey Carter --- I have verified that gcc-6-branch compiles the repro correctly, so yes, this is a dup of PR78047.

[Bug c++/78841] [6 regression] optimizer bug (silent bad codegen)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78841 --- Comment #2 from Casey Carter --- Created attachment 40371 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=40371=edit compressed preprocessed repro

[Bug c++/78841] New: [6 regression] optimizer bug (silent bad codegen)

: c++ Assignee: unassigned at gcc dot gnu.org Reporter: Casey at Carter dot net Target Milestone: --- g++ 6.2 (not 5.4, or 4.9, or 4.8, or trunk) generates bad code for the attached repro at -O2 and higher. "silent bad codegen" just barely trumps "already fixed

[Bug c++/69288] [concepts] Subsumption failure with constrained member functions of class template

||Casey at Carter dot net Resolution|--- |FIXED --- Comment #1 from Casey Carter --- This no longer reproduces with 6.2 or trunk.

[Bug c++/78173] New: Hard error subtracting pointers to incomplete type in SFINAE context

Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: Casey at Carter dot net Target Milestone: --- Created attachment 39934 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=39934=edit Minimal repro This TU, which should comp

[Bug libstdc++/77537] [6 Regression] pair constructors do not properly SFINAE

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77537 --- Comment #11 from Casey Carter --- Thanks again Ville - I owe you a beer in Issaquah.

[Bug libstdc++/77537] pair constructors do not properly SFINAE

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77537 --- Comment #4 from Casey Carter --- Any chance of applying this to 6-branch as well? This is breaking both range-v3 and cmcstl2 in a nasty and hard-to-workaround way.

[Bug libstdc++/77537] New: pair constructors do not properly SFINAE

++ Assignee: unassigned at gcc dot gnu.org Reporter: Casey at Carter dot net Target Milestone: --- Created attachment 39586 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=39586=edit Patch Both static_asserts in this program fail: #include #include struct moveo

[Bug c++/77375] New: constant object with mutable subobject allocated in read-only memory

Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: Casey at Carter dot net Target Milestone: --- When run, this program results in a segmentation fault: struct Base { mutable int i; }; struct Derived : Base {}; const Derived foo

[Bug c++/71965] New: [7 regression] [concepts] Substitution error *after* failure to satisfy an earlier constraint

Severity: minor Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: Casey at Carter dot net Target Milestone: --- Created attachment 38949 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=38949=edit Repro p12

[Bug libstdc++/71771] DR 685 applied incorrectly

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71771 --- Comment #7 from Casey Carter --- That seems like a good compromise solution to avoid breaking both old code and new.

[Bug libstdc++/71771] DR 685 applied incorrectly

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71771 Casey Carter changed: What|Removed |Added CC||Casey at Carter dot net --- Comment #5

[Bug c++/71771] New: DR 685 applied incorrectly

: unassigned at gcc dot gnu.org Reporter: Casey at Carter dot net Target Milestone: --- The resolution of LWG DR 685 (http://cplusplus.github.io/LWG/lwg-defects.html#685) *replaces* the non-member operator- of reverse_iterator and move_iterator with a cross-type overload constrained via

[Bug libstdc++/71364] [7 regression] recent tuple changes break range-v3 merge.cpp

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71364 Casey Carter changed: What|Removed |Added CC||Casey at Carter dot net --- Comment #4

[Bug c++/67185] [C++14] Link error on ODR-use of variable template partial specialization

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67185 --- Comment #6 from Casey Carter --- ODR-use of different specializations of the same partially-specialized variable template still trigger the error in GCC 6 (Error: symbol `x' is already defined): template bool x = false; template bool

[Bug c++/71225] New: [7 Regression] Overeager instantiation of members of non-template class nested in class template

Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: Casey at Carter dot net Target Milestone: --- Created attachment 38540 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=38540=edit Repro r236559 fa

[Bug c++/71173] New: [6 regression] Qualified name lookup

++ Assignee: unassigned at gcc dot gnu.org Reporter: Casey at Carter dot net Target Milestone: --- This program should compile without error: namespace foo { namespace bar { class foo {}; } class baz {}; } using namespace foo::bar; ::foo::baz mybaz; but GCC 6 reports (http

[Bug c++/71117] [6.1 regression] Overeager application of conversion to function pointer during overload resolution of call to function object

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71117 --- Comment #1 from Casey Carter --- Very closely related, but not an exact duplicate of, PR 71105.

[Bug c++/71105] New: [6 regression] lambas with default captures improperly have function pointer conversions

Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: Casey at Carter dot net Target Milestone: --- Created attachment 38483 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=38483=edit Minimal test case N4

[Bug c++/70522] Hidden friend functions block qualified name lookup into nested unnamed namespace

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70522 --- Comment #5 from Casey Carter --- (In reply to Jason Merrill from comment #4) > (In reply to Casey Carter from comment #2) > > This is a regression of sorts, FWIW, gcc 4.3 compiled it correctly > >

[Bug c++/70522] Hidden friend functions block qualified name lookup into nested unnamed namespace

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70522 Casey Carter changed: What|Removed |Added CC||Casey at Carter dot net --- Comment #2

[Bug c++/60799] access checking within injected friend functions does not happen in the context of the enclosing class

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60799 --- Comment #5 from Casey Carter --- (In reply to TC from comment #4) > > I don't think that reading makes much sense. Among member-declarations that > do not declare a member are static_assert-declarations and unnamed bit-field > declarations,

[Bug c++/60799] access checking within injected friend functions does not happen in the context of the enclosing class

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60799 --- Comment #3 from Casey Carter --- > I'm inclined to the second interpretation, which would imply the behavior > described in this bug report is what the standard intends. This is me stumbling over my words attempting to say "I think this

[Bug c++/60799] access checking within injected friend functions does not happen in the context of the enclosing class

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60799 --- Comment #2 from Casey Carter --- [basic.lookup.unqual]/9 says that name *lookup* inside friend functions defined inline works as it does in member functions, but that doesn’t necessarily imply that the friend function should have the same

[Bug c++/70522] New: Hidden friend functions block qualified name lookup into nested unnamed namespace

: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: Casey at Carter dot net Target Milestone: --- This program should compile without error: namespace N { struct S { friend void f(S&) {} }; names

[Bug libstdc++/70303] New: Value-initialized debug iterators

++ Assignee: unassigned at gcc dot gnu.org Reporter: Casey at Carter dot net Target Milestone: --- Since C++14 requires value-initialized Forward iterators to compare equal, and subtraction/ordering of RandomAccess iterators is based on equality, this program should run to completion

[Bug c++/60799] access checking within injected friend functions does not happen in the context of the enclosing class

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60799 --- Comment #1 from Casey Carter --- This bug is present in both 5.3 and 6.0; it should probably be attached to the friend meta-bug 65608 since it is a "friend" issue.

[Bug c++/67185] [C++14] Link error on ODR-use of variable template partial specialization

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67185 Casey Carter changed: What|Removed |Added Attachment #36170|0 |1 is obsolete|

[Bug c++/67210] [concepts] Error parsing ">>" after a template-id that names a concept

|| CC||Casey at Carter dot net --- Comment #1 from Casey Carter --- Created attachment 37879 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=37879=edit Minimal non-concepts (C++14) test case

[Bug c++/67185] [C++14] Link error on ODR-use of variable template partial specialization

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67185 Casey Carter changed: What|Removed |Added CC||Casey at Carter dot net

[Bug libstdc++/69365] New: LWG DR2367 (constrained pair default constructor)

: libstdc++ Assignee: unassigned at gcc dot gnu.org Reporter: Casey at Carter dot net Target Milestone: --- There's a bug report for range-v3 (https://github.com/ericniebler/range-v3/issues/275) that results from libstdc++ in the GCC-5 branch not implementing the resolution

[Bug c++/69288] New: [concepts] Subsumption failure with constrained member functions of class template

Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: Casey at Carter dot net Target Milestone: --- Created attachment 37346 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=37346=edit Minimized test case r232

[Bug c++/69096] New: [concepts] return type deduction before checking constraint satisfaction

Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: Casey at Carter dot net Target Milestone: --- Created attachment 37196 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=37196=edit Test case r231964 miscompiles this valid

[Bug c++/68666] New: [concepts] "is not a function template" using class-scoped variable template in constraint expression

rsion: 6.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: Casey at Carter dot net Target Milestone: --- Created attachment 36892 --> https://gcc.gnu.org/bugzilla/attachment

[Bug c++/68607] Internal compiler error with generic lambda and constexpr

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68607 Casey Carter changed: What|Removed |Added CC||Casey at Carter dot net --- Comment #1

[Bug c++/68434] [concepts] ICE: same canonical type node for different types

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68434 Casey Carter changed: What|Removed |Added CC||Casey at Carter dot net --- Comment #4

[Bug c++/68061] Can't use [[deprecated]] with requires clause

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68061 Casey Carter changed: What|Removed |Added CC||Casey at Carter dot net --- Comment #2

[Bug c++/68164] Destructor side effect unexpectedly elided

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68164 --- Comment #3 from Casey Carter --- Apologies for the vagueness of my response; I actually needed your quote from [class.cdtor]/3 to complete it: "To ... access the value of ... a direct non-static member of an object obj, the construction of

[Bug c++/68164] Destructor side effect unexpectedly elided

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68164 Casey Carter changed: What|Removed |Added CC||Casey at Carter dot net --- Comment #1

  1   2   >