equal
deleted
inserted
replaced
129 /*********************/ |
129 /*********************/ |
130 /* B 1.4 - Variables */ |
130 /* B 1.4 - Variables */ |
131 /*********************/ |
131 /*********************/ |
132 void *visit(symbolic_variable_c *symbol) { |
132 void *visit(symbolic_variable_c *symbol) { |
133 unsigned int vartype = search_varfb_instance_type->get_vartype(symbol); |
133 unsigned int vartype = search_varfb_instance_type->get_vartype(symbol); |
134 if (vartype == search_var_instance_decl_c::external_vt) { |
134 if (vartype == search_var_instance_decl_c::external_vt || vartype == search_var_instance_decl_c::located_vt) { |
135 s4o.print("*("); |
135 s4o.print("*("); |
136 generate_cc_base_c::visit(symbol); |
136 generate_cc_base_c::visit(symbol); |
137 s4o.print(")"); |
137 s4o.print(")"); |
138 } |
138 } |
139 else { |
139 else { |