[Bug c++/80039] `constexpr` member function calls in a `constexpr` constructor are ignored if the object is defined locally

2021-03-29 Thread david at doublewise dot net via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80039 David Stone changed: What|Removed |Added CC||david at doublewise dot net --- Comment

[Bug c++/99018] Comparing address of array element not considered a constant expression in certain contexts

2021-03-10 Thread david at doublewise dot net via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99018 --- Comment #2 from David Stone --- Simpler test case ``` struct s { constexpr ~s() { } }; constexpr bool f(s const (&)[1]) { return true; } static_assert(f({s()})); ``` Message ``` :10:16: error: non-constant

[Bug c++/99018] Comparing address of array element not considered a constant expression in certain contexts

2021-02-09 Thread david at doublewise dot net via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99018 David Stone changed: What|Removed |Added CC||david at doublewise dot net --- Comment

[Bug c++/99031] New: Comparing pointers to heap-allocated memory is not a constant expression

2021-02-09 Thread david at doublewise dot net via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99031 Bug ID: 99031 Summary: Comparing pointers to heap-allocated memory is not a constant expression Product: gcc Version: 11.0 Status: UNCONFIRMED Severity: normal

[Bug c++/96333] [10/11 Regression] Regression on concepts constraint checking

2021-02-08 Thread david at doublewise dot net via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96333 David Stone changed: What|Removed |Added CC||david at doublewise dot net --- Comment

[Bug c++/98987] Concept subsumption doesn't work with by-value vs. by-reference parameters

2021-02-08 Thread david at doublewise dot net via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98987 David Stone changed: What|Removed |Added CC||david at doublewise dot net

[Bug c++/99018] New: Comparing address of array element not considered a constant expression in certain contexts

2021-02-08 Thread david at doublewise dot net via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99018 Bug ID: 99018 Summary: Comparing address of array element not considered a constant expression in certain contexts Product: gcc Version: 11.0 Status: UNCONFIRMED

[Bug c++/99016] New: Internal compiler error from decltype of binary operator when one operand is a prvalue function call

2021-02-08 Thread david at doublewise dot net via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99016 Bug ID: 99016 Summary: Internal compiler error from decltype of binary operator when one operand is a prvalue function call Product: gcc Version: 11.0 Status:

[Bug c++/98995] New: Copy elision not applied to members declared with [[no_unique_address]]

2021-02-07 Thread david at doublewise dot net via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98995 Bug ID: 98995 Summary: Copy elision not applied to members declared with [[no_unique_address]] Product: gcc Version: 11.0 Status: UNCONFIRMED Severity: normal

[Bug c++/98994] New: Empty type with [[no_unique_address]] in union with constructor is not a constant expression

2021-02-07 Thread david at doublewise dot net via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98994 Bug ID: 98994 Summary: Empty type with [[no_unique_address]] in union with constructor is not a constant expression Product: gcc Version: 11.0 Status: UNCONFIRMED

[Bug c++/98990] Internal compiler error when two overloaded functions return `auto &&` and one accepts an `auto` parameter

2021-02-07 Thread david at doublewise dot net via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98990 David Stone changed: What|Removed |Added CC||david at doublewise dot net --- Comment

[Bug c++/98990] New: Internal compiler error when two overloaded functions return `auto &&` and one accepts an `auto` parameter

2021-02-07 Thread david at doublewise dot net via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98990 Bug ID: 98990 Summary: Internal compiler error when two overloaded functions return `auto &&` and one accepts an `auto` parameter Product: gcc Version: 11.0 Status:

[Bug c++/98988] New: delete is not a constant expression with -fsanitize=undefined

2021-02-07 Thread david at doublewise dot net via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98988 Bug ID: 98988 Summary: delete is not a constant expression with -fsanitize=undefined Product: gcc Version: 11.0 Status: UNCONFIRMED Severity: normal

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

2021-02-07 Thread david at doublewise dot net via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79751 David Stone changed: What|Removed |Added CC||david at doublewise dot net --- Comment

[Bug c++/98987] New: Concept subsumption doesn't work with by-value vs. by-reference parameters

2021-02-07 Thread david at doublewise dot net via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98987 Bug ID: 98987 Summary: Concept subsumption doesn't work with by-value vs. by-reference parameters Product: gcc Version: 11.0 Status: UNCONFIRMED Severity:

[Bug tree-optimization/80738] dead first stmt in a=0;a=b;b=0 whatever the aliasing

2020-12-14 Thread david at doublewise dot net via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80738 David Stone changed: What|Removed |Added CC||david at doublewise dot net --- Comment

[Bug c++/97388] constexpr evaluator incorrectly claims double delete with function parameter

2020-10-12 Thread david at doublewise dot net via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97388 --- Comment #2 from David Stone --- That is what seems to be happening here. It looks like by-value function parameters have all modifications rolled back before the object is destroyed. The following code is also erroneously rejected: ```

[Bug c++/97388] constexpr evaluator incorrectly claims double delete with function parameter

2020-10-12 Thread david at doublewise dot net via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97388 David Stone changed: What|Removed |Added CC||david at doublewise dot net --- Comment

[Bug c++/97388] New: constexpr evaluator incorrectly claims double delete with function parameter

2020-10-12 Thread david at doublewise dot net via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97388 Bug ID: 97388 Summary: constexpr evaluator incorrectly claims double delete with function parameter Product: gcc Version: 11.0 Status: UNCONFIRMED Severity:

[Bug c++/97052] Internal compiler error with substitution failure in template parameter list of concept declaration

2020-10-01 Thread david at doublewise dot net via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97052 David Stone changed: What|Removed |Added CC||david at doublewise dot net --- Comment

[Bug c++/97195] construct_at on a union member is not a constant expression

2020-09-27 Thread david at doublewise dot net via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97195 David Stone changed: What|Removed |Added CC||david at doublewise dot net --- Comment