https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70303
François Dumont changed:
What|Removed |Added
Resolution|--- |FIXED
Status|NEW
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70303
François Dumont changed:
What|Removed |Added
CC||fdumont at gcc dot gnu.org
A
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70303
--- Comment #5 from Casey Carter ---
IIRC my reasoning was that [random.access.iterators] specifies the operational
semantics of `a < b` to be `b - a > 0`, which suggests but doesn't quite
require that `a < b` is valid whenever `b - a` is valid.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70303
Casey Carter changed:
What|Removed |Added
CC||Casey at Carter dot net
--- Comment #4 fr
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70303
--- Comment #3 from Jonathan Wakely ---
Or is the implication of equality being valid that a+n is valid for n==0, and
therefore b-a is valid, and therefore relational ops are valid?
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70303
--- Comment #2 from Jonathan Wakely ---
My reading of the N3644 changes is that only equality comparisons are
supported, not relational ones.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70303
Jonathan Wakely changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Last reconfirmed|
