[analyzer] Use optimized assumeDual for branches.
authorJordan Rose <jordan_rose@apple.com>
Thu, 6 Dec 2012 18:58:09 +0000 (18:58 +0000)
committerJordan Rose <jordan_rose@apple.com>
Thu, 6 Dec 2012 18:58:09 +0000 (18:58 +0000)
commit1ecba4cc69b96c70a0132be17156eafd730d8f22
tree513a42d3fbddb945d1a334016047bb7117a1a6ba
parent5f28afc8a113806f74a2915ed74b4969a0aea04c
[analyzer] Use optimized assumeDual for branches.

This doesn't seem to make much of a difference in practice, but it does
have the potential to avoid a trip through the constraint manager.

llvm-svn: 169524
clang/lib/StaticAnalyzer/Core/ExprEngine.cpp