diff options
| author | Max Kazantsev <max.kazantsev@azul.com> | 2018-08-13 07:58:19 +0000 |
|---|---|---|
| committer | Max Kazantsev <max.kazantsev@azul.com> | 2018-08-13 07:58:19 +0000 |
| commit | 5c490b49c3a0cc190a010f21c7d4137fa9ade8d3 (patch) | |
| tree | 0aee854b8b25bf3b8fd8ba8a6b6c72c5c2a97a4c /clang/lib/StaticAnalyzer/Core/ConstraintManager.cpp | |
| parent | cacf12a149a2d013acfd560aba46b271c1dc860b (diff) | |
| download | bcm5719-llvm-5c490b49c3a0cc190a010f21c7d4137fa9ade8d3.tar.gz bcm5719-llvm-5c490b49c3a0cc190a010f21c7d4137fa9ade8d3.zip | |
[GuardWidening] Widen very likely non-taken br instructions
This is a second part of D49974 that handles widening of conditional branches that
have very likely `false` branch.
Differential Revision: https://reviews.llvm.org/D50040
Reviewed By: reames
llvm-svn: 339537
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/ConstraintManager.cpp')
0 files changed, 0 insertions, 0 deletions
