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

[Peter Collingbourne]

  My opinion is that without a specific reason to pick a specific labeling scheme for a particular function with control dependencies, any scheme is as good as any other. (This is also fundamentally the approach taken by the instrumentation pass, which takes into account only data dependencies but is at the mercy of the LLVM optimisers as to whether a particular control dependency becomes a data dependency or vice versa.)

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