www.digitalmars.com         C & C++   DMDScript  

digitalmars.D.bugs - [Issue 11552] New: Missing label is not caught during semantic

reply d-bugmail puremagic.com writes:
https://d.puremagic.com/issues/show_bug.cgi?id=11552

           Summary: Missing label is not caught during semantic
           Product: D
           Version: D2
          Platform: All
        OS/Version: All
            Status: NEW
          Keywords: accepts-invalid, CTFE, ice
          Severity: normal
          Priority: P2
         Component: DMD
        AssignedTo: yebblies gmail.com
        ReportedBy: yebblies gmail.com
            Blocks: 602


--- Comment #0 from yebblies <yebblies gmail.com> 2013-11-19 22:18:29 EST ---
This compiles with no errors with -o-

void main()
{
    goto label;
}

And this ices:

int test()
{
    goto label;
    return 1;
}
static assert(test());

-- 
Configure issuemail: https://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
Nov 19 2013
next sibling parent d-bugmail puremagic.com writes:
https://d.puremagic.com/issues/show_bug.cgi?id=11552


yebblies <yebblies gmail.com> changed:

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


--- Comment #1 from yebblies <yebblies gmail.com> 2013-11-19 23:06:35 EST ---
https://github.com/D-Programming-Language/dmd/pull/2825

-- 
Configure issuemail: https://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
Nov 19 2013
prev sibling next sibling parent d-bugmail puremagic.com writes:
https://d.puremagic.com/issues/show_bug.cgi?id=11552


bearophile_hugs eml.cc changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bearophile_hugs eml.cc


--- Comment #2 from bearophile_hugs eml.cc 2013-11-19 04:46:52 PST ---
(In reply to comment #1)
 https://github.com/D-Programming-Language/dmd/pull/2825
Related to labels there are also Issue 6449 and Issue 4902 . -- Configure issuemail: https://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Nov 19 2013
prev sibling next sibling parent d-bugmail puremagic.com writes:
https://d.puremagic.com/issues/show_bug.cgi?id=11552



--- Comment #3 from yebblies <yebblies gmail.com> 2013-11-20 00:09:15 EST ---
(In reply to comment #2)
 (In reply to comment #1)
 https://github.com/D-Programming-Language/dmd/pull/2825
Related to labels there are also Issue 6449 and Issue 4902 .
When I'm done with the compiler D port, we should take all of these warning enhancements that are never going to make it into the compiler, and make dlint. You can come up with the test cases, and I'll do the compiler stuff. Sound good? -- Configure issuemail: https://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Nov 19 2013
prev sibling next sibling parent d-bugmail puremagic.com writes:
https://d.puremagic.com/issues/show_bug.cgi?id=11552



--- Comment #4 from bearophile_hugs eml.cc 2013-11-19 07:15:04 PST ---
(In reply to comment #3)

 When I'm done with the compiler D port, we should take all of these warning
 enhancements that are never going to make it into the compiler, and make dlint.
  You can come up with the test cases, and I'll do the compiler stuff.  Sound
 good?
Sounds good :) -- Configure issuemail: https://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Nov 19 2013
prev sibling next sibling parent d-bugmail puremagic.com writes:
https://d.puremagic.com/issues/show_bug.cgi?id=11552



--- Comment #5 from github-bugzilla puremagic.com 2013-11-19 23:42:25 PST ---
Commits pushed to master at https://github.com/D-Programming-Language/dmd

https://github.com/D-Programming-Language/dmd/commit/115311541146ad57449a5e6ff8ecceffa670a0cb
Fix Issue 11552 - Missing label is not caught during semantic

https://github.com/D-Programming-Language/dmd/commit/25552cf6dfcc5aaa530fd0e786864f952815449e
Merge pull request #2825 from yebblies/issue11552

Issue 11552 - Missing label is not caught during semantic

-- 
Configure issuemail: https://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
Nov 19 2013
prev sibling parent d-bugmail puremagic.com writes:
https://d.puremagic.com/issues/show_bug.cgi?id=11552


Walter Bright <bugzilla digitalmars.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |bugzilla digitalmars.com
         Resolution|                            |FIXED


-- 
Configure issuemail: https://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
Nov 19 2013