diff options
| author | Artur Pilipenko <apilipenko@azulsystems.com> | 2016-08-10 13:08:34 +0000 |
|---|---|---|
| committer | Artur Pilipenko <apilipenko@azulsystems.com> | 2016-08-10 13:08:34 +0000 |
| commit | e171ea8a33198c3b257c110a5fecc97acdbb5b52 (patch) | |
| tree | d10fcd7614d9ed04a7270751c5feb03e83b16ef9 /clang-tools-extra/test/clang-rename/UserDefinedConversion.cpp | |
| parent | dfc1b900aca0fd4aa4b8ccf45f407ea96c5bdaff (diff) | |
| download | bcm5719-llvm-e171ea8a33198c3b257c110a5fecc97acdbb5b52.tar.gz bcm5719-llvm-e171ea8a33198c3b257c110a5fecc97acdbb5b52.zip | |
Teach CorrelatedValuePropagation to mark adds as no wrap
This is a resubmission of previously reverted r277592. It was hitting overly strong assertion in getConstantRange which was relaxed in r278217.
Use LVI to prove that adds do not wrap. The change is motivated by https://llvm.org/bugs/show_bug.cgi?id=28620 bug and it's the first step to fix that problem.
Reviewed By: sanjoy
Differential Revision: http://reviews.llvm.org/D23059
llvm-svn: 278220
Diffstat (limited to 'clang-tools-extra/test/clang-rename/UserDefinedConversion.cpp')
0 files changed, 0 insertions, 0 deletions
