[analyzer] SimpleStreamChecker - remove evalAssume and other refinements
authorAnna Zaks <ganna@apple.com>
Wed, 31 Oct 2012 02:32:41 +0000 (02:32 +0000)
committerAnna Zaks <ganna@apple.com>
Wed, 31 Oct 2012 02:32:41 +0000 (02:32 +0000)
commit1e80d8b49c7eeed6bde816f93a03c209a1d8cd0d
tree539beab182f6dd16590130330c33328b366593bd
parentebc56b217b2ce9ec75c9b28b9f5766bcd798e315
[analyzer] SimpleStreamChecker - remove evalAssume and other refinements

llvm-svn: 167099
clang/lib/StaticAnalyzer/Checkers/SimpleStreamChecker.cpp
clang/test/Analysis/simple-stream-checks.c