Fix order of operands in extractbits_exprt

tautschnig · tautschnig · commit c33266a6f8a6 · 2017-05-25T19:28:34.000+01:00
This constructor had not been used thus far, thus this bug had gone unnoticed.
diff --git a/src/util/std_expr.h b/src/util/std_expr.h
@@ -2315,7 +2315,7 @@ class extractbits_exprt:public exprt
     const exprt &_lower,
     const typet &_type):exprt(ID_extractbits, _type)
   {
-    copy_to_operands(_src, _lower, _upper);
+    copy_to_operands(_src, _upper, _lower);
   }
 
   extractbits_exprt(

Original file line number	Diff line number	Diff line change
`@@ -2315,7 +2315,7 @@ class extractbits_exprt:public exprt`
`2315`	`2315`	`const exprt &_lower,`
`2316`	`2316`	`const typet &_type):exprt(ID_extractbits, _type)`
`2317`	`2317`	`{`
`2318`		`- copy_to_operands(_src, _lower, _upper);`
	`2318`	`+ copy_to_operands(_src, _upper, _lower);`
`2319`	`2319`	`}`
`2320`	`2320`
`2321`	`2321`	`extractbits_exprt(`