maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

BugReporter (extensive diagnostics): Recursively adjust the referred expression 

when popping location contexts.

llvm-svn: 69898
This commit is contained in:
Ted Kremenek 2009-04-23 16:44:22 +00:00
parent d87f6e55ee
commit 3ebc5057ac
1 changed files with 16 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
clang/lib/Analysis/BugReporter.cpp
View File

@ -790,18 +790,22 @@ class VISIBILITY_HIDDEN EdgeBuilder {
PathDiagnosticLocation L = CLocs.back();
if (L.asLocation().isFileID()) {
if (const Stmt *S = L.asStmt()) {
// Adjust the location for some expressions that are best referenced
// by one of their subexpressions.
if (const ConditionalOperator *CO = dyn_cast<ConditionalOperator>(S))
S = CO->getCond();
else if (const ChooseExpr *CE = dyn_cast<ChooseExpr>(S))
S = CE->getCond();
// Ignore parentheses.
if (const ParenExpr *PE = dyn_cast<ParenExpr>(S))
S = PE->IgnoreParens();
if (const Stmt *S = L.asStmt()) {
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;
}
L = PathDiagnosticLocation(S, L.getManager());
}