Make sure incomplete array uses the correct id

svorenova · svorenova · commit 3b73b990cd66 · 2018-08-22T15:52:04.000+01:00
diff --git a/src/util/std_types.h b/src/util/std_types.h
@@ -1051,8 +1051,8 @@ class incomplete_array_typet:public type_with_subtypet
   {
   }
 
-  explicit incomplete_array_typet(const typet &_subtype):
-    type_with_subtypet(ID_array, _subtype)
+  explicit incomplete_array_typet(const typet &_subtype)
+    : type_with_subtypet(ID_incomplete_array, _subtype)
   {
   }
 };
@@ -1063,7 +1063,7 @@ class incomplete_array_typet:public type_with_subtypet
 template <>
 inline bool can_cast_type<incomplete_array_typet>(const typet &type)
 {
-  return type.id() == ID_array;
+  return type.id() == ID_incomplete_array;
 }
 
 /// \brief Cast a typet to an \ref incomplete_array_typet

Original file line number	Diff line number	Diff line change
`@@ -1051,8 +1051,8 @@ class incomplete_array_typet:public type_with_subtypet`
`1051`	`1051`	`{`
`1052`	`1052`	`}`
`1053`	`1053`
`1054`		`- explicit incomplete_array_typet(const typet &_subtype):`
`1055`		`- type_with_subtypet(ID_array, _subtype)`
	`1054`	`+ explicit incomplete_array_typet(const typet &_subtype)`
	`1055`	`+ : type_with_subtypet(ID_incomplete_array, _subtype)`
`1056`	`1056`	`{`
`1057`	`1057`	`}`
`1058`	`1058`	`};`
`@@ -1063,7 +1063,7 @@ class incomplete_array_typet:public type_with_subtypet`
`1063`	`1063`	`template <>`
`1064`	`1064`	`inline bool can_cast_type<incomplete_array_typet>(const typet &type)`
`1065`	`1065`	`{`
`1066`		`- return type.id() == ID_array;`
	`1066`	`+ return type.id() == ID_incomplete_array;`
`1067`	`1067`	`}`
`1068`	`1068`
`1069`	`1069`	`/// \brief Cast a typet to an \ref incomplete_array_typet`