Use can_cast instead of direct id check

svorenova · svorenova · commit f0dbb8b0570c · 2018-08-22T15:40:48.000+01:00
diff --git a/src/util/type_eq.cpp b/src/util/type_eq.cpp
@@ -32,7 +32,7 @@ bool type_eq(const typet &type1, const typet &type2, const namespacet &ns)
   if(type1==type2)
     return true;
 
-  if(type1.id() == ID_symbol_type)
+  if(can_cast_type<symbol_typet>(type1))
   {
     const symbolt &symbol = ns.lookup(to_symbol_type(type1));
     if(!symbol.is_type)
@@ -41,7 +41,7 @@ bool type_eq(const typet &type1, const typet &type2, const namespacet &ns)
     return type_eq(symbol.type, type2, ns);
   }
 
-  if(type2.id() == ID_symbol_type)
+  if(can_cast_type<symbol_typet>(type2))
   {
     const symbolt &symbol = ns.lookup(to_symbol_type(type2));
     if(!symbol.is_type)

Original file line number	Diff line number	Diff line change
`@@ -32,7 +32,7 @@ bool type_eq(const typet &type1, const typet &type2, const namespacet &ns)`
`32`	`32`	`if(type1==type2)`
`33`	`33`	`return true;`
`34`	`34`
`35`		`- if(type1.id() == ID_symbol_type)`
	`35`	`+ if(can_cast_type<symbol_typet>(type1))`
`36`	`36`	`{`
`37`	`37`	`const symbolt &symbol = ns.lookup(to_symbol_type(type1));`
`38`	`38`	`if(!symbol.is_type)`
`@@ -41,7 +41,7 @@ bool type_eq(const typet &type1, const typet &type2, const namespacet &ns)`
`41`	`41`	`return type_eq(symbol.type, type2, ns);`
`42`	`42`	`}`
`43`	`43`
`44`		`- if(type2.id() == ID_symbol_type)`
	`44`	`+ if(can_cast_type<symbol_typet>(type2))`
`45`	`45`	`{`
`46`	`46`	`const symbolt &symbol = ns.lookup(to_symbol_type(type2));`
`47`	`47`	`if(!symbol.is_type)`