[Issue 17876] [REG 2.074] Internal error when comparing inout(Foo[][]) with Foo[][]

[d-bugmail--- via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=17876

--- Comment #6 from github-bugzi...@puremagic.com ---
Commits pushed to master at https://github.com/dlang/druntime

https://github.com/dlang/druntime/commit/70d536eddf2bab82e428ea397dec8b4093c9f3c1
fix Issue 17876 - moved bad assertion that failed for arrays of arrays with
mixed modifiers to the memcmp version which should work on values anyway.

https://github.com/dlang/druntime/commit/ec9a79e15d446863191308fd5e20febce2053546
Merge pull request #1934 from rainers/issue_17876

--

[Issue 17876] [REG 2.074] Internal error when comparing inout(Foo[][]) with Foo[][]

[d-bugmail--- via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=17876

--- Comment #5 from github-bugzi...@puremagic.com ---
Commits pushed to stable at https://github.com/dlang/druntime

https://github.com/dlang/druntime/commit/70d536eddf2bab82e428ea397dec8b4093c9f3c1
fix Issue 17876 - moved bad assertion that failed for arrays of arrays with
mixed modifiers to the memcmp version which should work on values anyway.
Also fixed bad comparison via memcmp only comparing first element.

https://github.com/dlang/druntime/commit/ec9a79e15d446863191308fd5e20febce2053546
Merge pull request #1934 from rainers/issue_17876

fix Issue 17876 - [REG 2.074] Internal error when comparing inout(Foo[][]) with
Foo[][]

--

[Issue 17876] [REG 2.074] Internal error when comparing inout(Foo[][]) with Foo[][]

[d-bugmail--- via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=17876

github-bugzi...@puremagic.com changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

--

[Issue 17876] [REG 2.074] Internal error when comparing inout(Foo[][]) with Foo[][]

[d-bugmail--- via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=17876

Rainer Schuetze  changed:

   What|Removed |Added

   Keywords||pull
 CC||r.sagita...@gmx.de

--- Comment #4 from Rainer Schuetze  ---
https://github.com/dlang/druntime/pull/1934

--

[Issue 17876] [REG 2.074] Internal error when comparing inout(Foo[][]) with Foo[][]

[d-bugmail--- via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=17876

Steven Schveighoffer  changed:

   What|Removed |Added

 CC||schvei...@yahoo.com

--- Comment #3 from Steven Schveighoffer  ---
this should compile, size_t[][] has a valid ordering.

If the ice is fixed, and this doesn't compile, please file another bug report.

--

[Issue 17876] [REG 2.074] Internal error when comparing inout(Foo[][]) with Foo[][]

[d-bugmail--- via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=17876

ag0ae...@gmail.com changed:

   What|Removed |Added

   Keywords||ice
 CC||ag0ae...@gmail.com
  Component|phobos  |dmd
   Hardware|x86_64  |All
Summary|Internal error with red |[REG 2.074] Internal error
   |black tree of array of  |when comparing
   |arrays  |inout(Foo[][]) with Foo[][]
 OS|Linux   |All
   Severity|normal  |regression

--- Comment #2 from ag0ae...@gmail.com ---
Reduced (it's the result of using `binaryFun!"a < b"` in the `inout` method
`_firstGreaterEqual`):

bool _less(inout size_t[][] a, size_t[][] b) { return a < b; }


I don't know if this should compile or throw an error. Any way, it shouldn't
ICE.

dmd2.073.0 accepts the code, making this a regression.

Changing component to dmd as that's where the bug manifests as an ICE. The
actual bug might be in druntime.

--