C++: introduce template_parameter_symbol_type

Daniel Kroening · Daniel Kroening · commit fc58bad6a9db · 2019-01-10T11:13:02.000Z
diff --git a/src/cpp/cpp_typecheck_template.cpp b/src/cpp/cpp_typecheck_template.cpp
@@ -774,7 +774,7 @@ cpp_scopet &cpp_typecheckt::typecheck_template_parameters(
     // is it a type or not?
     if(declaration.get_bool(ID_is_type))
     {
-      parameter = exprt(ID_type, symbol_typet(identifier));
+      parameter = type_exprt(template_parameter_symbol_typet(identifier));
       parameter.type().add_source_location()=declaration.find_source_location();
     }
     else

Original file line number	Diff line number	Diff line change
`@@ -774,7 +774,7 @@ cpp_scopet &cpp_typecheckt::typecheck_template_parameters(`
`774`	`774`	`// is it a type or not?`
`775`	`775`	`if(declaration.get_bool(ID_is_type))`
`776`	`776`	`{`
`777`		`- parameter = exprt(ID_type, symbol_typet(identifier));`
	`777`	`+ parameter = type_exprt(template_parameter_symbol_typet(identifier));`
`778`	`778`	`parameter.type().add_source_location()=declaration.find_source_location();`
`779`	`779`	`}`
`780`	`780`	`else`