+// copyValue - This method should be used whenever a preexisting value in the
+// program is copied or cloned, introducing a new value. Note that it is ok for
+// clients that use this method to introduce the same value multiple times: if
+// the tracker already knows about a value, it will ignore the request.
+//
+void AliasSetTracker::copyValue(Value *From, Value *To) {
+ // Notify the alias analysis implementation that this value is copied.
+ AA.copyValue(From, To);
+
+ // First, look up the PointerRec for this pointer.
+ hash_map<Value*, AliasSet::PointerRec>::iterator I = PointerMap.find(From);
+ if (I == PointerMap.end() || !I->second.hasAliasSet())
+ return; // Noop
+
+ AliasSet::HashNodePair &Entry = getEntryFor(To);
+ if (Entry.second.hasAliasSet()) return; // Already in the tracker!
+
+ // Add it to the alias set it aliases...
+ AliasSet *AS = I->second.getAliasSet(*this);
+ AS->addPointer(*this, Entry, I->second.getSize(), true);
+}
+
+