need to check lower bound on index in rw_range_sett::get_objects_byte_extract

Daniel Kroening · Daniel Kroening · commit 3c4ba04cdf28 · 2018-08-22T17:10:20.000+01:00
diff --git a/src/analyses/goto_rw.cpp b/src/analyses/goto_rw.cpp
@@ -145,7 +145,8 @@ void rw_range_sett::get_objects_byte_extract(
   else
   {
     index*=8;
-    if(index>=pointer_offset_bits(be.op().type(), ns))
+    if(index<0 ||
+       index>=pointer_offset_bits(be.op().type(), ns))
       return;
 
     endianness_mapt map(

Original file line number	Diff line number	Diff line change
`@@ -145,7 +145,8 @@ void rw_range_sett::get_objects_byte_extract(`
`145`	`145`	`else`
`146`	`146`	`{`
`147`	`147`	`index*=8;`
`148`		`- if(index>=pointer_offset_bits(be.op().type(), ns))`
	`148`	`+ if(index<0 \|\|`
	`149`	`+ index>=pointer_offset_bits(be.op().type(), ns))`
`149`	`150`	`return;`
`150`	`151`
`151`	`152`	`endianness_mapt map(`