Make sure incomplete array uses the correct id

svorenova · svorenova · commit 6a64c7516578 · 2018-08-22T15:22:51.000+01:00
diff --git a/src/util/std_types.h b/src/util/std_types.h
@@ -1087,8 +1087,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)
   {
   }
 };
@@ -1099,7 +1099,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
`@@ -1087,8 +1087,8 @@ class incomplete_array_typet:public type_with_subtypet`
`1087`	`1087`	`{`
`1088`	`1088`	`}`
`1089`	`1089`
`1090`		`- explicit incomplete_array_typet(const typet &_subtype):`
`1091`		`- type_with_subtypet(ID_array, _subtype)`
	`1090`	`+ explicit incomplete_array_typet(const typet &_subtype)`
	`1091`	`+ : type_with_subtypet(ID_incomplete_array, _subtype)`
`1092`	`1092`	`{`
`1093`	`1093`	`}`
`1094`	`1094`	`};`
`@@ -1099,7 +1099,7 @@ class incomplete_array_typet:public type_with_subtypet`
`1099`	`1099`	`template <>`
`1100`	`1100`	`inline bool can_cast_type<incomplete_array_typet>(const typet &type)`
`1101`	`1101`	`{`
`1102`		`- return type.id() == ID_array;`
	`1102`	`+ return type.id() == ID_incomplete_array;`
`1103`	`1103`	`}`
`1104`	`1104`
`1105`	`1105`	`/// \brief Cast a typet to an \ref incomplete_array_typet`