[Bug c++/120760] New: Deducing array bound with a small unsigned integral type silently overflows

2025-06-22 Thread mital at mitalashok dot co.uk via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120760 Bug ID: 120760 Summary: Deducing array bound with a small unsigned integral type silently overflows Product: gcc Version: 16.0 Status: UNCONFIRMED Severity: no

[Bug c++/120759] New: Empty initializer list (`{}`) in a parameter pack disables deduction for the entire pack

2025-06-22 Thread mital at mitalashok dot co.uk via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120759 Bug ID: 120759 Summary: Empty initializer list (`{}`) in a parameter pack disables deduction for the entire pack Product: gcc Version: 16.0 Status: UNCONFIRMED

[Bug c++/120758] New: Empty initializer list (`{}`) incorrectly deduces an array size for array reference parameter

2025-06-22 Thread mital at mitalashok dot co.uk via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120758 Bug ID: 120758 Summary: Empty initializer list (`{}`) incorrectly deduces an array size for array reference parameter Product: gcc Version: 16.0 Status: UNCONFIRMED

[Bug c++/105233] Incorrect "alignment not an integer constant" error in alignas with template parameter dependent argument

2024-09-08 Thread mital at mitalashok dot co.uk via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105233 Mital Ashok changed: What|Removed |Added CC||mital at mitalashok dot co.uk --- Comment

[Bug c++/116442] New: ICE when calling immediate function in NSDMI with aggregate initialization

2024-08-21 Thread mital at mitalashok dot co.uk via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116442 Bug ID: 116442 Summary: ICE when calling immediate function in NSDMI with aggregate initialization Product: gcc Version: 15.0 Status: UNCONFIRMED Severity: nor

[Bug c++/116385] New: Unevaluated usage of function parameters with typeid incorrectly considered odr-use

2024-08-15 Thread mital at mitalashok dot co.uk via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116385 Bug ID: 116385 Summary: Unevaluated usage of function parameters with typeid incorrectly considered odr-use Product: gcc Version: 15.0 Status: UNCONFIRMED Seve

[Bug c++/116206] New: No failure when all C++20 prospective destructors are not viable when templated class definition is instantiated

2024-08-03 Thread mital at mitalashok dot co.uk via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116206 Bug ID: 116206 Summary: No failure when all C++20 prospective destructors are not viable when templated class definition is instantiated Product: gcc Version: 15

[Bug c/116158] New: __INTn_TYPE__ macros unexpectedly unsigned with -funsigned-bitfields

2024-07-31 Thread mital at mitalashok dot co.uk via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116158 Bug ID: 116158 Summary: __INTn_TYPE__ macros unexpectedly unsigned with -funsigned-bitfields Product: gcc Version: 15.0 Status: UNCONFIRMED Severity: normal

[Bug c++/115909] New: C++20 operator<=> explicitly defaulted but defined as deleted after first declaration does not error

2024-07-13 Thread mital at mitalashok dot co.uk via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115909 Bug ID: 115909 Summary: C++20 operator<=> explicitly defaulted but defined as deleted after first declaration does not error Product: gcc Version: 15.0 Status: UNCONFIRM

[Bug c++/52659] GCC fails to reject a deleted function definition which is not the first declaration

2024-07-13 Thread mital at mitalashok dot co.uk via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=52659 --- Comment #5 from Mital Ashok --- (It compiles with a warning, but that is not promoted to an error even with -pedantic, and the example shows how I think that accepting it even as an extension is harmful)

[Bug c++/52659] GCC fails to reject a deleted function definition which is not the first declaration

2024-07-13 Thread mital at mitalashok dot co.uk via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=52659 Mital Ashok changed: What|Removed |Added CC||mital at mitalashok dot co.uk --- Comment

[Bug libstdc++/115807] C++23 P0943R6 does't qualify std::atomic in #define _Atomic properly

2024-07-09 Thread mital at mitalashok dot co.uk via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115807 Mital Ashok changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug libstdc++/115807] New: C++23 P0943R6 does't qualify std::atomic in #define _Atomic properly

2024-07-06 Thread mital at mitalashok dot co.uk via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115807 Bug ID: 115807 Summary: C++23 P0943R6 does't qualify std::atomic in #define _Atomic properly Product: gcc Version: 15.0 Status: UNCONFIRMED Severity: normal

[Bug c++/94058] defaulted three way comparison operator defined as deleted when a member is a small bitfield of long type.

2024-06-28 Thread mital at mitalashok dot co.uk via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94058 --- Comment #5 from Mital Ashok --- Proposed patch doesn't seem to work with bool bit-fields (with width not-1): ``` struct X { bool bf : 8; } x; signed char x_not_narrow{ x.bf }; ``` Currently: Not narrowing With patch: ``` test.cpp:4:29: w

[Bug c++/115699] New: Anonymous structs should compare member-wise with C++20 defaulted operator==

2024-06-28 Thread mital at mitalashok dot co.uk via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115699 Bug ID: 115699 Summary: Anonymous structs should compare member-wise with C++20 defaulted operator== Product: gcc Version: 15.0 Status: UNCONFIRMED Severity: n

[Bug c++/94058] defaulted three way comparison operator defined as deleted when a member is a small bitfield of long type.

2024-06-28 Thread mital at mitalashok dot co.uk via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94058 Mital Ashok changed: What|Removed |Added CC||mital at mitalashok dot co.uk --- Comment

[Bug c++/115583] New: Call to consteval function in `if consteval` immediate function context rejected at -O1

2024-06-21 Thread mital at mitalashok dot co.uk via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115583 Bug ID: 115583 Summary: Call to consteval function in `if consteval` immediate function context rejected at -O1 Product: gcc Version: 15.0 Status: UNCONFIRMED

[Bug c++/115558] New: Trivial noexcept(false) default constructor does not make value initialization potentially throwing

2024-06-20 Thread mital at mitalashok dot co.uk via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115558 Bug ID: 115558 Summary: Trivial noexcept(false) default constructor does not make value initialization potentially throwing Product: gcc Version: 15.0 Status: UNCONFIRME

[Bug libstdc++/115497] __is_pointer doesn't compile with clang since 014879ea4c86b3b8ab6b61a1226ee5b31e816c8b

2024-06-14 Thread mital at mitalashok dot co.uk via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115497 Mital Ashok changed: What|Removed |Added Resolution|--- |INVALID Status|UNCONFIRMED

[Bug libstdc++/115497] New: __is_pointer doesn't compile with clang since 014879ea4c86b3b8ab6b61a1226ee5b31e816c8b

2024-06-14 Thread mital at mitalashok dot co.uk via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115497 Bug ID: 115497 Summary: __is_pointer doesn't compile with clang since 014879ea4c86b3b8ab6b61a1226ee5b31e816c8b Product: gcc Version: 15.0 Status: UNCONFIRMED S

[Bug c++/115476] [13/14/15 Regression] __has_unique_object_representation ICE with array of uninstantiated type of unknown bound

2024-06-13 Thread mital at mitalashok dot co.uk via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115476 --- Comment #7 from Mital Ashok --- I think the issue is the same as it was in Clang The preconditions for `has_unique_object_representations` is https://eel.is/c++draft/type.traits#tab:meta.unary.prop-row-47-column-3-sentence-1 > T shall be a

[Bug c++/115476] [13/14/15 Regression] __has_unique_object_representation ICE with array of uninstantiated type of unknown bound

2024-06-13 Thread mital at mitalashok dot co.uk via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115476 --- Comment #4 from Mital Ashok --- cppreference is wrong https://eel.is/c++draft/type.traits#tab:meta.unary.prop-row-47-column-2-sentence-1 > For an array type `T`, the same result as > `has_unique_object_representations_v>`, otherwise see

[Bug c++/115476] [13/14/15 Regression] __has_unique_object_representation ICE with array of uninstantiated type of unknown bound

2024-06-13 Thread mital at mitalashok dot co.uk via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115476 --- Comment #5 from Mital Ashok --- Sorry, I misread the cppreference quote. Though it should be ill-formed instead of UB I think. GCC also crashes on this invalid code: class Foo; static_assert(__has_unique_object_representations(Foo[

[Bug c++/115476] New: __has_unique_object_representation ICE with array of uninstantiated type of unknown bound

2024-06-13 Thread mital at mitalashok dot co.uk via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115476 Bug ID: 115476 Summary: __has_unique_object_representation ICE with array of uninstantiated type of unknown bound Product: gcc Version: 15.0 Status: UNCONFIRMED

[Bug c++/115251] New: [DR 1581] Conversion operator that is needed for constant evaluation not instantiated in requires-expression

2024-05-27 Thread mital at mitalashok dot co.uk via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115251 Bug ID: 115251 Summary: [DR 1581] Conversion operator that is needed for constant evaluation not instantiated in requires-expression Product: gcc Version: 15.0

[Bug c++/115187] [14/15 Regression] ICE when deleting temporary array

2024-05-22 Thread mital at mitalashok dot co.uk via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115187 --- Comment #5 from Mital Ashok --- PR94264 prevented the first version from being an issue in GCC13, but the second version struct X { int x[2]; }; void f() { delete X{}.x; } still crashed in older GCC versions. This isn't t

[Bug c++/115187] New: ICE when deleting temporary array

2024-05-22 Thread mital at mitalashok dot co.uk via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115187 Bug ID: 115187 Summary: ICE when deleting temporary array Product: gcc Version: 15.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c++

[Bug c++/114977] New: C++20 parenthesized aggregate initialization copy-inits from {} instead of value-init

2024-05-07 Thread mital at mitalashok dot co.uk via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114977 Bug ID: 114977 Summary: C++20 parenthesized aggregate initialization copy-inits from {} instead of value-init Product: gcc Version: 15.0 Status: UNCONFIRMED Se

[Bug tree-optimization/114937] [11 regression] -ftree-vrp optimizes out range check before conditional increment

2024-05-03 Thread mital at mitalashok dot co.uk via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114937 --- Comment #3 from Mital Ashok --- My real code looks more like: void sat_inc(int& y) { if (y < __INT_MAX__) ++y; } template void f(int& x, F&&... functions) { int copy = x; (functions(copy), ...); if (copy > x)

[Bug tree-optimization/114937] New: [11 regression] -ftree-vrp optimizes out range check before conditional increment

2024-05-03 Thread mital at mitalashok dot co.uk via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114937 Bug ID: 114937 Summary: [11 regression] -ftree-vrp optimizes out range check before conditional increment Product: gcc Version: 11.4.0 Status: UNCONFIRMED Seve

[Bug c++/114620] New: Pointer-to-member template argument which is the member of a base class is rejected

2024-04-06 Thread mital at mitalashok dot co.uk via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114620 Bug ID: 114620 Summary: Pointer-to-member template argument which is the member of a base class is rejected Product: gcc Version: 14.0 Status: UNCONFIRMED Seve

[Bug c++/114619] New: [14 regression] ICE with -fno-elide-constructors in C++14 mode for non-constant initializer in array new

2024-04-06 Thread mital at mitalashok dot co.uk via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114619 Bug ID: 114619 Summary: [14 regression] ICE with -fno-elide-constructors in C++14 mode for non-constant initializer in array new Product: gcc Version: 14.0 Status: UNCON

gcc-bugs@gcc.gnu.org

2024-01-08 Thread mital at mitalashok dot co.uk via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68891 Mital Ashok changed: What|Removed |Added CC||mital at mitalashok dot co.uk --- Comment

[Bug c++/112908] New: __reference_{converts,constructs}_from_temporary checks for move constructor when binding prvalue to reference of the same type

2023-12-07 Thread mital at mitalashok dot co.uk via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112908 Bug ID: 112908 Summary: __reference_{converts,constructs}_from_temporary checks for move constructor when binding prvalue to reference of the same type Product: gcc

[Bug c++/112590] structural constexpr class fails to instantiate

2023-11-17 Thread mital at mitalashok dot co.uk via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112590 Mital Ashok changed: What|Removed |Added CC||mital at mitalashok dot co.uk --- Comment

[Bug c++/112595] New: ICE on invalid code: Literal class NTTP aggregate initialized with self-referential pointer

2023-11-17 Thread mital at mitalashok dot co.uk via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112595 Bug ID: 112595 Summary: ICE on invalid code: Literal class NTTP aggregate initialized with self-referential pointer Product: gcc Version: 14.0 Status: UNCONFIRMED

[Bug c++/112594] New: Non-type template parameter created with converting constructor sometimes has original type

2023-11-17 Thread mital at mitalashok dot co.uk via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112594 Bug ID: 112594 Summary: Non-type template parameter created with converting constructor sometimes has original type Product: gcc Version: 14.0 Status: UNCONFIRMED