diff options
| author | Ted Kremenek <kremenek@apple.com> | 2011-02-24 03:09:15 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2011-02-24 03:09:15 +0000 |
| commit | f226d18f0f49394cec460699f4268e32bd0ce833 (patch) | |
| tree | 90c0daa9d81979c4ceda0dd1ee4b35589cc68234 /lib/StaticAnalyzer/Checkers/ReturnPointerRangeChecker.cpp | |
| parent | 7acf4549932adde2961864023db47ebfde07440d (diff) | |
Fix tiny error in CFG construction for BinaryConditionalOperators, making sure the branch always has two successors. Also teach Environment::getSVal() about OpaqueValueExprs.
This fixes a crash reported in PR9287, and also fixes a false positive involving the value of such ternary
expressions not properly getting propagated.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@126362 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Checkers/ReturnPointerRangeChecker.cpp')
0 files changed, 0 insertions, 0 deletions