home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / gnu / g / bug / 2105 < prev    next >
Encoding:
Text File  |  1993-01-01  |  4.3 KB  |  163 lines
  1. Newsgroups: gnu.g++.bug
  2. Path: sparky!uunet!cis.ohio-state.edu!kelvin.seas.virginia.edu!gs4t
  3. From: gs4t@kelvin.seas.virginia.edu (Gnanasekaran  Swaminathan)
  4. Subject: Fix for class local enum bug
  5. Message-ID: <9212310357.AA48953@kelvin.seas.Virginia.EDU>
  6. Sender: gnulists@ai.mit.edu
  7. Organization: GNUs Not Usenet
  8. Distribution: gnu
  9. Date: Wed, 30 Dec 1992 17:57:38 GMT
  10. Approved: bug-g++@prep.ai.mit.edu
  11. Lines: 150
  12.  
  13. A patch that fixes the following two bugs in gcc-2.3.3 follows:
  14.  
  15. Bug1: gcc2.3.3 does not let member functions of nested classes
  16.       to define its own local classes and enum.
  17.         
  18. Bug2: gcc2.3.3 does not define a class local enum as soon as it is
  19.       supposed to be defined. See ARM p114 for details.
  20.      
  21. example:
  22. struct A {
  23.   struct B {
  24.     int f() {
  25.       enum { a=1, b=3 }; // Bug1. fails without the patch
  26.       struct C { int j; }; // Bug1. fails without the patch
  27.       return a*b;
  28.     }
  29.   };
  30.   enum { a = 3, b = a*4 }; // Bug2. fails without the patch
  31. };
  32.  
  33. ChangeLog:
  34.  
  35. Wed Dec 30 22:22:32 EST 1992 Gnanasekaran Swaminathan (gs4t@virginia.edu)
  36.  
  37.     * cp-decl.c (lookup_nested_type): Next context is RECORD_TYPE
  38.     in case of local classes in member functions of nested classes.
  39.     So, get the type decl from TREE_CHAIN (context) as the next context.
  40.     (classlocal_enum_decls): A new static variable is introduced.
  41.     (start_enum): Tag of enumtype is made addressable as soon as one is
  42.     pushed. (build_enumerator): A class local enumerator is declared
  43.     as soon as the name and its initializer are seen (cf. ARM p114).
  44.     (grok_enum_decls): Cleaned up as most of its code are moved to
  45.     build_enumerator now.
  46.  
  47. *** cp-decl.c.orig    Mon Dec 28 18:33:18 1992
  48. --- cp-decl.c    Wed Dec 30 22:08:12 1992
  49. ***************
  50. *** 3753,3756 ****
  51. --- 3753,3758 ----
  52.             return TREE_VALUE (match);
  53.           context = DECL_CONTEXT (context);
  54. +         if (context && TREE_CODE (context) == RECORD_TYPE)
  55. +         context = TREE_CHAIN (context);
  56.         }
  57.         break;
  58. ***************
  59. *** 9390,9393 ****
  60. --- 9392,9397 ----
  61.   }
  62.   
  63. + static tree classlocal_enum_decls = NULL_TREE;
  64. + 
  65.   /* Begin compiling the definition of an enumeration type.
  66.      NAME is its name (or null if anonymous).
  67. ***************
  68. *** 9415,9420 ****
  69. --- 9419,9429 ----
  70.         enumtype = make_node (ENUMERAL_TYPE);
  71.         pushtag (name, enumtype);
  72. + 
  73. +       if (current_class_type != NULL_TREE)
  74. +       TREE_ADDRESSABLE (b->tags) = 1;
  75.       }
  76.   
  77. +   classlocal_enum_decls = NULL_TREE;
  78. + 
  79.     if (TYPE_VALUES (enumtype) != 0)
  80.       {
  81. ***************
  82. *** 9588,9591 ****
  83. --- 9597,9614 ----
  84.       }
  85.   
  86. +   if (current_class_type != NULL_TREE)
  87. +     {
  88. +       /* class local enum declaration */
  89. +       decl = build_lang_field_decl (CONST_DECL, name, integer_type_node);
  90. +       DECL_INITIAL (decl) = value;
  91. +       TREE_READONLY (decl) = 1;
  92. +       pushdecl_class_level (decl);
  93. + 
  94. +       /* chain the decl in the tree classlocal_enum_decls
  95. +      See grok_enum_decls () where it is used and reset. */
  96. +       TREE_CHAIN (decl) = classlocal_enum_decls;
  97. +       classlocal_enum_decls = decl;
  98. +     }
  99. + 
  100.     /* Set basis for default for next value.  */
  101.     enum_next_value = build_binary_op_nodefault (PLUS_EXPR, value,
  102. ***************
  103. *** 9601,9634 ****
  104.        tree type, decl;
  105.   {
  106. !   struct binding_level *b = class_binding_level;
  107. !   tree tag = NULL_TREE;
  108. !   tree values;
  109.   
  110. !   while (b)
  111. !     {
  112. !       tag = value_member (type, b->tags);
  113. !       if (tag)
  114. !     break;
  115. !       b = b->level_chain;
  116. !     }
  117.   
  118. !   if (b == 0 || (b != class_binding_level) || TREE_ADDRESSABLE (tag))
  119.       return decl;
  120. !   else
  121. !     TREE_ADDRESSABLE (tag) = 1;
  122. ! 
  123. !   values = TYPE_VALUES (type);
  124. !   while (values)
  125.       {
  126. !       /* Create a declaration for the enum value name.  */
  127. !       tree next = build_lang_field_decl (CONST_DECL, TREE_PURPOSE (values), type);
  128. !       TREE_READONLY (next) = 1;
  129. !       DECL_INITIAL (next) = TREE_VALUE (values);
  130. !       TREE_CHAIN (next) = decl;
  131. !       decl = next;
  132. !       pushdecl_class_level (decl);
  133. !       values = TREE_CHAIN (values);
  134.       }
  135. !   return decl;
  136.   }
  137.   
  138. --- 9624,9646 ----
  139.        tree type, decl;
  140.   {
  141. !   tree d, ret;
  142.   
  143. !   d = ret = classlocal_enum_decls;
  144. !   classlocal_enum_decls = NULL_TREE;
  145.   
  146. !   if (d == 0)
  147.       return decl;
  148. !   
  149. !   for (;;)
  150.       {
  151. !       TREE_TYPE (d) = type;
  152. !       if (TREE_CHAIN (d) == NULL_TREE)
  153. !     {
  154. !       TREE_CHAIN (d) = decl;
  155. !       break;
  156. !         }
  157. !       d = TREE_CHAIN (d);
  158.       }
  159. !   return ret;
  160.   }
  161.   
  162.  
  163.