aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/BugReporter.cpp
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2009-05-11 21:42:34 +0000
committerTed Kremenek <kremenek@apple.com>2009-05-11 21:42:34 +0000
commit9650cf3b08fcd66caae39bd5a1915c3eac735095 (patch)
treebf4934ef4b32c0eca501ab70b25549b7b2d768e0 /lib/Analysis/BugReporter.cpp
parentefaf1915d5734efa957f47f025fe81f76d9dbb82 (diff)
EdgeBuilder::cleanUpLocation() should used the PathDiagnosticLocation constructor for a single point, not a range.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@71477 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/BugReporter.cpp')
-rw-r--r--lib/Analysis/BugReporter.cpp47
1 files changed, 31 insertions, 16 deletions
diff --git a/lib/Analysis/BugReporter.cpp b/lib/Analysis/BugReporter.cpp
index 661043a92d..5407cea4e2 100644
--- a/lib/Analysis/BugReporter.cpp
+++ b/lib/Analysis/BugReporter.cpp
@@ -777,36 +777,51 @@ class VISIBILITY_HIDDEN EdgeBuilder {
PathDiagnosticLocation getContextLocation(const PathDiagnosticLocation &L);
- PathDiagnosticLocation cleanUpLocation(const PathDiagnosticLocation &L) {
+ PathDiagnosticLocation cleanUpLocation(PathDiagnosticLocation L,
+ bool firstCharOnly = false) {
if (const Stmt *S = L.asStmt()) {
+ const Stmt *Original = S;
while (1) {
// Adjust the location for some expressions that are best referenced
// by one of their subexpressions.
- if (const ParenExpr *PE = dyn_cast<ParenExpr>(S))
- S = PE->IgnoreParens();
- else if (const ConditionalOperator *CO = dyn_cast<ConditionalOperator>(S))
- S = CO->getCond();
- else if (const ChooseExpr *CE = dyn_cast<ChooseExpr>(S))
- S = CE->getCond();
- else if (const BinaryOperator *BE = dyn_cast<BinaryOperator>(S))
- S = BE->getLHS();
- else
- break;
+ switch (S->getStmtClass()) {
+ default:
+ break;
+ case Stmt::ParenExprClass:
+ S = cast<ParenExpr>(S)->IgnoreParens();
+ firstCharOnly = true;
+ continue;
+ case Stmt::ConditionalOperatorClass:
+ S = cast<ConditionalOperator>(S)->getCond();
+ firstCharOnly = true;
+ continue;
+ case Stmt::ChooseExprClass:
+ S = cast<ChooseExpr>(S)->getCond();
+ firstCharOnly = true;
+ continue;
+ case Stmt::BinaryOperatorClass:
+ S = cast<BinaryOperator>(S)->getLHS();
+ firstCharOnly = true;
+ continue;
+ }
+
+ break;
}
- return PathDiagnosticLocation(S, L.getManager());
+ if (S != Original)
+ L = PathDiagnosticLocation(S, L.getManager());
}
+ if (firstCharOnly)
+ L = PathDiagnosticLocation(L.asLocation());
+
return L;
}
void popLocation() {
if (!CLocs.back().isDead() && CLocs.back().asLocation().isFileID()) {
- PathDiagnosticLocation L = cleanUpLocation(CLocs.back());
-
// For contexts, we only one the first character as the range.
- L = PathDiagnosticLocation(L.asLocation(), L.getManager());
- rawAddEdge(L);
+ rawAddEdge( cleanUpLocation(CLocs.back(), true));
}
CLocs.pop_back();
}