[Bug c++/99365] New: ICE on partial specialization with constrained placeholder NTTP

2021-03-03 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99365 Bug ID: 99365 Summary: ICE on partial specialization with constrained placeholder NTTP Product: gcc Version: 11.0 URL: https://godbolt.org/z/nxTEaW Status:

[Bug c++/99366] New: Partial specialization with constrained placeholder NTTP is not more specialized

2021-03-03 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99366 Bug ID: 99366 Summary: Partial specialization with constrained placeholder NTTP is not more specialized Product: gcc Version: 11.0 URL: https://godbolt.org/z/ETjYfP

[Bug c++/99365] [11 Regression] ICE on partial specialization with constrained placeholder NTTP

2021-03-07 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99365 --- Comment #6 from Johel Ernesto Guerrero Peña --- Thank you. Can confirm it's working for my use case.

[Bug c++/99493] New: Address of template parameter object is not a valid template argument

2021-03-09 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99493 Bug ID: 99493 Summary: Address of template parameter object is not a valid template argument Product: gcc Version: 11.0 URL: https://godbolt.org/z/9zYo8f S

[Bug c++/99501] New: Can't forward declare partial specialization of template with NTTP previously partially specialized

2021-03-09 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99501 Bug ID: 99501 Summary: Can't forward declare partial specialization of template with NTTP previously partially specialized Product: gcc Version: 11.0 URL: https://godb

[Bug c++/99507] New: Can't return static address from immediate function

2021-03-09 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99507 Bug ID: 99507 Summary: Can't return static address from immediate function Product: gcc Version: 11.0 URL: https://godbolt.org/z/vnPToT Status: UNCONFIRMED Keywords:

[Bug c++/99524] New: initializer_list storage considered a temporary when accessed through NTTP

2021-03-10 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99524 Bug ID: 99524 Summary: initializer_list storage considered a temporary when accessed through NTTP Product: gcc Version: 11.0 URL: https://godbolt.org/z/aWGr3P

[Bug c++/95015] Partial specializations of class templates with class NTTP fails

2021-03-11 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95015 Johel Ernesto Guerrero Peña changed: What|Removed |Added CC||johelegp at gmail dot com

[Bug c++/99565] New: Bogus identical branches warning when returning references to union members

2021-03-12 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99565 Bug ID: 99565 Summary: Bogus identical branches warning when returning references to union members Product: gcc Version: 11.0 URL: https://godbolt.org/z/9qaz9W

[Bug c++/99571] New: ICE for NTTP with pointer to array of union

2021-03-12 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99571 Bug ID: 99571 Summary: ICE for NTTP with pointer to array of union Product: gcc Version: 11.0 URL: https://godbolt.org/z/rsc6fs Status: UNCONFIRMED Keywords: ice-on-

[Bug c++/83258] Rejecting function pointer non-type template parameter without linkage

2021-03-13 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83258 Johel Ernesto Guerrero Peña changed: What|Removed |Added CC||johelegp at gmail dot com

[Bug c++/97700] Bogus error when a class containing a function pointer is used as a non-type template parameter

2021-03-13 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97700 --- Comment #3 from Johel Ernesto Guerrero Peña --- This seems to be a duplicate of Bug 83258.

[Bug c++/83258] Rejecting function pointer non-type template parameter without linkage

2021-03-13 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83258 --- Comment #10 from Johel Ernesto Guerrero Peña --- Another workaround, extended from Bug 92320's example. See https://godbolt.org/z/69onWf. You can wrap the closure object in a template function which itself invokes the closure object and conve

[Bug c++/97476] Use of NTTP placeholder checked for CTAD before instantiation

2021-03-14 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97476 Johel Ernesto Guerrero Peña changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolutio

[Bug c++/99586] New: Use of class template identifier checked for CTAD before instantiation

2021-03-14 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99586 Bug ID: 99586 Summary: Use of class template identifier checked for CTAD before instantiation Product: gcc Version: 11.0 URL: https://godbolt.org/z/4KWWjT

[Bug c++/99493] Address of template parameter object is not a valid template argument

2021-03-14 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99493 --- Comment #1 from Johel Ernesto Guerrero Peña --- Slightly simplified: https://godbolt.org/z/rv97Gh. ```C++ struct A{}; templateconstexpr const A*tpo{&a}; templatestruct B{}; B>b; ``` ``` :4:10: error: the address of 'A{}' is not a valid templa

[Bug c++/99565] Bogus identical branches warning when returning references to union members

2021-03-15 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99565 --- Comment #2 from Johel Ernesto Guerrero Peña --- ``` : In member function 'int& A::x()': :6:23: warning: this condition has identical branches [-Wduplicated-branches] 6 | int& x() { return 0 ? a : b; } | ~~^

[Bug c++/99493] Address of template parameter object is not a valid template argument

2021-03-15 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99493 --- Comment #2 from Johel Ernesto Guerrero Peña --- Looks like you can get away by instead passing around a pointer to the address of the template parameter object: https://godbolt.org/z/o3Paz1. ```C++ struct A{}; templateconstexpr const A*tpo{&a

[Bug c++/99622] New: Materialized temporary is not usable in a constant expression

2021-03-16 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99622 Bug ID: 99622 Summary: Materialized temporary is not usable in a constant expression Product: gcc Version: 11.0 URL: https://godbolt.org/z/M4Ya9h Status: U

[Bug c++/99631] New: decltype of non-type template-parameter shouldn't be const

2021-03-17 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99631 Bug ID: 99631 Summary: decltype of non-type template-parameter shouldn't be const Product: gcc Version: 11.0 URL: https://godbolt.org/z/4YY5r3 Status: UNCO

[Bug c++/99631] decltype of non-type template-parameter shouldn't be const

2021-03-18 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99631 --- Comment #3 from Johel Ernesto Guerrero Peña --- Good point. How about 'conformance' for a keyword?

[Bug c++/96873] Internal compiler error in alias_ctad_tweaks

2021-04-06 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96873 Johel Ernesto Guerrero Peña changed: What|Removed |Added CC||johelegp at gmail dot com

[Bug c++/99586] Use of class template identifier checked for CTAD before instantiation

2021-04-21 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99586 --- Comment #4 from Johel Ernesto Guerrero Peña --- Thank you.

[Bug c++/95486] ICE for alias CTAD with non-dependent argument and constrained constructor

2021-04-24 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95486 --- Comment #11 from Johel Ernesto Guerrero Peña --- Thank you. But the first CE link: https://godbolt.org/z/cPWdGW, and with the addition in Comment 2: https://godbolt.org/z/Gezh5h5W4, they still ICE.

[Bug c++/93085] ICE in get_class_binding_direct and alias_ctad_tweaks, with C++20 NTTP + CTAD + alias template

2020-10-17 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93085 Johel Ernesto Guerrero Peña changed: What|Removed |Added CC||johelegp at gmail dot com

[Bug c++/97476] New: Use of NTTP placeholder checked for CTAD before instantiation

2020-10-17 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97476 Bug ID: 97476 Summary: Use of NTTP placeholder checked for CTAD before instantiation Product: gcc Version: 11.0 URL: https://godbolt.org/z/ocWhn8 Status: U

[Bug c++/93085] ICE in get_class_binding_direct and alias_ctad_tweaks, with C++20 NTTP + CTAD + alias template

2020-10-17 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93085 --- Comment #4 from Johel Ernesto Guerrero Peña --- > GCC shouldn't even be trying to resolve `foo<42>()` until `G` has been > instantiated. That's right. I came across this bug report when reporting such an issue: https://gcc.gnu.org/bugzilla/

[Bug libstdc++/95788] std::ranges::construct_at's placement new not intercepted

2020-10-08 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95788 --- Comment #3 from Johel Ernesto Guerrero Peña --- Thank you. Sorry for my laziness, but did you confirm this from the OP? > Other stuff in `bits/ranges_uninitialized.h` may be similarly affected.

[Bug c++/98486] New: Variable template specialization doesn't account for primary's constraints

2020-12-30 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98486 Bug ID: 98486 Summary: Variable template specialization doesn't account for primary's constraints Product: gcc Version: 11.0 URL: https://godbolt.org/z/jon9ea

[Bug c++/98832] New: CTAD fails for alias template of aggregate with specified undeducible template parameter

2021-01-25 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98832 Bug ID: 98832 Summary: CTAD fails for alias template of aggregate with specified undeducible template parameter Product: gcc Version: 11.0 URL: https://godbolt.org/z/M

[Bug c++/98844] New: Deduction guides don't inhibit the aggregate deduction candidate

2021-01-26 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98844 Bug ID: 98844 Summary: Deduction guides don't inhibit the aggregate deduction candidate Product: gcc Version: 11.0 URL: https://godbolt.org/z/EWs4rd Status

[Bug c++/98924] New: Ambiguous name in concept-id diagnosed as parser error

2021-02-01 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98924 Bug ID: 98924 Summary: Ambiguous name in concept-id diagnosed as parser error Product: gcc Version: 11.0 URL: https://godbolt.org/z/Txrvos Status: UNCONFIRMED Keywor

[Bug c++/95486] ICE for alias CTAD with non-dependent argument and constrained constructor

2021-02-02 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95486 --- Comment #5 from Johel Ernesto Guerrero Peña --- Thank you. I was under the mistaken impression that the above was only a partial solution. Adding the following deduction guide restores the ICE. See https://godbolt.org/z/fej7WT. ```C++ templat

[Bug c++/95434] ICE for CTAD in generic lambda within variadic lambda

2021-02-02 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95434 Johel Ernesto Guerrero Peña changed: What|Removed |Added Known to work||11.0 Status|AS

[Bug c++/99141] New: Name of deduced type unchecked in deduction guide

2021-02-17 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99141 Bug ID: 99141 Summary: Name of deduced type unchecked in deduction guide Product: gcc Version: 11.0 URL: https://godbolt.org/z/bEhjsc Status: UNCONFIRMED Keywords: a

[Bug c++/95486] ICE for alias CTAD with non-dependent argument and constrained constructor

2021-05-01 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95486 --- Comment #13 from Johel Ernesto Guerrero Peña --- You're right. I thought they were compiling against GCC trunk.

[Bug c++/103524] [meta-bug] modules issue

2023-03-04 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103524 Bug 103524 depends on bug 102524, which changed state. Bug 102524 Summary: [modules] Missing diagnostic when an exported namespace is empty https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102524 What|Removed |Add

[Bug c++/102524] [modules] Missing diagnostic when an exported namespace is empty

2023-03-04 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102524 Johel Ernesto Guerrero Peña changed: What|Removed |Added Resolution|--- |FIXED Status|

[Bug c++/104993] New: [modules] Missing diagnostic when exporting using-directive

2022-03-20 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104993 Bug ID: 104993 Summary: [modules] Missing diagnostic when exporting using-directive Product: gcc Version: 12.0 Status: UNCONFIRMED Keywords: diagnostic

[Bug c++/100687] [modules, concepts] imported concept gives different result

2022-03-23 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100687 --- Comment #2 from Johel Ernesto Guerrero Peña --- Another use case (Clang: https://godbolt.org/z/hTPsPbEhe) (GCC: https://godbolt.org/z/96MqTvrKv): `mod.cpp`: ```C++ export module mod; export template inline constexpr bool is_same_v = false;

[Bug c++/102598] [modules] ICE in pp_string, at pretty-print.c

2022-03-23 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102598 --- Comment #2 from Johel Ernesto Guerrero Peña --- Another test case: https://godbolt.org/z/Gsfx56GM9.

[Bug c++/105044] New: [modules] ICE in comptypes, at cp/typeck.c:1529

2022-03-24 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105044 Bug ID: 105044 Summary: [modules] ICE in comptypes, at cp/typeck.c:1529 Product: gcc Version: 12.0 Status: UNCONFIRMED Keywords: ice-on-valid-code Severity: normal

[Bug c++/105045] New: [modules] Can't deduce defaulted template parameter

2022-03-24 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105045 Bug ID: 105045 Summary: [modules] Can't deduce defaulted template parameter Product: gcc Version: 12.0 Status: UNCONFIRMED Keywords: rejects-valid Severity: normal

[Bug c++/105106] New: Dependent invocation with defaulted NTTP lambda fails

2022-03-30 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105106 Bug ID: 105106 Summary: Dependent invocation with defaulted NTTP lambda fails Product: gcc Version: 9.4.1 Status: UNCONFIRMED Keywords: rejects-valid Severity: normal

[Bug c++/105106] Dependent invocation with defaulted NTTP lambda fails

2022-03-30 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105106 --- Comment #1 from Johel Ernesto Guerrero Peña --- There is implementation divergence in the resulting closure type(s): https://godbolt.org/z/W98r49o8s.

[Bug c++/106430] New: [modules] ICE on function result of imported type with user-declared constexpr destructor

2022-07-24 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106430 Bug ID: 106430 Summary: [modules] ICE on function result of imported type with user-declared constexpr destructor Product: gcc Version: 13.0 Status: UNCONFIRMED

[Bug c++/106304] [modules] ICE compiling dynamic_cast in constexpr function (in tree_node, at cp/module.cc:9183)

2022-07-26 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106304 --- Comment #2 from Johel Ernesto Guerrero Peña --- This is the best I can do without having to manually de-noise CMake's compile commands: https://godbolt.org/z/6s1GGYhM4.

[Bug c++/106430] [modules] ICE on function result of imported type with user-declared constexpr SMF

2022-07-27 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106430 Johel Ernesto Guerrero Peña changed: What|Removed |Added Summary|[modules] ICE on function |[modules] ICE on function

[Bug c++/106485] New: Can't use heap pointer in `static_assert`

2022-07-30 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106485 Bug ID: 106485 Summary: Can't use heap pointer in `static_assert` Product: gcc Version: 13.0 Status: UNCONFIRMED Keywords: rejects-valid Severity: normal Prior

[Bug c++/106826] New: [modules] Variable template of type trait via importable header gives wrong result

2022-09-04 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106826 Bug ID: 106826 Summary: [modules] Variable template of type trait via importable header gives wrong result Product: gcc Version: 13.0 Status: UNCONFIRMED Keywo

[Bug c++/106826] [13 Regression] [modules] Variable template of type trait via importable header gives wrong result

2022-09-05 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106826 Johel Ernesto Guerrero Peña changed: What|Removed |Added Known to work||12.2.0 Known to fail

[Bug c++/106851] [modules] Name conflict for exported using-declaration

2022-09-06 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106851 Johel Ernesto Guerrero Peña changed: What|Removed |Added CC||johelegp at gmail dot com

[Bug c++/106485] Can't use heap pointer in `static_assert`

2022-09-08 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106485 --- Comment #2 from Johel Ernesto Guerrero Peña --- I think that's different. Actually, I think it's Clang that's wrong. As mentioned at https://cpplang.slack.com/archives/C21PKDHSL/p1656857369259539?thread_ts=1656856509.892079&cid=C21PKDHSL: >

[Bug c++/106826] [13 Regression] [modules] Variable template of type trait via importable header gives wrong result

2022-09-21 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106826 --- Comment #3 from Johel Ernesto Guerrero Peña --- So this is a duplicate of Bug 100687.

[Bug c++/106826] [13 Regression] [modules] Variable template of type trait via importable header gives wrong result

2022-09-22 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106826 --- Comment #7 from Johel Ernesto Guerrero Peña --- Thank you very much! This was a real blocker.

[Bug c++/102284] Can access object outside of its lifetime during constant evaluation

2022-09-24 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102284 --- Comment #6 from Johel Ernesto Guerrero Peña --- Another example. Simplified: https://godbolt.org/z/z781c56PM. ```C++ struct ratio { int numerator; }; template struct constant; template concept constant_invocable = requires { typename c

[Bug c++/107033] New: [13 Regression] [modules] ICE converting to span

2022-09-25 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107033 Bug ID: 107033 Summary: [13 Regression] [modules] ICE converting to span Product: gcc Version: 13.0 Status: UNCONFIRMED Keywords: rejects-valid Severity: normal

[Bug c++/107033] [13 Regression] [modules] ICE converting to span

2022-09-25 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107033 Johel Ernesto Guerrero Peña changed: What|Removed |Added Keywords||ice-on-valid-code Kn

[Bug c++/107033] [13 Regression] [modules] ICE converting to span

2022-09-25 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107033 --- Comment #2 from Johel Ernesto Guerrero Peña --- Does it count as a regression if rejects-valid becomes ice-on-valid-code? IIRC, ~3 weeks ago the lvalue case was rejects-valid, like GCC12.

[Bug c++/107033] [13 Regression] [modules] ICE using span as a range

2022-09-25 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107033 --- Comment #3 from Johel Ernesto Guerrero Peña --- Simplified: https://godbolt.org/z/3Ys316aeE. ```C++ export module mod; import "std.hpp"; int x[2]; export auto _ = std::ranges::begin(x); ```

[Bug c++/107033] [13 Regression] [modules] ICE using span as a range

2022-09-25 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107033 --- Comment #4 from Johel Ernesto Guerrero Peña --- This is actually Bug 106826. Simplest: https://godbolt.org/z/oKT4x9r4G. ```C++ template constexpr bool is = false; template constexpr bool is = true; ``` ```C++ export module mod; import "st

[Bug c++/106826] [13 Regression] [modules] Variable template of type trait via importable header gives wrong result

2022-09-25 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106826 --- Comment #8 from Johel Ernesto Guerrero Peña --- The original reproducer now ICEs. I opened Bug 107033 for this. The tests added in https://gcc.gnu.org/g:32d8123cd6ce87acb557aec230e8359051316f9f uses a named module. My reproducer uses an impo

[Bug c++/99631] decltype of non-type template-parameter shouldn't be const

2022-09-25 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99631 --- Comment #5 from Johel Ernesto Guerrero Peña --- Would the existing 'wrong-code' work? > Generates incorrect code. Has to be able to compile and link.

[Bug c++/99631] decltype of non-type template-parameter shouldn't be const

2022-09-25 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99631 --- Comment #6 from Johel Ernesto Guerrero Peña --- > But wrong-code isn't really right either [...] Oh, you already mentioned them. I suggest 'non-conforming-result', or something more appropriate than "result" to indicate the metaprogrammingne

[Bug c++/107045] New: [modules] ICE on use of std::vector from importable header

2022-09-26 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107045 Bug ID: 107045 Summary: [modules] ICE on use of std::vector from importable header Product: gcc Version: 13.0 Status: UNCONFIRMED Keywords: ice-on-valid-code

[Bug c++/107045] [modules] ICE on use of std::vector from importable header

2022-09-26 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107045 --- Comment #1 from Johel Ernesto Guerrero Peña --- Minimal: https://godbolt.org/z/hxrPvPPhs. ```C++ namespace std { template struct X { friend void f(); }; } ``` ```C++ export module mod; import "std.hpp"; export std::X v; ```

[Bug c++/100134] [modules] ICE when using a vector in a module

2022-09-26 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100134 --- Comment #6 from Johel Ernesto Guerrero Peña --- See https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107045#c1 for a minimal reproducer: Minimal: https://godbolt.org/z/hxrPvPPhs. ```C++ namespace std { template struct X { friend void f(); };

[Bug c++/102284] Can access object outside of its lifetime during constant evaluation

2022-09-26 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102284 --- Comment #7 from Johel Ernesto Guerrero Peña --- This may be related. Assigning to another member doesn't end the lifetime of the active one: https://godbolt.org/z/eMGY5ehnb. ```C++ #include struct symbol { }; constexpr symbol one{}; str

[Bug c++/107079] New: ICE initializing lifetime-extended constexpr variable that stores its this pointer

2022-09-28 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107079 Bug ID: 107079 Summary: ICE initializing lifetime-extended constexpr variable that stores its this pointer Product: gcc Version: 13.0 Status: UNCONFIRMED Sever

[Bug c++/107222] New: const qualifier appears in mangled NTTP value when the original object is so qualified

2022-10-11 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107222 Bug ID: 107222 Summary: const qualifier appears in mangled NTTP value when the original object is so qualified Product: gcc Version: 13.0 Status: UNCONFIRMED S

[Bug c++/107276] New: ICE Deducting return type from ill-formed structured binding name

2022-10-15 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107276 Bug ID: 107276 Summary: ICE Deducting return type from ill-formed structured binding name Product: gcc Version: 13.0 Status: UNCONFIRMED Keywords: ice-on-inval

[Bug c++/103339] [modules] ICE in exporting module on use of outside specialization

2022-10-17 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103339 --- Comment #5 from Johel Ernesto Guerrero Peña --- You're right. Feel free to close.

[Bug c++/107276] ICE Deducing return type from ill-formed structured binding name

2022-10-19 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107276 --- Comment #2 from Johel Ernesto Guerrero Peña --- I just compiled GCC and it still ICEs: ```cli $ ../root/gcc/bin/g++ --version g++ (GCC) 13.0.0 20221019 (experimental) Copyright (C) 2022 Free Software Foundation, Inc. This is free software;

[Bug c++/96840] [11 Regression] Recursive substitution in constrained commutative operator

2021-12-30 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96840 --- Comment #4 from Johel Ernesto Guerrero Peña --- Seems like this regressed. Do I open a new bug report?

[Bug c++/96840] [11 Regression] Recursive substitution in constrained commutative operator

2021-12-30 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96840 --- Comment #5 from Johel Ernesto Guerrero Peña --- I think I was wrong and this has not regressed.

[Bug c++/103876] New: Parameter pack not expanded in lambda within static_assert in a fold-expression of a lambda

2021-12-31 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103876 Bug ID: 103876 Summary: Parameter pack not expanded in lambda within static_assert in a fold-expression of a lambda Product: gcc Version: 12.0 Status: UNCONFIRMED

[Bug c++/103921] New: [modules] ICE requires in explicit-specifier of instantiation of imported template

2022-01-05 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103921 Bug ID: 103921 Summary: [modules] ICE requires in explicit-specifier of instantiation of imported template Product: gcc Version: 12.0 Status: UNCONFIRMED Keywo

[Bug c++/103921] [modules] ICE requires in explicit-specifier of instantiation of imported template

2022-01-05 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103921 --- Comment #1 from Johel Ernesto Guerrero Peña --- Simplified: https://godbolt.org/z/zzbjj7W3K. mod.cpp: ```C++ export module mod; export template struct quantity { template explicit(requires { 0; }) operator quantity() const; }; ``` tes

[Bug c++/103921] [modules] ICE dependent expression in explicit-specifier of instantiation of imported template

2022-01-05 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103921 Johel Ernesto Guerrero Peña changed: What|Removed |Added Summary|[modules] ICE requires in |[modules] ICE dependent

[Bug c++/103921] [modules] ICE dependent expression in explicit-specifier of instantiation of imported template

2022-01-05 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103921 --- Comment #3 from Johel Ernesto Guerrero Peña --- Simplified: https://godbolt.org/z/rnfKrzYaP. mod.cpp: ```C++ export module mod; export template struct Int { explicit(B) operator int() const; }; ``` test.cpp: ```C++ import mod; int main(

[Bug c++/103921] [modules] ICE dependent expression in explicit-specifier of instantiation of imported template

2022-01-05 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103921 --- Comment #4 from Johel Ernesto Guerrero Peña --- For the above, when it's fixed: ```diff - explicit(B) operator int() const; + explicit(B) operator int() { return 0; } ```

[Bug c++/99571] ICE for NTTP with pointer to a field inside anonymous union/struct

2022-01-19 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99571 --- Comment #3 from Johel Ernesto Guerrero Peña --- > Here is another testcase which shows a similar issue: Here's its link: https://godbolt.org/z/fMbYMMYKz. You posted the Comment 0's. > Note clang has a bogus warning for the above about the a

[Bug c++/103752] [12 Regression][ICE][modules] with import

2022-02-09 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103752 Johel Ernesto Guerrero Peña changed: What|Removed |Added CC||johelegp at gmail dot com

[Bug c++/103921] [modules] ICE dependent expression in explicit-specifier of instantiation of imported template

2022-02-09 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103921 Johel Ernesto Guerrero Peña changed: What|Removed |Added Resolution|--- |DUPLICATE Sta

[Bug c++/103752] [12 Regression][ICE][modules] with import

2022-02-09 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103752 --- Comment #5 from Johel Ernesto Guerrero Peña --- *** Bug 103921 has been marked as a duplicate of this bug. ***

[Bug c++/103524] [meta-bug] modules issue

2022-02-09 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103524 Bug 103524 depends on bug 103921, which changed state. Bug 103921 Summary: [modules] ICE dependent expression in explicit-specifier of instantiation of imported template https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103921 What|Re

[Bug c++/100617] [modules] Exported namespace not visible from outside when the module imports another module that declares the same namespace

2022-02-11 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100617 --- Comment #3 from Johel Ernesto Guerrero Peña --- (In reply to wang ivor from comment #1) > A workaround is to create a module that exports only the namespace A and > 'export import' it in the module 'test1'. I did that, but it's not enough.

[Bug c++/103118] [modules] ICE tree check in get_merge_kind at cp/module.cc

2022-02-13 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103118 Johel Ernesto Guerrero Peña changed: What|Removed |Added Resolution|--- |FIXED Status|

[Bug c++/99227] [meta] [modules] Bugs relating to header-units of STL header files

2022-02-13 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99227 Bug 99227 depends on bug 103118, which changed state. Bug 103118 Summary: [modules] ICE tree check in get_merge_kind at cp/module.cc https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103118 What|Removed |Added --

[Bug c++/103524] [meta-bug] modules issue

2022-02-13 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103524 Bug 103524 depends on bug 103118, which changed state. Bug 103118 Summary: [modules] ICE tree check in get_merge_kind at cp/module.cc https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103118 What|Removed |Added

[Bug c++/103468] [modules] ICE Segmentation fault during GIMPLE pass walloca

2022-02-13 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103468 Johel Ernesto Guerrero Peña changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resoluti

[Bug c++/103524] [meta-bug] modules issue

2022-02-13 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103524 Bug 103524 depends on bug 103468, which changed state. Bug 103468 Summary: [modules] ICE Segmentation fault during GIMPLE pass walloca https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103468 What|Removed |Added ---

[Bug c++/100583] [modules] ICE when importing

2022-02-13 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100583 --- Comment #5 from Johel Ernesto Guerrero Peña --- This was fixed somewhere along the way.

[Bug c++/103468] [modules] ICE Segmentation fault during GIMPLE pass walloca

2022-02-13 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103468 Johel Ernesto Guerrero Peña changed: What|Removed |Added Status|RESOLVED|UNCONFIRMED Resol

[Bug c++/103524] [meta-bug] modules issue

2022-02-13 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103524 Bug 103524 depends on bug 103468, which changed state. Bug 103468 Summary: [modules] ICE Segmentation fault during GIMPLE pass walloca https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103468 What|Removed |Added ---

[Bug c++/103118] New: [modules] ICE tree check in get_merge_kind at cp/module.cc

2021-11-07 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103118 Bug ID: 103118 Summary: [modules] ICE tree check in get_merge_kind at cp/module.cc Product: gcc Version: 12.0 Status: UNCONFIRMED Keywords: ice-on-valid-code

[Bug c++/103118] [modules] ICE tree check in get_merge_kind at cp/module.cc

2021-11-12 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103118 --- Comment #1 from Johel Ernesto Guerrero Peña --- To work around this - Do not include ``. - Explicitly import a module that exports its definitions when you need to use the chrono library. I use the headers above to compile a header unit, wh

[Bug c++/103118] [modules] ICE tree check in get_merge_kind at cp/module.cc

2021-11-12 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103118 --- Comment #2 from Johel Ernesto Guerrero Peña --- Or not. I forgot to uncomment uses of the chrono library.

[Bug c++/103118] [modules] ICE tree check in get_merge_kind at cp/module.cc

2021-11-12 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103118 --- Comment #3 from Johel Ernesto Guerrero Peña --- What works is including them in a non-module unit translation unit. ```C++ #if defined(__GNUC__) and not defined(__clang__) # include // Workaround GCC bug 103118. # include// Workaroun

[Bug c++/100583] [modules] ICE when importing

2021-11-12 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100583 --- Comment #4 from Johel Ernesto Guerrero Peña --- As pointed out in https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103118#c3: > What works is including them in a non-module unit translation unit. > > ```C++ > #if defined(__GNUC__) and not defi

  1   2   3   >