[Bug c++/104111] [DR2589] Concept evaluation depends on context where it was first checked

2024-02-22 Thread webrown.cpp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104111 --- Comment #10 from W E Brown --- (In reply to Eric Estievenart from comment #9) Sorry, but I find neither "weirdness" nor "spooky"-ness in the comment #9 code as shown. Rather, I believe it to be simply an example of a program that the C++

[Bug c++/108205] New: ICE following "unused parameter" in precondition

2022-12-22 Thread webrown.cpp at gmail dot com via Gcc-bugs
Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: webrown.cpp at gmail dot com Target Milestone: --- Using (Homebrew GCC HEAD-37c2d99) 13.0.0 20221213 (experimental) and compiling via: g++-HEAD -std=c++23 -fmodules-ts -fcontracts -pedantic-errors \

[Bug libstdc++/107778] handle_contract_violation should reflect _GLIBCXX_VERBOSE

2022-12-22 Thread webrown.cpp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107778 --- Comment #10 from W E Brown --- > On Dec 22, 2022, at 6:51 PM, cvs-commit at gcc dot gnu.org > wrote: > > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107778 > > --- Comment #9 from CVS Commits --- > The master branch has been updated

[Bug c++/108052] New: forward-declared constexpr variable template unusable in constexpr context

2022-12-10 Thread webrown.cpp at gmail dot com via Gcc-bugs
: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: webrown.cpp at gmail dot com Target Milestone: --- Similar to bug 59123, the following code compiles with no complaint: extern const double e; // a fwd-declaration

[Bug c++/103049] [C++23] P0849R8 - auto(x): decay-copy in the language

2021-11-09 Thread webrown.cpp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103049 --- Comment #2 from W E Brown --- (In reply to Marek Polacek from comment #1) > Patch on review. In the proposed patch, I respectfully recommend a slight rewording of the new pedwarn messages in gcc/cp/semantics.c and gcc/cp/typeck2.c:

[Bug c++/101181] New: ICE when using an alias template

2021-06-23 Thread webrown.cpp at gmail dot com via Gcc-bugs
++ Assignee: unassigned at gcc dot gnu.org Reporter: webrown.cpp at gmail dot com Target Milestone: --- The following program produces "Segmentation fault: 11 signal terminated program cc1plus" when compiled with flags -std=c++23 -fmodules-ts -pedantic-errors -O0 -c using

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

2021-05-19 Thread webrown.cpp at gmail dot com via Gcc-bugs
Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: webrown.cpp at gmail dot com Target Milestone: --- Using recent trunk [g++-HEAD (Homebrew GCC HEAD-5380e3c) 12.0.0 20210513], compiling with significant flags -std=c++23 -fmodules-ts -c. I

[Bug c++/100335] Using statement of a ref-qualified method from base class: method not callable on derived object

2021-04-29 Thread webrown.cpp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100335 --- Comment #4 from W E Brown --- I won't comment on any compiler's behavior, but do want to thank you for reminding me of [namespace.udecl]/14: "When a using-declarator brings declarations from a base class into a derived class, member

[Bug c++/100335] Using statement of a ref-qualified method from base class: method not callable on derived object

2021-04-29 Thread webrown.cpp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100335 W E Brown changed: What|Removed |Added CC||webrown.cpp at gmail dot com --- Comment

[Bug c++/99686] ICE when using both concepts and full specialization

2021-03-25 Thread webrown.cpp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99686 --- Comment #4 from W E Brown --- (In reply to Steven Sun from comment #3) > I would expect the complete specialization is full > specialization for both primary templates. No, any given explicit or partial specialization can be a

[Bug c++/99686] ICE when using both concepts and full specialization

2021-03-21 Thread webrown.cpp at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99686 W E Brown changed: What|Removed |Added CC||webrown.cpp at gmail dot com --- Comment #2

[Bug c++/98735] New: ICE with -std=c++20 -fmodules-ts -fsanitize=undefined

2021-01-18 Thread webrown.cpp at gmail dot com via Gcc-bugs
Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: webrown.cpp at gmail dot com Target Milestone: --- Using gcc version 11.0.0 20210116 (experimental) (Homebrew GCC HEAD-2c356f2_2) and compiling with flags: -std=c++20 -fmodules-ts -fsanitize=undefined produces

[Bug c++/95999] New: ICE in tree check: expected integer_cst, have var_decl in get_len, at tree.h:5951

2020-06-30 Thread webrown.cpp at gmail dot com
Keywords: error-recovery, ice-on-invalid-code Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: haoxintu at gmail dot com CC: webrown.cpp at gmail dot com Target Milestone: --- CC

[Bug c++/95963] [11 Regression] ICE: Segmentation fault (in contains_struct_check)

2020-06-30 Thread webrown.cpp at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95963 W E Brown changed: What|Removed |Added CC||webrown.cpp at gmail dot com --- Comment #3

[Bug c++/95993] New: the error of multi-array init in gcc 10.1

2020-06-30 Thread webrown.cpp at gmail dot com
++ Assignee: unassigned at gcc dot gnu.org Reporter: chengcongxiu at huawei dot com CC: webrown.cpp at gmail dot com Target Milestone: --- CC: webrown.cpp at gmail dot com the main2.cpp as follow: #include using namespace std; void FuncA(int arg1

[Bug libstdc++/95989] New: Segmentation fault compiling with static libraries and using jthread::request_stop

2020-06-30 Thread webrown.cpp at gmail dot com
Severity: normal Priority: P3 Component: libstdc++ Assignee: unassigned at gcc dot gnu.org Reporter: antal.buss at ualberta dot ca CC: webrown.cpp at gmail dot com Target Milestone: --- CC: webrown.cpp at gmail dot com A simple

[Bug libstdc++/95992] New: chrono adding duration to time_point reports signed integer overflow with -fsanitize=undefined

2020-06-30 Thread webrown.cpp at gmail dot com
Severity: normal Priority: P3 Component: libstdc++ Assignee: unassigned at gcc dot gnu.org Reporter: redboltz at gmail dot com CC: webrown.cpp at gmail dot com Target Milestone: --- CC: webrown.cpp at gmail dot com

[Bug c++/92426] ICE on spaceship declaration plus other P1185R2 interaction issue

2019-11-09 Thread webrown.cpp at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92426 --- Comment #2 from W E Brown --- Please note that the submitted test program seems not to meet the #include requirement as articulated in N4835 clause [expr.spaceship] p10: "10 The five comparison category types (17.11.2) (the types

[Bug other/87343] New: Incomplete documentation for built-in type traits

2018-09-18 Thread webrown.cpp at gmail dot com
: other Assignee: unassigned at gcc dot gnu.org Reporter: webrown.cpp at gmail dot com Target Milestone: --- The manual page https://gcc.gnu.org/onlinedocs/gcc/Type-Traits.html seems to be missing descriptions of several built-in type traits in current (trunk) use

[Bug libstdc++/87193] symbols in have inconsistent types

2018-09-03 Thread webrown.cpp at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87193 --- Comment #3 from W E Brown --- Sorry; hadn't seen or recalled the note cited by comment 1. Agreed with comment 2 that this need not be a priority. My (admittedly hostile) experimental code caught it, so I thought to note it for the record.

[Bug libstdc++/87193] New: symbols in have inconsistent types

2018-09-02 Thread webrown.cpp at gmail dot com
++ Assignee: unassigned at gcc dot gnu.org Reporter: webrown.cpp at gmail dot com Target Milestone: --- In the new header, most symbols are given a value of type int, rather than a value of type long as mandated by [support.limits.general] Table 35 of N4762. For example, we find

[Bug c++/86642] Spurious return type warning with enable_if

2018-07-23 Thread webrown.cpp at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86642 W E Brown changed: What|Removed |Added CC||webrown.cpp at gmail dot com --- Comment #1

[Bug c++/85958] Make const qualifier error clear

2018-06-03 Thread webrown.cpp at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85958 --- Comment #8 from W E Brown --- C++ seems very clear that the semantics of parameter passage are those of initialization. For example, according to [expr.call]/7 in N4741: "When a function is called, each parameter shall be initialized with

[Bug c++/85689] if constexpr compiles false branch

2018-05-07 Thread webrown.cpp at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85689 W E Brown changed: What|Removed |Added CC||webrown.cpp at gmail dot com --- Comment #1

[Bug libstdc++/85439] mt19937_64 producing unexpected result only in certain configuration

2018-04-19 Thread webrown.cpp at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85439 --- Comment #5 from W E Brown --- (In reply to Marc "Foddex" Oude Kotte from comment #4) > The reason I was expecting the same result everywhere is because of this > statement on cppreference.com: > > > "Notes > The 1th consecutive

[Bug c++/80144] Concept introduced with "template" is not diagnosed

2017-08-21 Thread webrown.cpp at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80144 --- Comment #2 from W E Brown --- > Confirmed, although I'm not sure which of those 2 options is correct... Per N4687, [temp.concept]/4: A concept shall not have associated constraints (17.4.2). Since Second's declaration does specify Never

[Bug c++/81901] New: false-positive -Warray-bounds

2017-08-20 Thread webrown.cpp at gmail dot com
++ Assignee: unassigned at gcc dot gnu.org Reporter: vermaelen.wouter at gmail dot com CC: webrown.cpp at gmail dot com Target Milestone: --- CC: webrown.cpp at gmail dot com When switching from gcc-6 to gcc-7 my application triggers some new compiler warnings

[Bug libstdc++/81263] Work around CWG issue 1558 (guarantee SFINAE when using `void_t`)

2017-06-30 Thread webrown.cpp at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81263 W E Brown changed: What|Removed |Added CC||webrown.cpp at gmail dot com --- Comment #1

[Bug c++/81259] New: Class template deduction cannot work on Constructor without parameters in some cases

2017-06-30 Thread webrown.cpp at gmail dot com
Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: kmp53 at sina dot com CC: webrown.cpp at gmail dot com Target Milestone: --- CC: webrown.cpp at gmail dot com template class C

[Bug libstdc++/80796] New: std::make_xxx_searcher / std::search(iter, iter, searcher) is missing

2017-05-18 Thread webrown.cpp at gmail dot com
Priority: P3 Component: libstdc++ Assignee: unassigned at gcc dot gnu.org Reporter: d25fe0be at outlook dot com CC: webrown.cpp at gmail dot com Target Milestone: --- CC: webrown.cpp at gmail dot com I hesitate to submit

[Bug c++/80649] New: value-initialization rather than default-initialization at some optimization levels

2017-05-06 Thread webrown.cpp at gmail dot com
Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: john.duncan at oracle dot com CC: webrown.cpp at gmail dot com Target Milestone: --- CC: webrown.cpp at gmail dot com This problem

[Bug libstdc++/78996] uses macro as name

2017-01-04 Thread webrown.cpp at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78996 --- Comment #1 from W E Brown --- Created attachment 40465 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=40465=edit Preprocessed source

[Bug libstdc++/78996] New: uses macro as name

2017-01-04 Thread webrown.cpp at gmail dot com
: unassigned at gcc dot gnu.org Reporter: webrown.cpp at gmail dot com Target Milestone: --- Upon upgrading to g++-mp-7 (MacPorts gcc7 7-20170101_0) 7.0.0 20170101 (experimental) and compiling with significant options -std=c++1z -fconcepts, I find a previously-unseen conflict. At line

[Bug c++/78955] New: [c++ concepts] Concept requirements on functions cancels the private section method check in the following code

2016-12-30 Thread webrown.cpp at gmail dot com
++-concepts Status: UNCONFIRMED Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: sergstrukovlink at gmail dot com CC: webrown.cpp at gmail dot com Target Milestone

[Bug c++/78473] New: Enhancement request: __builtin_div_overflow

2016-11-22 Thread webrown.cpp at gmail dot com
++ Assignee: unassigned at gcc dot gnu.org Reporter: webrown.cpp at gmail dot com Target Milestone: --- https://gcc.gnu.org/onlinedocs/gcc/Integer-Overflow-Builtins.html documents gcc intrinsic functions to perform integer arithmetic with overflow checking. Addition

[Bug c++/62181] [C/C++] Expected new warning: "adding 'char' to a string does not append to the string" [-Wstring-plus-int]

2016-08-23 Thread webrown.cpp at gmail dot com
changed: What|Removed |Added CC||webrown.cpp at gmail dot com --- Comment #3 from Eric Gallager --- I think a better fixit would

[Bug c++/70539] New: ICE on invalid code on x86_64-linux-gnu in cxx_incomplete_type_diagnostic, at cp/typeck2.c:569

2016-04-05 Thread webrown.cpp at gmail dot com
Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: su at cs dot ucdavis.edu CC: webrown.cpp at gmail dot com Target Milestone: --- CC: webrown.cpp at gmail dot com The following

[Bug c++/69009] [5/6 Regression] ICE in instantiate_decl, at cp/pt.c:21511

2016-01-26 Thread webrown.cpp at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69009 --- Comment #5 from W E Brown --- I have encountered this issue several more times since my original report, and am writing to report a pattern I recently noticed among cases that ICE vs similar cases that compile correctly. (I'm now using

[Bug libstdc++/53901] [C++11] [DR 2165] std::atomic fails for type without no-throw default constructor

2016-01-17 Thread webrown.cpp at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=53901 W E Brown changed: What|Removed |Added CC||webrown.cpp at gmail dot com --- Comment #4

[Bug libstdc++/51960] [DR 2127] Missing move-assignment operator in raw_storage_iterator

2016-01-16 Thread webrown.cpp at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=51960 W E Brown changed: What|Removed |Added CC||webrown.cpp at gmail dot com --- Comment #4

[Bug c++/950] [DR 203] Template problem: decay of pointer-to-member-of-derived to p-o-m-o-base

2016-01-14 Thread webrown.cpp at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=950 W E Brown changed: What|Removed |Added CC||webrown.cpp at gmail dot com --- Comment #16

[Bug c++/12255] exception-specification ignored on pointer to function

2016-01-14 Thread webrown.cpp at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=12255 W E Brown changed: What|Removed |Added CC||webrown.cpp at gmail dot com --- Comment #7

[Bug c++/69009] New: ICE in instantiate_decl, at cp/pt.c:21511

2015-12-22 Thread webrown.cpp at gmail dot com
++ Assignee: unassigned at gcc dot gnu.org Reporter: webrown.cpp at gmail dot com Target Milestone: --- Created attachment 37101 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=37101=edit Preprocessed source Using g++-mp-6 (MacPorts gcc6 6-20151220_0) 6.0.0 20151

[Bug c++/68164] Destructor side effect unexpectedly elided

2015-11-02 Thread webrown.cpp at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68164 W E Brown changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug c++/68164] Destructor side effect unexpectedly elided

2015-11-01 Thread webrown.cpp at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68164 --- Comment #2 from W E Brown --- (In reply to Casey Carter from comment #1) > [basic.life]/5 says: > > Before the lifetime of an object has started ... or, after the lifetime of > an object has ended and before the storage which the object

[Bug c++/68164] New: Destructor side effect unexpectedly elided

2015-10-30 Thread webrown.cpp at gmail dot com
++ Assignee: unassigned at gcc dot gnu.org Reporter: webrown.cpp at gmail dot com Target Milestone: --- Created attachment 36625 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=36625=edit Test program Compiler version: g++-mp-6 (MacPorts gcc6 6-20151025_0) 6.0.0 20151

[Bug c++/67324] New: Failures in Assignable concept's requires-expression

2015-08-22 Thread webrown.cpp at gmail dot com
: c++ Assignee: unassigned at gcc dot gnu.org Reporter: webrown.cpp at gmail dot com Target Milestone: --- Created attachment 36243 -- https://gcc.gnu.org/bugzilla/attachment.cgi?id=36243action=edit Test for Assignable concept Using g++-mp-6 (MacPorts gcc6 6-20150816_0

[Bug c++/67238] New: [C++11][C++14]cc1plus crash for nested decltype expression in parameter pack in trailing return type when '-g' enabled

2015-08-16 Thread webrown.cpp at gmail dot com
Version: 5.2.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: frankhb1989 at gmail dot com CC: webrown.cpp at gmail dot com Target Milestone

[Bug c++/67070] [concepts] Concept with negation and disjunction not checked correctly

2015-07-31 Thread webrown.cpp at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67070 --- Comment #4 from W E Brown webrown.cpp at gmail dot com --- (In reply to Andrew Sutton from comment #2) snip If we had a rule that allowed the evaluation of a concept in any context, then we could avoid doing this. It would also guarantee

[Bug c++/66743] New: ICE on formerly working code

2015-07-02 Thread webrown.cpp at gmail dot com
++ Assignee: unassigned at gcc dot gnu.org Reporter: webrown.cpp at gmail dot com Target Milestone: --- This appears to be a recently introduced regression. Although I'm using the concepts branch, no concepts features are used to reproduce the problem. Reduced test case: template

[Bug c++/66743] ICE on formerly working code

2015-07-02 Thread webrown.cpp at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66743 --- Comment #1 from W E Brown webrown.cpp at gmail dot com --- Further reduced test case: template class T using u_t = __underlying_type(T); int main( ) { }

[Bug libstdc++/41759] [C++0x] random static_assert phrasing should be positive

2015-04-08 Thread webrown.cpp at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=41759 --- Comment #6 from W E Brown webrown.cpp at gmail dot com --- I hadn't realized this was still open :) FWIW, my paper N3846 (http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2014/n3846.pdf) summarizes on p. 3 my recommended guidelines

[Bug c++/65553] New: ICE on valid variadic template

2015-03-25 Thread webrown.cpp at gmail dot com
++ Assignee: unassigned at gcc dot gnu.org Reporter: webrown.cpp at gmail dot com Created attachment 35134 -- https://gcc.gnu.org/bugzilla/attachment.cgi?id=35134action=edit program producing ICE When compiling enclosed program via g++-mp-5 (MacPorts gcc5 5-20150308_0) 5.0.0 20150308

[Bug c++/65553] ICE on valid variadic template

2015-03-25 Thread webrown.cpp at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65553 W E Brown webrown.cpp at gmail dot com changed: What|Removed |Added CC||andrew.n.sutton

[Bug c++/59204] New: Incorrect metaprogram evaluation in SFINAE context

2013-11-20 Thread webrown.cpp at gmail dot com
: c++ Assignee: unassigned at gcc dot gnu.org Reporter: webrown.cpp at gmail dot com Created attachment 31255 -- http://gcc.gnu.org/bugzilla/attachment.cgi?id=31255action=edit Demonstrating SFINAE failure to fail Command: g++-mp-4.9 -O3 -std=gnu++1y bug2.cc Version: g++-mp

[Bug c++/57682] New: Uniform initialization syntax rejected in function-try-block

2013-06-23 Thread webrown.cpp at gmail dot com
Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: webrown.cpp at gmail dot com Created attachment 30342 -- http://gcc.gnu.org/bugzilla/attachment.cgi?id=30342action=edit Source file demonstrating issue Compiling via: g++-mp-4.9 -std=gnu

[Bug c++/56041] New: Constexpr conversion function definition not found in template argument context

2013-01-18 Thread webrown.cpp at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56041 Bug #: 56041 Summary: Constexpr conversion function definition not found in template argument context Classification: Unclassified Product: gcc Version: 4.7.2