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

[analyzer]Don't invalidate const arguments when there is no 

IdentifierInfo.

Ee: C++ copy constructors.
llvm-svn: 167092
This commit is contained in:
Anna Zaks 2012-10-31 01:18:26 +00:00
parent 408f7d0144
commit 7bd0674dea
2 changed files with 12 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
clang/lib/StaticAnalyzer/Core/CallEvent.cpp
View File

@ -321,7 +321,7 @@ bool AnyFunctionCall::argumentsMayEscape() const {
const IdentifierInfo *II = D->getIdentifier(); const IdentifierInfo *II = D->getIdentifier();
if (!II) if (!II)
return true; return false;
// This set of "escaping" APIs is // This set of "escaping" APIs is

11
clang/test/Analysis/method-call.cpp
View File

@ -9,6 +9,10 @@ struct A {
int getx() const { return x; } int getx() const { return x; }
}; };
struct B{
int x;
};
void testNullObject(A *a) { void testNullObject(A *a) {
clang_analyzer_eval(a); // expected-warning{{UNKNOWN}} clang_analyzer_eval(a); // expected-warning{{UNKNOWN}}
(void)a->getx(); // assume we know what we're doing (void)a->getx(); // assume we know what we're doing
@ -34,3 +38,10 @@ void f4() {
A x = 3; A x = 3;
clang_analyzer_eval(x.getx() == 3); // expected-warning{{TRUE}} clang_analyzer_eval(x.getx() == 3); // expected-warning{{TRUE}}
} }
void checkThatCopyConstructorDoesNotInvalidateObjectBeingCopied() {
B t;
t.x = 0;
B t2(t);
clang_analyzer_eval(t.x == 0); // expected-warning{{TRUE}}
}