aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Checker/PathSensitive
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2010-08-26 22:19:33 +0000
committerTed Kremenek <kremenek@apple.com>2010-08-26 22:19:33 +0000
commit34feff654c6304e0a59ceb1376989d28dbc956ff (patch)
tree9e8d481dc6ce771979bfd42559f1d68e7f75d588 /include/clang/Checker/PathSensitive
parent412711774cf912bac8e81ef86da33acac6856b8a (diff)
Fix horrible GRExprEngine bug where switch statements with no 'case:' statements would cause the path to get prematurely aborted. Fixes <rdar://problem/8360854>.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@112233 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/clang/Checker/PathSensitive')
-rw-r--r--include/clang/Checker/PathSensitive/GRCoreEngine.h3
1 files changed, 2 insertions, 1 deletions
diff --git a/include/clang/Checker/PathSensitive/GRCoreEngine.h b/include/clang/Checker/PathSensitive/GRCoreEngine.h
index 4f9f2d811c..216ecac736 100644
--- a/include/clang/Checker/PathSensitive/GRCoreEngine.h
+++ b/include/clang/Checker/PathSensitive/GRCoreEngine.h
@@ -407,7 +407,8 @@ public:
public:
iterator& operator++() { ++I; return *this; }
- bool operator!=(const iterator& X) const { return I != X.I; }
+ bool operator!=(const iterator &X) const { return I != X.I; }
+ bool operator==(const iterator &X) const { return I == X.I; }
const CaseStmt* getCase() const {
return llvm::cast<CaseStmt>((*I)->getLabel());