Fix copy&paste error in same_set

tautschnig · tautschnig · commit db8f52de9673 · 2017-11-28T13:24:55.000Z
Follow-up for da6fa5d
diff --git a/regression/goto-instrument/show-escape-analysis1/test.desc b/regression/goto-instrument/show-escape-analysis1/test.desc
@@ -5,4 +5,7 @@ main.c
 ^SIGNAL=0$
 ^Aliases:.*(malloc.*leaked|leaked.*malloc)
 --
+^Aliases:.*(leaked1.*leaked2|leaked1.*leaked2)
 ^warning: ignoring
+--
+leaked1 and leaked2 cannot alias
diff --git a/src/util/union_find.h b/src/util/union_find.h
@@ -169,7 +169,7 @@ class union_find final
   bool same_set(const T &a, const T &b) const
   {
     const optionalt<number_type> na = numbers.get_number(a);
-    const optionalt<number_type> nb = numbers.get_number(a);
+    const optionalt<number_type> nb = numbers.get_number(b);
 
     if(na && nb)
       return uuf.same_set(*na, *nb);

Original file line number	Diff line number	Diff line change
`@@ -169,7 +169,7 @@ class union_find final`
`169`	`169`	`bool same_set(const T &a, const T &b) const`
`170`	`170`	`{`
`171`	`171`	`const optionalt<number_type> na = numbers.get_number(a);`
`172`		`- const optionalt<number_type> nb = numbers.get_number(a);`
	`172`	`+ const optionalt<number_type> nb = numbers.get_number(b);`
`173`	`173`
`174`	`174`	`if(na && nb)`
`175`	`175`	`return uuf.same_set(na, nb);`