Update src/analyses/local_may_alias.cpp

Daniel Kroening · owen-jones-diffblue · web-flow · commit 458c3c2a416d · 2019-07-31T15:24:31.000+01:00
Co-Authored-By: owen-jones-diffblue &lt;owen.jones@diffblue.com&gt;
diff --git a/src/analyses/local_may_alias.cpp b/src/analyses/local_may_alias.cpp
@@ -278,7 +278,7 @@ void local_may_aliast::get_rec(
   }
   else if(rhs.id()==ID_minus)
   {
-    const auto &op0 = to_minus_expr(rhs);
+    const auto &op0 = to_minus_expr(rhs).op0();
 
     if(op0.type().id() == ID_pointer)
     {

Original file line number	Diff line number	Diff line change
`@@ -278,7 +278,7 @@ void local_may_aliast::get_rec(`
`278`	`278`	`}`
`279`	`279`	`else if(rhs.id()==ID_minus)`
`280`	`280`	`{`
`281`		`- const auto &op0 = to_minus_expr(rhs);`
	`281`	`+ const auto &op0 = to_minus_expr(rhs).op0();`
`282`	`282`
`283`	`283`	`if(op0.type().id() == ID_pointer)`
`284`	`284`	`{`