[Bug c++/116710] New: Deduction succeeds despite mismatch of reference kind (lvalue versus rvalue)

2024-09-13 Thread hstong at ca dot ibm.com via Gcc-bugs
: rejects-valid Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: --- GCC allows template argument deduction to succeed even when deducing an lvalue reference

[Bug target/116063] [PPC] Transparent union issue with signedness when optimizing

2024-07-23 Thread hstong at ca dot ibm.com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116063 --- Comment #2 from Hubert Tong --- If it is invalid, a diagnostic like this should appear: ``` warning: union cannot be made transparent ```

[Bug target/116063] New: [PPC] Transparent union issue with signedness when optimizing

2024-07-23 Thread hstong at ca dot ibm.com via Gcc-bugs
Severity: normal Priority: P3 Component: target Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: --- Target: powerpc64le-unknown-linux-gnu When generating optimized code for a powerpc64le Linux

gcc-bugs@gcc.gnu.org

2024-07-20 Thread hstong at ca dot ibm.com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116011 --- Comment #10 from Hubert Tong --- (In reply to Andrew Pinski from comment #9) > (In reply to Hubert Tong from comment #8) > > (In reply to Andrew Pinski from comment #7) > > > Those are all unevulated context.that is sizeof and decltype are b

gcc-bugs@gcc.gnu.org

2024-07-20 Thread hstong at ca dot ibm.com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116011 --- Comment #8 from Hubert Tong --- (In reply to Andrew Pinski from comment #7) > Those are all unevulated context.that is sizeof and decltype are both > considered unevulated context. In them, gcc does not think &(T::x) and &T::x > act differen

[Bug c++/116011] Template declaration matching does not differentiate between &(T::x) and &T::x; only the latter can form a pointer to member

2024-07-20 Thread hstong at ca dot ibm.com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116011 Hubert Tong changed: What|Removed |Added Summary|accepting &(T::x) as a |Template declaration |p

gcc-bugs@gcc.gnu.org

2024-07-19 Thread hstong at ca dot ibm.com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116011 --- Comment #4 from Hubert Tong --- (In reply to Andrew Pinski from comment #3) > The reality of the issue comes down to accepting this: > ``` > struct foo { int val; }; > > int main() { decltype(&(foo::val)) ptr; } > ``` Yes, which was added

gcc-bugs@gcc.gnu.org

2024-07-19 Thread hstong at ca dot ibm.com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116011 --- Comment #2 from Hubert Tong --- The fix for Clang is in the works: https://github.com/llvm/llvm-project/pull/89713#issuecomment-2240767267 An issue has been filed against the Itanium ABI: https://github.com/itanium-cxx-abi/cxx-abi/issues/18

gcc-bugs@gcc.gnu.org

2024-07-19 Thread hstong at ca dot ibm.com via Gcc-bugs
ONFIRMED Keywords: rejects-valid Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: --- In the following, the definitions of two template functions that diffe

[Bug c++/115604] New: Absurd "flows off the end of the function" diagnostic with requires expression containing lambda

2024-06-23 Thread hstong at ca dot ibm.com via Gcc-bugs
NCONFIRMED Keywords: rejects-valid Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: --- Clearly the following function returns true. When calli

[Bug c++/115171] New: Constant evaluation of math.h functions in C++ against constexpr.functions

2024-05-20 Thread hstong at ca dot ibm.com via Gcc-bugs
: accepts-invalid, rejects-valid, wrong-code Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: --- It appears GCC implements a non-conforming extension that results

[Bug c++/49395] Non-class prvalues seem to have cv-qualification with GCC

2024-04-04 Thread hstong at ca dot ibm.com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=49395 Hubert Tong changed: What|Removed |Added Status|SUSPENDED |RESOLVED Resolution|---

[Bug c++/107962] GCC allows constexpr copy construction despite uninitialized member

2023-08-06 Thread hstong at ca dot ibm.com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107962 --- Comment #2 from Hubert Tong --- https://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#2264 suggests that the GCC behaviour may be the desired one because copies of partially-initialized structures are allowed in C but cause undefined

[Bug c++/108324] New: Temporary not bound to reference in default member initializer destroyed early from parenthesized expression-list initialization of aggregate

2023-01-06 Thread hstong at ca dot ibm.com via Gcc-bugs
Product: gcc Version: 13.0 Status: UNCONFIRMED Keywords: rejects-valid, wrong-code Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone

[Bug c++/107962] New: GCC allows constexpr copy construction despite uninitialized member

2022-12-03 Thread hstong at ca dot ibm.com via Gcc-bugs
-invalid Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: --- Lvalue-to-rvalue conversion of objects having indeterminate value is not allowed during evaluation

[Bug c++/102000] Defaulted consteval default constructor that performs no initialization is not rejected

2022-12-03 Thread hstong at ca dot ibm.com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102000 Hubert Tong changed: What|Removed |Added CC||hstong at ca dot ibm.com --- Comment #4

[Bug libstdc++/105934] New: [9/10/11/12/13 Regression] C++11 pointer versions of atomic_fetch_add missing because of P0558

2022-06-11 Thread hstong at ca dot ibm.com via Gcc-bugs
Keywords: rejects-valid Severity: normal Priority: P3 Component: libstdc++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: --- P0558 removed the "pointer specializations" of `atomic

[Bug c/105588] _Alignof (C) and alignof (C++) on dereference of `double *` disagree on 32-bit x86

2022-05-13 Thread hstong at ca dot ibm.com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105588 --- Comment #4 from Hubert Tong --- (In reply to Jakub Jelinek from comment #3) > _Alignof(expression) works like __alignof__(expression) which works like > __alignof__(__typeof(expression)), while _Alignof(type_name) is mandated by > the standa

[Bug c/105588] _Alignof (C) and alignof (C++) on dereference of `double *` disagree on 32-bit x86

2022-05-12 Thread hstong at ca dot ibm.com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105588 --- Comment #2 from Hubert Tong --- (In reply to Andrew Pinski from comment #1) > _Alignof(expression) is still an extension it can return what ever GCC > decides Sure, although why GCC should have corresponding C and C++ extensions that b

[Bug c/105588] New: _Alignof (C) and alignof (C++) on dereference of `double *` disagree on 32-bit x86

2022-05-12 Thread hstong at ca dot ibm.com via Gcc-bugs
Severity: normal Priority: P3 Component: c Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: --- Target: x86_64-pc-linux-gnu _Alignof(expression) on a dereference of a pointer to double of unknown value

[Bug c++/105290] New: "Purely syntactic" disambiguation but GCC applies semantic rules for constant expressions

2022-04-15 Thread hstong at ca dot ibm.com via Gcc-bugs
NCONFIRMED Keywords: accepts-invalid, rejects-valid, wrong-code Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: --- As far as parsing is concerned, a

[Bug c++/104994] New: extern thread_local declaration rejected in constexpr

2022-03-20 Thread hstong at ca dot ibm.com via Gcc-bugs
Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: --- GCC rejects block-scope extern declarations with the `thread_local` keyword in constexpr bodies. The relevant wording (prior to removal

[Bug target/100641] Link error when using extern thread_local variables on AIX

2022-03-20 Thread hstong at ca dot ibm.com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100641 Hubert Tong changed: What|Removed |Added CC||hstong at ca dot ibm.com --- Comment #2

[Bug c++/103060] New: Argument initialization side-effects missing: delegating from base constructor to inherited constructor from virtual base

2021-11-03 Thread hstong at ca dot ibm.com via Gcc-bugs
Version: 12.0 Status: UNCONFIRMED Keywords: wrong-code Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: --- The "only for the constr

[Bug c++/92060] Alias template as template template argument confused by GCC as other template

2021-04-14 Thread hstong at ca dot ibm.com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92060 --- Comment #3 from Hubert Tong --- (In reply to Patrick Palka from comment #2) > Hmm, I think treating A and Q as equivalent here is allowed by CWG 1286. Looks like it; CWG 1286 as not been adopted by the committee though.

[Bug c++/97219] New: Generic lambda does not find function declaration from enclosing block scope

2020-09-27 Thread hstong at ca dot ibm.com via Gcc-bugs
: accepts-invalid, rejects-valid, wrong-code Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: --- The unqualified lookup for `q` in the instantiation of the

[Bug c++/97097] New: operator() call from lambda fails to resolve to enclosing class function

2020-09-17 Thread hstong at ca dot ibm.com
-code Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: --- In the code below, GCC does not appear to perform the applicable lookup in the appropriate class

[Bug c++/96959] New: GCC allows ill-formed explicit capture of requires-expression local parameter

2020-09-07 Thread hstong at ca dot ibm.com
: accepts-invalid Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: --- A local parameter of a requires-expression is not a local entity (the name is not

[Bug c++/96960] New: ICE in tsubst_copy_and_build, at cp/pt.c:20531 from lambda in return-type-requirement

2020-09-07 Thread hstong at ca dot ibm.com
Keywords: ice-on-valid-code Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: --- The following program ICEs with GCC. The ICE appears to related to the lambda

[Bug c++/96529] New: GCC applies C language linkage to instantiations from abbreviated function templates

2020-08-07 Thread hstong at ca dot ibm.com
Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: --- GCC appears to be treating the instantiated specialization of the abbreviated function template `g` as if it is a

[Bug c++/96105] New: GCC not consistent on whether no_unique_address array is an empty data member

2020-07-07 Thread hstong at ca dot ibm.com
: accepts-invalid, rejects-valid, wrong-code Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: --- GCC treats an array marked `no_unique_address` and whose base

[Bug c++/96052] New: Unlike Clang, alignment specifier is ignored on empty no_unique_address members

2020-07-03 Thread hstong at ca dot ibm.com
: accepts-invalid, rejects-valid, wrong-code Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: --- Target: x86_64-pc-linux-gnu The following fully

[Bug c++/94100] ICE: tree check: accessed elt 1 of 'tree_vec' with 0 elts in tsubst_pack_expansion, at cp/pt.c:12765

2020-07-02 Thread hstong at ca dot ibm.com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94100 --- Comment #2 from Hubert Tong --- The following ICEs in a similar fashion: internal compiler error: tree check: accessed elt 2 of 'tree_vec' with 1 elts in tsubst, at cp/pt.c:15334 ### SOURCE: template struct ValListWithTypes { template st

[Bug c++/96039] New: Missing diagnostic: C++11 alignment specifier on bit-fields

2020-07-02 Thread hstong at ca dot ibm.com
Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: --- According to [dcl.align] in the 2020 DIS for C++, an alignment-specifier shall not be applied to a bit-field. GCC allows such alignment

[Bug c++/83138] ICE: Segfault expanding function parameter pack in subsequent sibling pack declaration

2020-04-14 Thread hstong at ca dot ibm.com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83138 Hubert Tong changed: What|Removed |Added Status|NEW |RESOLVED Resolution|---

[Bug c++/94066] [8/9/10 Regression] ICE (starting/ending union member lifetime) in cxx_eval_bare_aggregate, at cp/constexpr.c:3790 since r6-7592

2020-03-09 Thread hstong at ca dot ibm.com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94066 --- Comment #7 from Hubert Tong --- (In reply to Jakub Jelinek from comment #6) > The standard seems to say a union member becomes active when the constructor > finishes, not when it starts, so what wording prevents changing the active > member d

[Bug c++/94066] New: ICE (starting/ending union member lifetime) in cxx_eval_bare_aggregate, at cp/constexpr.c:3790

2020-03-05 Thread hstong at ca dot ibm.com
Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: --- The following case, which (during constant expression evaluation) starts the lifetime of a union member

[Bug c++/94034] New: Broken diagnostic: 'result_decl' not supported by dump_expr

2020-03-04 Thread hstong at ca dot ibm.com
ty: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: --- The following produces substitution text in an error message that is indicative of missing format-for-message handling. ### SOURCE

[Bug c++/86009] [Concepts] Placeholder as argument to partial-concept-id forms extra constrained parameters

2019-10-15 Thread hstong at ca dot ibm.com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86009 --- Comment #2 from Hubert Tong --- After adding "auto" for "Concept auto": template concept C0 = true; template concept C1 = true; void f(C0 auto *) { } template void f(wchar_t *); We now get: :5:15: error: template-id 'f' for 'void f(wchar_

[Bug c++/92060] New: Alias template as template template argument confused by GCC as other template

2019-10-10 Thread hstong at ca dot ibm.com
: rejects-valid Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: --- In the following, the alias template `Q` merely acts as a deducible template

[Bug c++/92052] New: No message for adding the noreturn attribute only after the first declaration

2019-10-10 Thread hstong at ca dot ibm.com
: accepts-invalid Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: --- Given the following: void f(void), f [[noreturn]](void); GCC does not produce any message

[Bug c++/87638] New: [C++14] lambda init-capture fails for const references still

2018-10-17 Thread hstong at ca dot ibm.com
Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: --- The issue reported by PR 66735 still exists. GCC would not bind const-reference init-captures to prvalues or

[Bug c++/87637] Unwinding does not destroy constructed subobject of brace-initialized temporary

2018-10-17 Thread hstong at ca dot ibm.com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87637 --- Comment #2 from Hubert Tong --- (In reply to Jonathan Wakely from comment #1) > Dup of PR 57510 ? Looks like this could be the same as the return statement in https://gcc.gnu.org/bugzilla/show_bug.cgi?id=57510#c9. The scope of PR 57510 looks

[Bug c++/87637] New: Unwinding does not destroy constructed subobject of brace-initialized temporary

2018-10-17 Thread hstong at ca dot ibm.com
: wrong-code Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: --- In the following program, the initialization of the A subobject of the B temporary associated

[Bug libstdc++/86880] New: Incorrect mersenne_twister_engine equality comparison between rotated states

2018-08-07 Thread hstong at ca dot ibm.com
: normal Priority: P3 Component: libstdc++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: --- mersenne_twister_engines whose textual representation should be equal should also compare equal. The following program has

[Bug c++/86009] New: [Concepts] Placeholder as argument to partial-concept-id forms extra constrained parameters

2018-05-30 Thread hstong at ca dot ibm.com
Keywords: rejects-valid Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: --- When a partial-concept-id is formed with a constrained-type-specifier as an

[Bug c++/79751] Concept placeholder on another concept does not work

2018-05-30 Thread hstong at ca dot ibm.com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79751 Hubert Tong changed: What|Removed |Added CC||hstong at ca dot ibm.com --- Comment #1

[Bug c++/85991] New: [Concepts] Template placeholder: ICE cp_parser_lookup_name, at cp/parser.c:26223

2018-05-29 Thread hstong at ca dot ibm.com
: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: --- When a partial-concept-id is formed for a concept with a template prototype template parameter, GCC ICEs. ### SOURCE

[Bug c++/85940] New: Address of label breaks ISO C++ program despite non-GNU dialect and pedantic

2018-05-26 Thread hstong at ca dot ibm.com
: rejects-valid Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: --- The address of label extension breaks well-formed C++ programs. GCC confuses the logical AND

[Bug c++/85846] New: [Concepts] Concept as value in initializer: bogus declared-as-implicit-template error

2018-05-19 Thread hstong at ca dot ibm.com
Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: --- When a concept with a non-type prototype parameter is used as a variable template in a context where the most vexing

[Bug c++/85271] New: Trivial copy assignment operator overwrites members not being copied

2018-04-06 Thread hstong at ca dot ibm.com
Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: --- In the following, the operator= used by Q's defaulted copy assignment operator for the "d"

[Bug c++/85270] New: Trivial assignment operator not considered such

2018-04-06 Thread hstong at ca dot ibm.com
Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: --- Trivial copy assignment operator not considered such GCC stops considering a trivial copy assignment operator to be trivial when a non-trivial

[Bug c++/79064] Cannot overload member function templates on type of literal

2018-02-16 Thread hstong at ca dot ibm.com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79064 --- Comment #1 from Hubert Tong --- This appears to have been fixed on trunk.

[Bug c++/83371] New: Partial ordering ignores implicit object parameter

2017-12-11 Thread hstong at ca dot ibm.com
Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: --- For the following case, given that the constrained and unconstrained parameters are similar in their

[Bug c++/83138] New: ICE: Segfault expanding function parameter pack in subsequent sibling pack declaration

2017-11-23 Thread hstong at ca dot ibm.com
Keywords: ice-on-valid-code Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: --- Given the self-contained source below, GCC ICEs with a segmentation fault. This

[Bug c++/81547] New: Surrogate call function results in call to other conversion operator

2017-07-24 Thread hstong at ca dot ibm.com
-invalid, rejects-valid, wrong-code Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: --- In the C++17 DIS subclause 16.3.1.1.2 [over.call.object] paragraph 3, it

[Bug libstdc++/81200] New: regex classatomcollatingelement

2017-06-25 Thread hstong at ca dot ibm.com
++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: --- The source below attempts to compile "_[[.left-square-bracket.]]_" as a egrep regex pattern. The collating symbol, [.left-square-bracket.], is only valid if "left-squar

[Bug c++/67969] [concepts] bug with overloaded function when using constraints

2017-06-09 Thread hstong at ca dot ibm.com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67969 Hubert Tong changed: What|Removed |Added CC||hstong at ca dot ibm.com --- Comment #2

[Bug c++/81043] New: [concepts] partially specializing on differing constraints gives cryptic error

2017-06-09 Thread hstong at ca dot ibm.com
: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: --- Having more than one partial specialization with, ignoring constraints, the same arguments results in a cryptic error

[Bug c++/81028] GCC miscompiles placement new

2017-06-08 Thread hstong at ca dot ibm.com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81028 Hubert Tong changed: What|Removed |Added Keywords||wrong-code Version|7.0

[Bug c++/81028] New: miscompiles placement new

2017-06-08 Thread hstong at ca dot ibm.com
: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: ---

[Bug c++/80746] [concepts] ICE evaluating constraints for concepts with dependent template parameters

2017-05-20 Thread hstong at ca dot ibm.com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80746 Hubert Tong changed: What|Removed |Added CC||hstong at ca dot ibm.com --- Comment #3

[Bug c++/79759] New: [concepts] ICE in tsubst, at cp/pt.c:13509

2017-02-28 Thread hstong at ca dot ibm.com
++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: --- ### Source (): template concept bool C0() { return true; } void f(C0<0>); ### Compiler invocation: g++ -x c++ -std=c++1y -fconcepts -c -o /dev/null - ### Compiler output:

[Bug c++/79711] New: [concepts] ICE in instantiate_decl, at cp/pt.c:22474

2017-02-25 Thread hstong at ca dot ibm.com
Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: --- ### Source (): template concept bool f() { return true; } static_assert((&f)()); ### Compiler invocation: g++ -std=c++1z -fconcepts -c -o /dev/null -x c++ - ### Comp

[Bug c++/79682] New: [concepts] ambiguous overload with functionally equivalent predicate constraints compiles

2017-02-22 Thread hstong at ca dot ibm.com
Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: --- Given the following source, the normalized constraints of the foo() returning int contains predicate constraints: N

[Bug c++/79419] New: Explicit specialization of constrained member template: ICE in set_constraints

2017-02-07 Thread hstong at ca dot ibm.com
: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: --- ### SOURCE (): template struct A { template requires U::happyA static void foo(); //template //requires U::happyB

[Bug c++/79064] New: Cannot overload member function templates on type of literal

2017-01-11 Thread hstong at ca dot ibm.com
Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: --- In the case below, the signatures of the two member templates are distinct. GCC appears to have a problem

[Bug c++/71968] Type with no linkage in signature: symbols for unique entities link together

2016-07-22 Thread hstong at ca dot ibm.com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71968 --- Comment #2 from Hubert Tong --- (In reply to Markus Trippelsdorf from comment #1) > clang mangles differently and therefore avoids the issue: > > markus@x4 /tmp % clang++ -c b.cc && nm -C b.o > U abort > T b

[Bug c++/71968] New: Type with no linkage in signature: symbols for unique entities link together

2016-07-22 Thread hstong at ca dot ibm.com
: wrong-code Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: --- GCC produces symbols for entities which cannot possibly be referenced from another translation

[Bug c++/53931] [C++11] braced function style cast to reference should be prvalue

2016-01-19 Thread hstong at ca dot ibm.com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=53931 --- Comment #2 from Hubert Tong --- Needs a resolution for CWG 1521.

[Bug c++/51817] [C++11] argument deduction fails when A-type parameter-type-list has additional parameters

2016-01-19 Thread hstong at ca dot ibm.com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=51817 Hubert Tong changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug libstdc++/67990] New: compare() does not sort null characters in locale collation order

2015-10-16 Thread hstong at ca dot ibm.com
Priority: P3 Component: libstdc++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: --- Created attachment 36527 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=36527&action=edit Script to create REVNUL

[Bug c++/66659] New: Accepts invalid when undeduced context encountered deducing from a trailing parameter pack

2015-06-24 Thread hstong at ca dot ibm.com
Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com Target Milestone: --- In the call to "f" from "h" below, the deduction for T@0 should find both "fptype" an

[Bug c++/65055] New: Types and variables differ in handling of multiple instances of attribute aligned

2015-02-13 Thread hstong at ca dot ibm.com
: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com When multiple instances of the aligned attribute are applied to the same entity, the handling for types uses the last value whereas the handling for

[Bug c++/64696] New: [C++14] braced-init-list does not cause expected aggregate initialization

2015-01-20 Thread hstong at ca dot ibm.com
Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com In the test case below, C++14 specifies that aggregate initialization is performed in subclause 8.5.4 [dcl.init.list] paragraph 3 for the braced-init- list

[Bug c++/62163] New: Dependent function call in constant expression produces error in template definition context

2014-08-16 Thread hstong at ca dot ibm.com
Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com GCC does not wait until a (dependent) function call is substituted with arguments before reporting a hard error in the case below. It

[Bug c++/61163] New: Placement arguments shared between allocation and deallocation even when copies prohibited

2014-05-12 Thread hstong at ca dot ibm.com
Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com In N3290 subclause 5.3.4 [expr.new] paragraph 21, the leeway to reuse the same copy of the initialized parameter for both the call to the

[Bug libstdc++/61041] New: Cannot create std::tr1::variate_generator from variate_generator::engine(); engine_value_type error

2014-05-02 Thread hstong at ca dot ibm.com
Severity: normal Priority: P3 Component: libstdc++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com http://gcc.gnu.org/onlinedocs/libstdc++/manual/status.html#status.iso.tr1 shows that support for ISO/IEC DTR 19768

[Bug libstdc++/60958] Initialization of arrays in tr1/regex ill-formed or with undefined behaviour

2014-04-25 Thread hstong at ca dot ibm.com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60958 --- Comment #2 from Hubert Tong --- (In reply to Jonathan Wakely from comment #1) > Yes, I have a patch for this somewhere, but why are you including > anyway? It's completely useless and doesn't work. I am trying to use a code base which used a

[Bug libstdc++/60958] New: Initialization of arrays in tr1/regex ill-formed or with undefined behaviour

2014-04-24 Thread hstong at ca dot ibm.com
: normal Priority: P3 Component: libstdc++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com The header tr1/regex contains code which is either ill-formed or has undefined behaviour. Various C++ language tools choke on this file because of

[Bug c++/59795] New: Invalid use of "this" in a local class not diagnosed

2014-01-13 Thread hstong at ca dot ibm.com
iority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com The following is reduced from the example in N3290 subclause 5.1.1 [expr.prim.general] paragraph 5: class Outer { void f() { struct Inner { int c[sizeof(*this)]; //

[Bug c++/58337] Mangling of nullptr_t values do not follow ABI

2013-09-11 Thread hstong at ca dot ibm.com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58337 Hubert Tong changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug c++/58337] New: Mangling of nullptr_t values do not follow ABI

2013-09-06 Thread hstong at ca dot ibm.com
++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com The C++ ABI document (available at http://mentorembedded.github.io/cxx-abi/abi.html#mangle.expr-primary) specifies a mangling for the nullptr literal. The mangling that GCC produces is not consistent

[Bug c++/57610] Reference initialized with temporary instead of sub-object of conversion result

2013-08-23 Thread hstong at ca dot ibm.com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57610 --- Comment #9 from Hubert Tong --- CWG 1604 may address the issues with performance and slicing mentioned in CWG 1287 which led to CWG 1650.

[Bug c++/57610] Reference initialized with temporary instead of sub-object of conversion result

2013-08-23 Thread hstong at ca dot ibm.com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57610 Hubert Tong changed: What|Removed |Added CC||hstong at ca dot ibm.com --- Comment #8

[Bug c++/58062] [C++11] bogus __func__ lookup in lambda body

2013-08-02 Thread hstong at ca dot ibm.com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58062 --- Comment #1 from Hubert Tong --- Compiler invocation was: g++ -std='c++11' main.cpp -Wall -Wextra -pedantic -c

[Bug c++/58062] New: [C++11] bogus __func__ lookup in lambda body

2013-08-02 Thread hstong at ca dot ibm.com
++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com In the case below, the __func__ identifier appears within a lambda body at namespace scope. GCC seems to find __func__ from somewhere, but the behaviour does not appear to be supported by the Standard

[Bug c++/58052] Copy initialization using conversion operator does not find correct candidates for initialization of final result

2013-08-02 Thread hstong at ca dot ibm.com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58052 --- Comment #2 from Hubert Tong --- (In reply to Paolo Carlini from comment #1) > Not having spent a lot of time on this, I doubt it's a bug: the latest clang > and icc behave exactly like gcc. I had a vague recollection why I found the code weir

[Bug c++/58052] New: Copy initialization using conversion operator does not find correct candidates for initialization of final result

2013-08-01 Thread hstong at ca dot ibm.com
: 4.8.1 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com I have a reduced test case. MSVC seems to work fine (online compiler test: http://rise4fun.com

[Bug c++/57570] New: Deduction succeeds despite type mismatch of non-type template parameter and deduced argument

2013-06-08 Thread hstong at ca dot ibm.com
Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hstong at ca dot ibm.com GCC does not consistently fail deduction for type mismatch of a non-type template parameter and the corresponding deduced argument. See

[Bug c++/56039] ICE in iterative_hash_template_arg, at cp/pt.c:1606

2013-01-20 Thread hstong at ca dot ibm.com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56039 --- Comment #8 from Hubert Tong 2013-01-20 17:50:50 UTC --- (In reply to comment #7) > That is, whether the "body" of the lambda expression is valid or not valid > is not affected by unknowns such as what types it would be instantiated wit

[Bug c++/56039] ICE in iterative_hash_template_arg, at cp/pt.c:1606

2013-01-20 Thread hstong at ca dot ibm.com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56039 --- Comment #7 from Hubert Tong 2013-01-20 16:45:13 UTC --- (In reply to comment #6) > I wonder why you think this would belong to the "immediate context". Actually > it seems to me as if the instantiation of the body of a lambda expressio

[Bug c++/56039] ICE in iterative_hash_template_arg, at cp/pt.c:1606

2013-01-19 Thread hstong at ca dot ibm.com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56039 --- Comment #4 from Hubert Tong 2013-01-19 20:10:59 UTC --- (In reply to comment #3) I seem to find that the expression in question > > false && [](){} > is valid because there is a implicit conversion sequence consisting of a user-d

[Bug c++/56039] ICE in iterative_hash_template_arg, at cp/pt.c:1606

2013-01-19 Thread hstong at ca dot ibm.com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56039 --- Comment #2 from Hubert Tong 2013-01-19 16:38:31 UTC --- (In reply to comment #1) re: 5.19 p2 b8 5.19 p2 (before the referenced bullet list) reads: ..., but subexpressions of logical AND (5.14), logical OR (5.15) and conditional (5.

[Bug c++/56039] New: ICE in iterative_hash_template_arg, at cp/pt.c:1606

2013-01-18 Thread hstong at ca dot ibm.com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56039 Bug #: 56039 Summary: ICE in iterative_hash_template_arg, at cp/pt.c:1606 Classification: Unclassified Product: gcc Version: 4.7.2 Status: UNCONFIRMED Severity: norma

[Bug c++/52597] [C++11] missing diagnostics for invalid use of non-static member function in decltype

2012-08-24 Thread hstong at ca dot ibm.com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52597 --- Comment #4 from Hubert Tong 2012-08-24 12:42:58 UTC --- I find the message to be confusing.

[Bug c++/53931] New: [C++11] braced function style cast to reference should be prvalue

2012-07-11 Thread hstong at ca dot ibm.com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53931 Bug #: 53931 Summary: [C++11] braced function style cast to reference should be prvalue Classification: Unclassified Product: gcc Version: 4.7.0 Status: UNCONFIRMED

[Bug c++/53868] New: Temporary for indirect binding is not destroyed when destructor from initializer temp throws

2012-07-05 Thread hstong at ca dot ibm.com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53868 Bug #: 53868 Summary: Temporary for indirect binding is not destroyed when destructor from initializer temp throws Classification: Unclassified Product: gcc Version: 4.7.0

[Bug c++/53606] New: Invalid candidate chosen; warning message claims to know better than the Standard

2012-06-07 Thread hstong at ca dot ibm.com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53606 Bug #: 53606 Summary: Invalid candidate chosen; warning message claims to know better than the Standard Classification: Unclassified Product: gcc Version: 4.7.0 Statu

[Bug c++/53288] [C++11] Lifetime of temporary object backing pointer-to-member expression not extended

2012-06-07 Thread hstong at ca dot ibm.com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53288 Hubert Tong changed: What|Removed |Added Keywords|rejects-valid |wrong-code Version|4.6.0

  1   2   >