Thread overview
[Issue 15875] case of undetected circular reference in function parameter
[Issue 15875] "d o(int[a]a)(){}" causes DMD segfault
Apr 04, 2016
Alex Parrill
Apr 05, 2016
ag0aep6g@gmail.com
Feb 16, 2019
Basile-z
Feb 16, 2019
Basile-z
Feb 16, 2019
Basile-z
Feb 16, 2019
Dlang Bot
Jun 16, 2019
Dlang Bot
Mar 21, 2020
Basile-z
April 04, 2016
https://issues.dlang.org/show_bug.cgi?id=15875

--- Comment #1 from Alex Parrill <initrd.gz@gmail.com> ---
This code also has similar results:

    v o(int a[a])(){}

--
April 05, 2016
https://issues.dlang.org/show_bug.cgi?id=15875

ag0aep6g@gmail.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice
                 CC|                            |ag0aep6g@gmail.com

--
September 02, 2016
https://issues.dlang.org/show_bug.cgi?id=15875

hsteoh@quickfur.ath.cx changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |hsteoh@quickfur.ath.cx

--- Comment #2 from hsteoh@quickfur.ath.cx ---
This is caused by an infinite recursion ddmd.mtype.semanticLength -> VarExp::semantic -> TypeAArray::semantic -> TypeSArray::semantic -> ddmd.mtype.semanticLength.  Probably due to the construct `int[a] a` which depends upon itself.

--
February 16, 2019
https://issues.dlang.org/show_bug.cgi?id=15875

Basile-z <b2.temp@gmx.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |b2.temp@gmx.com
            Summary|"d o(int[a]a)(){}" causes   |case of undetected circular
                   |DMD segfault                |reference in function
                   |                            |parameter

--
February 16, 2019
https://issues.dlang.org/show_bug.cgi?id=15875

Basile-z <b2.temp@gmx.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Hardware|x86_64                      |All
                 OS|Linux                       |All

--
February 16, 2019
https://issues.dlang.org/show_bug.cgi?id=15875

Basile-z <b2.temp@gmx.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |pull

--- Comment #3 from Basile-z <b2.temp@gmx.com> ---
pull : https://github.com/dlang/dmd/pull/9365

--
February 16, 2019
https://issues.dlang.org/show_bug.cgi?id=15875

Dlang Bot <dlang-bot@dlang.rocks> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED

--- Comment #4 from Dlang Bot <dlang-bot@dlang.rocks> ---
dlang/dmd pull request #9365 "fix issue 15875 - case of undetected circular reference in function parameter" was merged:

https://github.com/dlang/dmd/pull/9365

--
June 16, 2019
https://issues.dlang.org/show_bug.cgi?id=15875

--- Comment #5 from Dlang Bot <dlang-bot@dlang.rocks> ---
dlang/dmd pull request #10046 "[dmd-cxx] Backport semanticRun refactoring and recursive semantic SEGV bug fixes" was merged into dmd-cxx:

- d79274a3f3bef5873821f2017a13dff6ac6077a0 by Basile Burg:
  fix issue 15875 - case of undetected circular reference in function parameter

https://github.com/dlang/dmd/pull/10046

--
March 21, 2020
https://issues.dlang.org/show_bug.cgi?id=15875

Basile-z <b2.temp@gmx.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|b2.temp@gmx.com             |

--