don't rely on index expressions to be vector or arrays

Daniel Kroening · Daniel Kroening · commit 3a06eda24973 · 2017-09-24T14:04:58.000+01:00
diff --git a/src/analyses/goto_rw.cpp b/src/analyses/goto_rw.cpp
@@ -253,13 +253,15 @@ void rw_range_sett::get_objects_index(
     sub_size=
       to_range_spect(pointer_offset_bits(vector_type.subtype(), ns));
   }
-  else
+  else if(type.id()==ID_array)
   {
     const array_typet &array_type=to_array_type(type);
 
     sub_size=
       to_range_spect(pointer_offset_bits(array_type.subtype(), ns));
   }
+  else
+    return;
 
   const exprt simp_index=simplify_expr(expr.index(), ns);
 

Original file line number	Diff line number	Diff line change
`@@ -253,13 +253,15 @@ void rw_range_sett::get_objects_index(`
`253`	`253`	`sub_size=`
`254`	`254`	`to_range_spect(pointer_offset_bits(vector_type.subtype(), ns));`
`255`	`255`	`}`
`256`		`- else`
	`256`	`+ else if(type.id()==ID_array)`
`257`	`257`	`{`
`258`	`258`	`const array_typet &array_type=to_array_type(type);`
`259`	`259`
`260`	`260`	`sub_size=`
`261`	`261`	`to_range_spect(pointer_offset_bits(array_type.subtype(), ns));`
`262`	`262`	`}`
	`263`	`+ else`
	`264`	`+ return;`
`263`	`265`
`264`	`266`	`const exprt simp_index=simplify_expr(expr.index(), ns);`
`265`	`267`