diff options
| author | Quentin Colombet <qcolombet@apple.com> | 2013-07-24 20:20:37 +0000 |
|---|---|---|
| committer | Quentin Colombet <qcolombet@apple.com> | 2013-07-24 20:20:37 +0000 |
| commit | bdab227e53dbcf8a55db85c2641c6eaae680bdde (patch) | |
| tree | cae2942df6e7760200923670ae16e370dfc8ef71 /lldb/test/expression_command/call-function/TestCallStdStringFunction.py | |
| parent | 8ed8689132a1be0687fd7d938efd70ab047d97e0 (diff) | |
| download | bcm5719-llvm-bdab227e53dbcf8a55db85c2641c6eaae680bdde.tar.gz bcm5719-llvm-bdab227e53dbcf8a55db85c2641c6eaae680bdde.zip | |
Fix a bug in IfConverter with nested predicates.
Prior to this patch, IfConverter may widen the cases where a sequence of
instructions were executed because of the way it uses nested predicates. This
result in incorrect execution.
For instance, Let A be a basic block that flows conditionally into B and B be a
predicated block.
B can be predicated with A.BrToBPredicate into A iff B.Predicate is less
"permissive" than A.BrToBPredicate, i.e., iff A.BrToBPredicate subsumes
B.Predicate.
The IfConverter was checking the opposite: B.Predicate subsumes
A.BrToBPredicate.
<rdar://problem/14379453>
llvm-svn: 187071
Diffstat (limited to 'lldb/test/expression_command/call-function/TestCallStdStringFunction.py')
0 files changed, 0 insertions, 0 deletions
