summaryrefslogtreecommitdiffstats
path: root/clang/lib/Checker
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2010-02-02 02:01:51 +0000
committerTed Kremenek <kremenek@apple.com>2010-02-02 02:01:51 +0000
commitfab459fc95c6cc6cb7b834589f10ebafe4161cf6 (patch)
tree0fa26ffb3a43b9a85ccea99196e76ca089f2a0b6 /clang/lib/Checker
parentd2f8ba0b3de0510cb7f828b0695a735b0ff3e69f (diff)
downloadbcm5719-llvm-fab459fc95c6cc6cb7b834589f10ebafe4161cf6.tar.gz
bcm5719-llvm-fab459fc95c6cc6cb7b834589f10ebafe4161cf6.zip
Fix bug in GRExprEngine::VisitSizeOfAlignOfExpr() where we do not add
'Pred' to 'Dst' for cases we currently don't handle. This fixes <rdar://problem/7593875>. llvm-svn: 95048
Diffstat (limited to 'clang/lib/Checker')
-rw-r--r--clang/lib/Checker/GRExprEngine.cpp2
1 files changed, 2 insertions, 0 deletions
diff --git a/clang/lib/Checker/GRExprEngine.cpp b/clang/lib/Checker/GRExprEngine.cpp
index 77715ac6217..52e4fc12f8b 100644
--- a/clang/lib/Checker/GRExprEngine.cpp
+++ b/clang/lib/Checker/GRExprEngine.cpp
@@ -2461,12 +2461,14 @@ void GRExprEngine::VisitSizeOfAlignOfExpr(SizeOfAlignOfExpr* Ex,
}
else if (!T.getTypePtr()->isConstantSizeType()) {
// FIXME: Add support for VLAs.
+ Dst.Add(Pred);
return;
}
else if (T->isObjCInterfaceType()) {
// Some code tries to take the sizeof an ObjCInterfaceType, relying that
// the compiler has laid out its representation. Just report Unknown
// for these.
+ Dst.Add(Pred);
return;
}
else {
OpenPOWER on IntegriCloud