diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2019-08-13 17:15:42 +0000 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-08-13 17:15:42 +0000 |
| commit | 2a4f26b4c28aaf9307e690b2f743ffcde5183b9e (patch) | |
| tree | cf7dbc2bff0e1476b84db56aa51b188c82324dad /lldb/packages/Python/lldbsuite/test/expression_command/timeout/TestCallWithTimeout.py | |
| parent | dde10cd7a968e57598726347b323348eceffeb05 (diff) | |
| download | bcm5719-llvm-2a4f26b4c28aaf9307e690b2f743ffcde5183b9e.tar.gz bcm5719-llvm-2a4f26b4c28aaf9307e690b2f743ffcde5183b9e.zip | |
[ValueTracking] Improve reverse assumption inference
Use isGuaranteedToTransferExecutionToSuccessor() instead of
isSafeToSpeculativelyExecute() when seeing whether we can propagate
the information in an assume backwards in isValidAssumeForContext().
The latter is more general - it also allows arbitrary loads/stores -
and is also the condition we want: if our assume is guaranteed to
execute, its condition not holding would be UB.
Original patch by arielb1.
Differential Revision: https://reviews.llvm.org/D37215
llvm-svn: 368723
Diffstat (limited to 'lldb/packages/Python/lldbsuite/test/expression_command/timeout/TestCallWithTimeout.py')
0 files changed, 0 insertions, 0 deletions
