114 lines
2.6 KiB
C++
114 lines
2.6 KiB
C++
// RUN: %clang_cc1 -Wfree-nonheap-object -std=c++11 -x c++ -fsyntax-only -verify %s
|
|
|
|
extern "C" void free(void *) {}
|
|
|
|
namespace std {
|
|
using size_t = decltype(sizeof(0));
|
|
void *malloc(size_t);
|
|
void free(void *p);
|
|
} // namespace std
|
|
|
|
int GI;
|
|
|
|
struct S {
|
|
operator char *() { return ptr; }
|
|
|
|
void CFree() {
|
|
::free(&ptr); // expected-warning {{attempt to call free on non-heap object 'ptr'}}
|
|
::free(&I); // expected-warning {{attempt to call free on non-heap object 'I'}}
|
|
::free(ptr);
|
|
}
|
|
|
|
void CXXFree() {
|
|
std::free(&ptr); // expected-warning {{attempt to call std::free on non-heap object 'ptr'}}
|
|
std::free(&I); // expected-warning {{attempt to call std::free on non-heap object 'I'}}
|
|
std::free(ptr);
|
|
}
|
|
|
|
private:
|
|
char *ptr = (char *)std::malloc(10);
|
|
static int I;
|
|
};
|
|
|
|
int S::I = 0;
|
|
|
|
void test1() {
|
|
{
|
|
free(&GI); // expected-warning {{attempt to call free on non-heap object 'GI'}}
|
|
}
|
|
{
|
|
static int SI = 0;
|
|
free(&SI); // expected-warning {{attempt to call free on non-heap object 'SI'}}
|
|
}
|
|
{
|
|
int I = 0;
|
|
free(&I); // expected-warning {{attempt to call free on non-heap object 'I'}}
|
|
}
|
|
{
|
|
int I = 0;
|
|
int *P = &I;
|
|
free(P);
|
|
}
|
|
{
|
|
void *P = std::malloc(8);
|
|
free(P); // FIXME diagnosing this would require control flow analysis.
|
|
}
|
|
{
|
|
int A[] = {0, 1, 2, 3};
|
|
free(A); // expected-warning {{attempt to call free on non-heap object 'A'}}
|
|
}
|
|
{
|
|
int A[] = {0, 1, 2, 3};
|
|
free(&A); // expected-warning {{attempt to call free on non-heap object 'A'}}
|
|
}
|
|
{
|
|
S s;
|
|
free(s);
|
|
free(&s); // expected-warning {{attempt to call free on non-heap object 's'}}
|
|
}
|
|
{
|
|
S s;
|
|
s.CFree();
|
|
}
|
|
}
|
|
|
|
void test2() {
|
|
{
|
|
std::free(&GI); // expected-warning {{attempt to call std::free on non-heap object 'GI'}}
|
|
}
|
|
{
|
|
static int SI = 0;
|
|
std::free(&SI); // expected-warning {{attempt to call std::free on non-heap object 'SI'}}
|
|
}
|
|
{
|
|
int I = 0;
|
|
std::free(&I); // expected-warning {{attempt to call std::free on non-heap object 'I'}}
|
|
}
|
|
{
|
|
int I = 0;
|
|
int *P = &I;
|
|
std::free(P); // FIXME diagnosing this would require control flow analysis.
|
|
}
|
|
{
|
|
void *P = std::malloc(8);
|
|
std::free(P);
|
|
}
|
|
{
|
|
int A[] = {0, 1, 2, 3};
|
|
std::free(A); // expected-warning {{attempt to call std::free on non-heap object 'A'}}
|
|
}
|
|
{
|
|
int A[] = {0, 1, 2, 3};
|
|
std::free(&A); // expected-warning {{attempt to call std::free on non-heap object 'A'}}
|
|
}
|
|
{
|
|
S s;
|
|
std::free(s);
|
|
std::free(&s); // expected-warning {{attempt to call std::free on non-heap object 's'}}
|
|
}
|
|
{
|
|
S s;
|
|
s.CXXFree();
|
|
}
|
|
}
|