View mode: basic / threaded / horizontal-split · Log in · Help
January 17, 2013
[Issue 9332] New: [REG][2.061 -> 02.061a] struct constructor taking itself creates "Warning: statement is not reachable"
http://d.puremagic.com/issues/show_bug.cgi?id=9332

          Summary: [REG][2.061 -> 02.061a] struct constructor taking
                   itself creates "Warning: statement is not reachable"
          Product: D
          Version: unspecified
         Platform: All
       OS/Version: All
           Status: NEW
         Severity: regression
         Priority: P2
        Component: DMD
       AssignedTo: nobody@puremagic.com
       ReportedBy: monarchdodra@gmail.com


--- Comment #0 from monarchdodra@gmail.com 2013-01-17 08:04:46 PST ---
Most probably *just* introduced: the packaged 2.061 doesn't create this, but
the latest githead produces the bug.

Produced with dmd with both debug and release. win32 on a win7_64.

//----
Program:
//----
struct S
{
   this(S) // <- Line 3 here
   {
       assert(0, "unreachable?");
   }
}

void main()
{
   S a;
   S b = S(a);
}
//----

//----
Compiler switch:
//----
rdmd -wi -O main.d
//----

//----
Compiler output
//----
main.d(3): Warning: statement is not reachable
//----

The irony here is that running the program gives:
//----
core.exception.AssertError@main.d(5): unreachable?
//----

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
January 17, 2013
[Issue 9332] [REG][2.060 -> 02.061] struct constructor taking itself creates "Warning: statement is not reachable"
http://d.puremagic.com/issues/show_bug.cgi?id=9332


monarchdodra@gmail.com changed:

          What    |Removed                     |Added
----------------------------------------------------------------------------
           Summary|[REG][2.061 -> 02.061a]     |[REG][2.060 -> 02.061]
                  |struct constructor taking   |struct constructor taking
                  |itself creates "Warning:    |itself creates "Warning:
                  |statement is not reachable" |statement is not reachable"


--- Comment #1 from monarchdodra@gmail.com 2013-01-17 08:45:14 PST ---
(In reply to comment #0)
> Most probably *just* introduced: the packaged 2.061 doesn't create this, but
> the latest githead produces the bug.

Sorry, my bad, the problem *does* appear in 2.061, but not in 2.060.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
January 21, 2013
[Issue 9332] [REG][2.060 -> 02.061] struct constructor taking itself creates 'Warning: statement is not reachable'
http://d.puremagic.com/issues/show_bug.cgi?id=9332



--- Comment #2 from Walter Bright <bugzilla@digitalmars.com> 2013-01-21 13:09:36 PST ---
https://github.com/D-Programming-Language/dmd/pull/1528

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
January 21, 2013
[Issue 9332] [REG][2.060 -> 02.061] struct constructor taking itself creates 'Warning: statement is not reachable'
http://d.puremagic.com/issues/show_bug.cgi?id=9332



--- Comment #3 from github-bugzilla@puremagic.com 2013-01-21 15:47:11 PST ---
Commits pushed to master at https://github.com/D-Programming-Language/dmd

https://github.com/D-Programming-Language/dmd/commit/ea5ee9b2c1173b0f824ab19dcdeb2c409e7d613c
fix Issue 9332 statement is not reachable

https://github.com/D-Programming-Language/dmd/commit/f512ab6539a0b94bb342c993a8c50ae888b1f904
Merge pull request #1528 from WalterBright/b25

fix Issue 9332 statement is not reachable

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
January 22, 2013
[Issue 9332] [REG][2.060 -> 02.061] struct constructor taking itself creates 'Warning: statement is not reachable'
http://d.puremagic.com/issues/show_bug.cgi?id=9332


Kenji Hara <k.hara.pg@gmail.com> changed:

          What    |Removed                     |Added
----------------------------------------------------------------------------
          Keywords|                            |pull, rejects-valid
            Status|NEW                         |RESOLVED
        Resolution|                            |FIXED


-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
Top | Discussion index | About this forum | D home