use .add_subtype() when adding a subtype

typet::subtype() no longer adds subtypes when none is present; use
.add_subtype() in those cases.

Author: kroening

src/smvlang/parser.y

@@ -281,7 +281,7 @@ type       : ARRAY_Token NUMBER_Token DOTDOT_Token NUMBER_Token OF_Token type
 
              stack_type($$).set(ID_size, end-start+1);
              stack_type($$).set(ID_offset, start);
-             stack_type($$).subtype()=stack_type($6);
+             stack_type($$).add_subtype()=stack_type($6);
            }
            | BOOLEAN_Token { init($$, ID_bool); }
            | '{' enum_list '}' { $$=$2; }

src/verilog/parser.y

@@ -745,7 +745,7 @@ unpacked_dimension_brace:
 packed_dimension:
 	  '[' const_expression TOK_COLON const_expression ']'
 		{ init($$, ID_array);
-		  stack_type($$).subtype().make_nil();
+		  stack_type($$).add_subtype().make_nil();
 		  exprt &range=static_cast<exprt &>(stack_type($$).add(ID_range));
 		  range.add_to_operands(stack_expr($2));
 		  range.add_to_operands(stack_expr($4)); }
@@ -755,7 +755,7 @@ packed_dimension:
 unpacked_dimension:
 	  '[' const_expression TOK_COLON const_expression ']'
 		{ init($$, ID_array);
-		  stack_type($$).subtype().make_nil();
+		  stack_type($$).add_subtype().make_nil();
 		  exprt &range=static_cast<exprt &>(stack_type($$).add(ID_range));
 		  range.add_to_operands(stack_expr($2));
 		  range.add_to_operands(stack_expr($4)); }

src/vhdl/parser.y

@@ -505,7 +505,7 @@ type:
        | TOK_ACCESS type
        {
          init($$, ID_reference);
-         stack_type($$).subtype()=stack_type($2);
+         stack_type($$).add_subtype()=stack_type($2);
        }
        | TOK_TYPE TOK_IDENTIFIER
        {