https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60519
François Dumont changed:
What|Removed |Added
Status|NEW |RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60519
--- Comment #6 from Jonathan Wakely ---
The irreflexivity checks I originally asked for are done - do we want to keep
this open for more extensive checks, or close as FIXED?
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60519
--- Comment #5 from François Dumont fdumont at gcc dot gnu.org ---
Author: fdumont
Date: Tue Aug 25 20:27:03 2015
New Revision: 227189
URL: https://gcc.gnu.org/viewcvs?rev=227189root=gccview=rev
Log:
2015-08-24 François Dumont
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60519
--- Comment #3 from Jonathan Wakely redi at gcc dot gnu.org ---
(In reply to François Dumont from comment #2)
So yes it doubles the number of comparisons which is definitely a
Well actually your patch doesn't double the number, because you only
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60519
--- Comment #2 from François Dumont fdumont at gcc dot gnu.org ---
Created attachment 35305
-- https://gcc.gnu.org/bugzilla/attachment.cgi?id=35305action=edit
Strict weak ordering debug check patch
On my side here what I had plan to do. This
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60519
--- Comment #4 from Jonathan Wakely redi at gcc dot gnu.org ---
(In reply to Jonathan Wakely from comment #3)
Your patch checks for antisymmetry instead, which is also required for a
strict weak order, but is a different property.
Maybe we
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60519
--- Comment #1 from Jonathan Wakely redi at gcc dot gnu.org ---
I was thinking we'd add a new macro to debug/macros.h
#define __glibcxx_check_strict_weak_order(_First,_Last,_Pred) \
_GLIBCXX_DEBUG_VERIFY(_First==_Last || !_Pred(*_First,
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60519
Jonathan Wakely redi at gcc dot gnu.org changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Last