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

2024-01-18 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99493 --- Comment #8 from Johel Ernesto Guerrero Peña --- Thank you!

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

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

[Bug c++/110936] if constexpr: member function pointers cannot be checked with ubsan

2023-11-08 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110936 --- Comment #4 from Johel Ernesto Guerrero Peña --- They talk about `-fno-delete-null-pointer-checks` in BUG71962.

[Bug c++/109781] [11/12/13/14 Regression] erroneous error "lambda-expression in template parameter type" for tparam lambda returning a lambda

2023-10-28 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109781 --- Comment #5 from Johel Ernesto Guerrero Peña --- Add `+` to convert it to a pointer, and it's still rejected (): ```C++ template struct C {}; ``` ```output : In lambda function: :1:32: error:

[Bug c++/109781] [11/12/13/14 Regression] erroneous error "lambda-expression in template parameter type" for tparam lambda returning a lambda

2023-10-28 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109781 --- Comment #4 from Johel Ernesto Guerrero Peña --- This isn't valid since .

[Bug c++/100470] std::is_nothrow_move_constructible incorrect behavior for explicitly defaulted members

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

[Bug c++/111841] Lookup context rejected at definition if lookup finds a namespace

2023-10-16 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111841 --- Comment #3 from Johel Ernesto Guerrero Peña --- Thank you. For reference, here's how I found out this bug: .

[Bug c++/111841] Lookup context rejected at definition if lookup finds a namespace

2023-10-16 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111841 --- Comment #1 from Johel Ernesto Guerrero Peña --- According to my reading of and , Clang and MSVC are right.

[Bug c++/111841] New: Lookup context rejected at definition if lookup finds a namespace

2023-10-16 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111841 Bug ID: 111841 Summary: Lookup context rejected at definition if lookup finds a namespace Product: gcc Version: 14.0 Status: UNCONFIRMED Keywords:

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

2023-09-20 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103524 Bug 103524 depends on bug 104993, which changed state. Bug 104993 Summary: [modules] Missing diagnostic when exporting using-directive https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104993 What|Removed |Added

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

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

[Bug c++/110936] if constexpr: member function pointers cannot be checked with ubsan

2023-08-31 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110936 --- Comment #2 from Johel Ernesto Guerrero Peña --- FWIW, it seems that you can use to test the validity during constant evaluation. It seems that an invalid constant

[Bug c++/110936] if constexpr: member function pointers cannot be checked with ubsan

2023-08-31 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110936 --- Comment #1 from Johel Ernesto Guerrero Peña --- This should block BUG101603.

[Bug c++/110978] ICE lambda constrained with to-be-deduced object

2023-08-13 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110978 --- Comment #2 from Johel Ernesto Guerrero Peña --- Thank you for the clarification. Now I can be conscious about that.

[Bug c++/110978] New: [14 Regression] ICE lambda constrained with to-be-deduced object

2023-08-10 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110978 Bug ID: 110978 Summary: [14 Regression] ICE lambda constrained with to-be-deduced object Product: gcc Version: 14.0 Status: UNCONFIRMED Keywords:

[Bug c++/110894] [modules] Program terminates with signal SIGSEGV

2023-08-03 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110894 --- Comment #3 from Johel Ernesto Guerrero Peña --- Reduced: . If you comment out the use of `.data()` at the end of `my_string_view.hpp` it works. It originally comes from ``'s specialization of `hash`, `

[Bug c++/110894] [modules] Program terminates with signal SIGSEGV

2023-08-03 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110894 --- Comment #1 from Johel Ernesto Guerrero Peña --- If instead I use `std::string_view` in `-O3` (`-O0` works), it also diagnoses (): ``` In file included from /app/module.cpp:2, of module hello, imported

[Bug c++/110894] New: [modules] Program terminates with signal SIGSEGV

2023-08-03 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110894 Bug ID: 110894 Summary: [modules] Program terminates with signal SIGSEGV Product: gcc Version: 14.0 URL: https://cpp2.godbolt.org/z/7YrvenrzT Status: UNCONFIRMED

[Bug c++/110893] New: [modules] ICE Segmentation fault during GIMPLE pass modref

2023-08-03 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110893 Bug ID: 110893 Summary: [modules] ICE Segmentation fault during GIMPLE pass modref Product: gcc Version: 14.0 URL: https://cpp2.godbolt.org/z/8q9c3P6vY

[Bug c++/110674] New: Structured binding fails with partial specialization of `std::tuple_element` without `std::size_t` NTTP

2023-07-15 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110674 Bug ID: 110674 Summary: Structured binding fails with partial specialization of `std::tuple_element` without `std::size_t` NTTP Product: gcc Version: 14.0 Status:

[Bug c++/110211] Local lambda treated as non-local

2023-06-11 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110211 Johel Ernesto Guerrero Peña changed: What|Removed |Added Known to fail||9.5.0 --- Comment #1

[Bug c++/110211] New: Local lambda treated as non-local

2023-06-11 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110211 Bug ID: 110211 Summary: Local lambda treated as non-local Product: gcc Version: 14.0 Status: UNCONFIRMED Keywords: c++-lambda, rejects-valid Severity: normal

[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

[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

[Bug c++/108169] class type template parameters are const in GCC (differs from other compilers)

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

[Bug c++/107939] [11/12/13 Regression] Rejects use of `extern const` variable in a template

2022-11-30 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107939 --- Comment #2 from Johel Ernesto Guerrero Peña --- Making the expression using the `extern const` variable more complex or indirect makes it work. With an IILE, for example: https://compiler-explorer.com/z/EjYYvPvqT.

[Bug c++/107939] New: Rejects use of `extern const` variable in a template

2022-11-30 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107939 Bug ID: 107939 Summary: Rejects use of `extern const` variable in a template Product: gcc Version: 13.0 Status: UNCONFIRMED Keywords: rejects-valid Severity: normal

[Bug c++/107938] New: ICE directly returning `this` of `extern` variable in template

2022-11-30 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107938 Bug ID: 107938 Summary: ICE directly returning `this` of `extern` variable in template Product: gcc Version: 13.0 Status: UNCONFIRMED Keywords:

[Bug c++/107378] `get_if` implementation "is not a constant expression"

2022-10-24 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107378 --- Comment #5 from Johel Ernesto Guerrero Peña --- I think so. My actual use case looks like `constexpr auto v = E;` at global scope, where `E` creates a temporary with a subobject of `std::variant`. Wrapping `E` in an IILE is a workaround for

[Bug c++/106363] [13 Regression] [modules] ICE using-declaration of imported name in the same namespace

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

[Bug c++/106363] [13 Regression] [modules] Can't selectively reexport imported declaration in same namespace

2022-10-24 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106363 Johel Ernesto Guerrero Peña changed: What|Removed |Added Summary|[modules] Can't selectively |[13 Regression] [modules]

[Bug c++/107378] `get_if` implementation "is not a constant expression"

2022-10-24 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107378 --- Comment #3 from Johel Ernesto Guerrero Peña --- MSVC accepts https://godbolt.org/z/nheYz9aez. ```C++ static_assert([i = 0] { return != nullptr; }()); ``` ``` : In lambda function: :1:35: warning: the address of 'i' will never be NULL

[Bug libstdc++/107378] New: `get_if` implementation "is not a constant expression"

2022-10-24 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107378 Bug ID: 107378 Summary: `get_if` implementation "is not a constant expression" Product: gcc Version: 13.0 Status: UNCONFIRMED Keywords: rejects-valid Severity: normal

[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++/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] 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:

[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

[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

[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{};

[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++/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++/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++/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

[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++/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

[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

[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 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 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

[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++/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

[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++/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++/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=C21PKDHSL: > The

[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++/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

[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

[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

[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++/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] 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++/106363] New: [modules] Can't selectively reexport imported declaration in same namespace

2022-07-19 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106363 Bug ID: 106363 Summary: [modules] Can't selectively reexport imported declaration in same namespace Product: gcc Version: 13.0 Status: UNCONFIRMED Keywords:

[Bug c++/95454] type-level nodiscard not applied to constructors

2022-07-19 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95454 --- Comment #3 from Johel Ernesto Guerrero Peña --- > A workaround would be to declare the constructor(s) [[nodiscard]]: That's generally a [better recommendation](https://github.com/mpusz/units/issues/136). Though I think you'd have to `=

[Bug c++/99377] [modules] undefined std::string_view::empty() if referenced in inline exported function

2022-07-17 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99377 --- Comment #13 from Johel Ernesto Guerrero Peña --- > The workaround of Comment 5 stopped working for my actual use-case some time > ago. The `using` declaration works if I move it earlier in the TU.

[Bug c++/99377] [modules] undefined std::string_view::empty() if referenced in inline exported function

2022-07-16 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99377 --- Comment #12 from Johel Ernesto Guerrero Peña --- The workaround of Comment 5 stopped working for my actual use-case some time ago. Now I do this: ```C++ export constexpr void expects(bool truth) noexcept { if (not truth) std::terminate();

[Bug c++/99377] [modules] undefined std::string_view::empty() if referenced in inline exported function

2022-07-16 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99377 --- Comment #11 from Johel Ernesto Guerrero Peña --- Created attachment 53312 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=53312=edit Release object file

[Bug c++/99377] [modules] undefined std::string_view::empty() if referenced in inline exported function

2022-07-16 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99377 --- Comment #10 from Johel Ernesto Guerrero Peña --- Created attachment 53311 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=53311=edit Release GCM

[Bug c++/99377] [modules] undefined std::string_view::empty() if referenced in inline exported function

2022-07-16 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99377 --- Comment #9 from Johel Ernesto Guerrero Peña --- Created attachment 53310 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=53310=edit Debug object file

[Bug c++/99377] [modules] undefined std::string_view::empty() if referenced in inline exported function

2022-07-16 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99377 --- Comment #8 from Johel Ernesto Guerrero Peña --- Created attachment 53309 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=53309=edit Debug GCM

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

2022-07-14 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106304 Bug ID: 106304 Summary: [modules] ICE compiling dynamic_cast in constexpr function (in tree_node, at cp/module.cc:9183) Product: gcc Version: 13.0 Status: UNCONFIRMED

[Bug c++/106289] New: Value of polymorphic type as template argument

2022-07-13 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106289 Bug ID: 106289 Summary: Value of polymorphic type as template argument Product: gcc Version: 13.0 Status: UNCONFIRMED Keywords: rejects-valid Severity: normal

[Bug c++/106287] New: Implicit virtual destructor needs to be explicitly defaulted for constant evaluation

2022-07-13 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106287 Bug ID: 106287 Summary: Implicit virtual destructor needs to be explicitly defaulted for constant evaluation Product: gcc Version: 13.0 Status: UNCONFIRMED

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

2022-07-03 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105044 --- Comment #3 from Johel Ernesto Guerrero Peña --- Enough recompilations from the actual use-case show this error: ``` /home/johel/Documents/C++/Repos/Waarudo/tests/unit/test.waarudo.quantities.cpp: In substitution of ‘template struct

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

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

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

2022-07-03 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105044 --- Comment #1 from Johel Ernesto Guerrero Peña --- Another simpler reproducer from another use-case: https://godbolt.org/z/jroqv6Kzq. `mod.cpp`: ```C++ export module mod; export template struct constant { }; export template struct is_constant

[Bug c++/105761] ICE on hidden friend definition defined in base type

2022-05-28 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105761 --- Comment #1 from Johel Ernesto Guerrero Peña --- Simplified: https://godbolt.org/z/66Gd84dos. ```C++ template class X { friend auto f(X); }; struct Y : X { friend auto f(X) { return 0L; } }; ```

[Bug c++/105761] New: ICE on hidden friend definition defined in base type

2022-05-28 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105761 Bug ID: 105761 Summary: ICE on hidden friend definition defined in base type Product: gcc Version: 13.0 Status: UNCONFIRMED Keywords: ice-on-valid-code Severity: normal

[Bug c++/105571] Spurious "set but not used" on static constexpr local, used in lambda

2022-05-26 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105571 --- Comment #2 from Johel Ernesto Guerrero Peña --- Simplified reproducer from Bug 105743: See https://godbolt.org/z/xq16xac15. ```C++ void f(auto x) { x(0); } void g() { static constexpr auto h = [](...) { }; f([](auto x) { h(x); }); }

[Bug c++/105571] Spurious "set but not used" on static constexpr local, used in lambda

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

[Bug c++/105743] Bogus unused but set lambda warning

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

[Bug c++/105743] New: Bogus unused but set lambda warning

2022-05-26 Thread johelegp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105743 Bug ID: 105743 Summary: Bogus unused but set lambda warning Product: gcc Version: 13.0 Status: UNCONFIRMED Keywords: diagnostic Severity: normal Priority: P3

[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++/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++/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++/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++/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++/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++/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++/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++/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

[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++/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++/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

[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++/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++/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

[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++/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

[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++/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

  1   2   3   >