KDM 1.1 RTF Avatar
  1. OMG Issue

KDM11 — More than one label on a statement

Open Closed All
  • Key: KDM11-31
  • Legacy Issue Number: 11724
  • Status: closed  
  • Source: KDM Analytics ( Dr. Nikolai Mansourov)
  • Summary:

    More than one label on a statement (weird as it may be).
    a: b: c: x=1; switch case 1: goto a; case 2: goto b; case 3: goto c; }
    -> this can be represented as a sequence of Nops.
  • Reported: KDM 1.0 — Sat, 1 Dec 2007 05:00 GMT
  • Disposition: Resolved — KDM 1.1
  • Disposition Summary:

    This is addressed by the resolution to another issue 11722.
    Disposition: Closed, no change
  • Updated: Fri, 6 Mar 2015 20:57 GMT