| commit | 110748bbb4a290e10e3d8246edd717bcfe3ca380 | [log] [tgz] |
|---|---|---|
| author | Peter Collingbourne <peter@pcc.me.uk> | Tue Jul 15 22:13:19 2014 +0000 |
| committer | Peter Collingbourne <peter@pcc.me.uk> | Tue Jul 15 22:13:19 2014 +0000 |
| tree | 99c9bcaec7884741358e85e45b038a0fb4e71660 | |
| parent | 427c5cb4f9887097578704423d740bbcf366f539 [diff] |
[dfsan] Introduce further optimization to reduce the number of union queries. Specifically, do not compute a union if it is statically known that one shadow set subsumes the other. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@213100 91177308-0d34-0410-b5e6-96231b3b80d8