commit afe54333a744f6d72d78f13fa20541328d6d9704
author Ted Kremenek <kremenek@apple.com> Fri Dec 21 19:49:00 2007 +0000
committer Ted Kremenek <kremenek@apple.com> Fri Dec 21 19:49:00 2007 +0000
tree 8ed9087a9d21b5ab6d0fd719ddb5f6cf9f13061d
parent 3c40085b373d8e6e4523812e06f73a0cb9d5142c

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