[dfsan] Fix non-determinism bug in non-zero label check annotator.
authorPeter Collingbourne <peter@pcc.me.uk>
Fri, 22 Aug 2014 01:18:18 +0000 (01:18 +0000)
committerPeter Collingbourne <peter@pcc.me.uk>
Fri, 22 Aug 2014 01:18:18 +0000 (01:18 +0000)
commitf5377021c55e7ffc158488fb94d580772573d978
treede241a0bb3a7d298f25542658e71354f2cbf61dd
parent54056f1760015f75156f344bf3b4766954d91b99
[dfsan] Fix non-determinism bug in non-zero label check annotator.

We now use a std::vector instead of a DenseSet to store the list of
label checks so that we can iterate over it deterministically.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@216255 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transforms/Instrumentation/DataFlowSanitizer.cpp
test/Instrumentation/DataFlowSanitizer/debug-nonzero-labels.ll