[DFSan] Change the way labels are propagated when comparing memory through libc functions.

Differential Revision: http://llvm-reviews.chandlerc.com/D2252