[cfe-commits] r93071 - in /cfe/trunk: lib/Analysis/ReturnStackAddressChecker.cpp test/Analysis/stack-addr-ps.c
Ted Kremenek
kremenek at apple.com
Sat Jan 9 12:05:00 PST 2010
Author: kremenek
Date: Sat Jan 9 14:05:00 2010
New Revision: 93071
URL: http://llvm.org/viewvc/llvm-project?rev=93071&view=rev
Log:
Fix broken diagnostic when returning the address of a stack-allocated array.
Modified:
cfe/trunk/lib/Analysis/ReturnStackAddressChecker.cpp
cfe/trunk/test/Analysis/stack-addr-ps.c
Modified: cfe/trunk/lib/Analysis/ReturnStackAddressChecker.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/ReturnStackAddressChecker.cpp?rev=93071&r1=93070&r2=93071&view=diff
==============================================================================
--- cfe/trunk/lib/Analysis/ReturnStackAddressChecker.cpp (original)
+++ cfe/trunk/lib/Analysis/ReturnStackAddressChecker.cpp Sat Jan 9 14:05:00 2010
@@ -67,6 +67,9 @@
llvm::raw_svector_ostream os(buf);
SourceRange range;
+ // Get the base region, stripping away fields and elements.
+ R = R->getBaseRegion();
+
// Check if the region is a compound literal.
if (const CompoundLiteralRegion* CR = dyn_cast<CompoundLiteralRegion>(R)) {
const CompoundLiteralExpr* CL = CR->getLiteralExpr();
@@ -92,13 +95,18 @@
<< C.getSourceManager().getInstantiationLineNumber(L)
<< " returned to caller";
}
- else {
+ else if (const VarRegion *VR = dyn_cast<VarRegion>(R)) {
os << "Address of stack memory associated with local variable '"
- << R->getString() << "' returned.";
+ << VR->getString() << "' returned";
+ range = VR->getDecl()->getSourceRange();
+ }
+ else {
+ assert(false && "Invalid region in ReturnStackAddressChecker.");
+ return;
}
RangedBugReport *report = new RangedBugReport(*BT, os.str(), N);
- report->addRange(RS->getSourceRange());
+ report->addRange(RetE->getSourceRange());
if (range.isValid())
report->addRange(range);
Modified: cfe/trunk/test/Analysis/stack-addr-ps.c
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/stack-addr-ps.c?rev=93071&r1=93070&r2=93071&view=diff
==============================================================================
--- cfe/trunk/test/Analysis/stack-addr-ps.c (original)
+++ cfe/trunk/test/Analysis/stack-addr-ps.c Sat Jan 9 14:05:00 2010
@@ -68,3 +68,10 @@
return b; // no-warning
}
+// <rdar://problem/7523821>
+int *rdar_7523821_f2() {
+ int a[3];
+ return a; // expected-warning 2 {{ddress of stack memory associated with local variable 'a' returned}}
+};
+
+
More information about the cfe-commits
mailing list