diff options
| author | Anna Zaks <ganna@apple.com> | 2016-01-06 00:32:52 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2016-01-06 00:32:52 +0000 |
| commit | ac4c8a639cda8bc98dfb7f97f6e056db0ffeab59 (patch) | |
| tree | 4bf9dc1e1f04ef1d57b521298f5dbdcf92de06de /llvm/lib/CodeGen/MachineCSE.cpp | |
| parent | c9f16fe48c40e7683d0029b65090d0007414d7af (diff) | |
| download | llvm-ac4c8a639cda8bc98dfb7f97f6e056db0ffeab59.zip llvm-ac4c8a639cda8bc98dfb7f97f6e056db0ffeab59.tar.gz llvm-ac4c8a639cda8bc98dfb7f97f6e056db0ffeab59.tar.bz2 | |
[analyzer] Suppress reports coming from std::__independent_bits_engine
The analyzer reports a shift by a negative value in the constructor. The bug can
be easily triggered by calling std::random_shuffle on a vector
(<rdar://problem/19658126>).
(The shift by a negative value is reported because __w0_ gets constrained to
63 by the conditions along the path:__w0_ < _WDt && __w0_ >= _WDt-1,
where _WDt is 64. In normal execution, __w0_ is not 63, it is 1 and there is
no overflow. The path is infeasible, but the analyzer does not know about that.)
llvm-svn: 256886
Diffstat (limited to 'llvm/lib/CodeGen/MachineCSE.cpp')
0 files changed, 0 insertions, 0 deletions