Peter Collingbourne f5377021c5 [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

2014-08-22 01:18:18 +00:00

..

Inputs

…

abilist.ll

[dfsan] Treat vararg custom functions like unimplemented functions.

2014-08-20 01:40:23 +00:00

args-unreachable-bb.ll

…

arith.ll

…

call.ll

…

debug-nonzero-labels.ll

[dfsan] Fix non-determinism bug in non-zero label check annotator.

2014-08-22 01:18:18 +00:00

load.ll

[dfsan] Correctly handle loads and stores of zero size.

2014-08-01 21:18:18 +00:00

memset.ll

…

prefix-rename.ll

…

store.ll

[dfsan] Correctly handle loads and stores of zero size.

2014-08-01 21:18:18 +00:00

union-large.ll

[dfsan] Try not to create too many additional basic blocks in functions which

2014-08-06 00:33:40 +00:00

union.ll

[dfsan] Introduce further optimization to reduce the number of union queries.

2014-07-15 22:13:19 +00:00