Peter Collingbourne 206040e6b5 [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.

llvm-svn: 216255

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

..

Inputs

DataFlowSanitizer: Implement trampolines for function pointers passed to custom functions.

2013-08-27 22:09:06 +00:00

abilist.ll

[dfsan] Treat vararg custom functions like unimplemented functions.

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

args-unreachable-bb.ll

DataFlowSanitizer: Prefix the name of each instrumented function with "dfs$".

2013-08-22 20:08:08 +00:00

arith.ll

DataFlowSanitizer: correctly combine labels in the case where they are equal.

2013-08-23 18:45:06 +00:00

call.ll

DataFlowSanitizer: Prefix the name of each instrumented function with "dfs$".

2013-08-22 20:08:08 +00:00

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

DataFlowSanitizer: Prefix the name of each instrumented function with "dfs$".

2013-08-22 20:08:08 +00:00

prefix-rename.ll

[dfsan] Handle bitcast aliases.

2014-07-10 01:30:39 +00:00

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