diff options
author | Ted Kremenek <kremenek@apple.com> | 2007-12-21 19:49:00 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2007-12-21 19:49:00 +0000 |
commit | afe54333a744f6d72d78f13fa20541328d6d9704 (patch) | |
tree | 8ed9087a9d21b5ab6d0fd719ddb5f6cf9f13061d /Basic/SourceManager.cpp | |
parent | 3c40085b373d8e6e4523812e06f73a0cb9d5142c (diff) |
Fixed successor order for CFG basic blocks when handling: x && y. The bug
is best explained by illustration:
[ B2 ]
1: x
T: [B2.1] && ...
Predecessors (1): B4
Successors (2): B3 B1
Block "B3" should be the block where we evaluate "y" when "x" evaluates to
true. Previously we had the successor list reversed. Now this behavior matches
with how we handle other conditional branches.
Thanks to Nuno Lopes for reporting this problem.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@45288 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'Basic/SourceManager.cpp')
0 files changed, 0 insertions, 0 deletions