diff options
| author | Max Kazantsev <max.kazantsev@azul.com> | 2018-08-06 06:11:36 +0000 |
|---|---|---|
| committer | Max Kazantsev <max.kazantsev@azul.com> | 2018-08-06 06:11:36 +0000 |
| commit | 34b0666be9e62b328c6c2adb7c649ea0656c8a7a (patch) | |
| tree | 54ac7b7f001d8f7979b74f20e02d46b17607422d /lldb/source/Utility/ConstString.cpp | |
| parent | 3bec3abf3877c2187582b18cdd0c4a88415139ed (diff) | |
| download | bcm5719-llvm-34b0666be9e62b328c6c2adb7c649ea0656c8a7a.tar.gz bcm5719-llvm-34b0666be9e62b328c6c2adb7c649ea0656c8a7a.zip | |
[ValueTracking] Teach isKnownNonNullFromDominatingCondition about AND
`isKnownNonNullFromDominatingCondition` is able to prove non-null basing on `br` or `guard`
by `%p != null` condition, but is unable to do so basing on `(%p != null) && %other_cond`.
This patch allows it to do so.
Differential Revision: https://reviews.llvm.org/D50172
Reviewed By: reames
llvm-svn: 338990
Diffstat (limited to 'lldb/source/Utility/ConstString.cpp')
0 files changed, 0 insertions, 0 deletions
