| commit | d9bd97c13210f6d20edf4e95048af133ddb327ae | [log] [tgz] |
|---|---|---|
| author | Max Kazantsev <max.kazantsev@azul.com> | Thu Feb 14 11:10:29 2019 +0000 |
| committer | Max Kazantsev <max.kazantsev@azul.com> | Thu Feb 14 11:10:29 2019 +0000 |
| tree | 9af1325f18e9b2d01f29dadbf377eec69de00ba8 | |
| parent | e3e0d21b701d05baef5d3c8187b2319871d659c6 [diff] |
Make widenable condition transparent for MemoryWriteTracking Side effects of widenable condition intrinsic are modelled via InaccessibleMemOnly, and there is no way to say that it isn't really writing any memory. This patch teaches MemoryWriteTracking ignore this intrinsic. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@354021 91177308-0d34-0410-b5e6-96231b3b80d8