Remove OwnershipAttr::Kind, since it's essentially redundant with attr::Kind the way it's being used. Also fix isa<OwnershipAttr> support, break more-than-80-char lines, and other miscellaneous ownership attr cleanup.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@110908 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/AST/AttrImpl.cpp b/lib/AST/AttrImpl.cpp
index d4d6bfe..dcd3c5b 100644
--- a/lib/AST/AttrImpl.cpp
+++ b/lib/AST/AttrImpl.cpp
@@ -49,17 +49,13 @@
}
OwnershipAttr::OwnershipAttr(attr::Kind AK, ASTContext &C, unsigned* arg_nums,
- unsigned size,
- llvm::StringRef module,
- OwnershipKind kind) :
- AttrWithString(AK, C, module), ArgNums(0), Size(0), OKind(kind) {
+ unsigned size, llvm::StringRef module)
+ : AttrWithString(AK, C, module), ArgNums(0), Size(0) {
if (size == 0)
return;
assert(arg_nums);
ArgNums = new (C) unsigned[size];
Size = size;
- AKind = AK;
- OKind = kind;
memcpy(ArgNums, arg_nums, sizeof(*ArgNums) * size);
}
@@ -70,19 +66,19 @@
}
OwnershipTakesAttr::OwnershipTakesAttr(ASTContext &C, unsigned* arg_nums,
- unsigned size, llvm::StringRef module) :
- OwnershipAttr(attr::OwnershipTakes, C, arg_nums, size, module, Takes) {
+ unsigned size, llvm::StringRef module)
+ : OwnershipAttr(attr::OwnershipTakes, C, arg_nums, size, module) {
}
OwnershipHoldsAttr::OwnershipHoldsAttr(ASTContext &C, unsigned* arg_nums,
- unsigned size, llvm::StringRef module) :
- OwnershipAttr(attr::OwnershipHolds, C, arg_nums, size, module, Holds) {
+ unsigned size, llvm::StringRef module)
+ : OwnershipAttr(attr::OwnershipHolds, C, arg_nums, size, module) {
}
OwnershipReturnsAttr::OwnershipReturnsAttr(ASTContext &C, unsigned* arg_nums,
unsigned size,
- llvm::StringRef module) :
- OwnershipAttr(attr::OwnershipReturns, C, arg_nums, size, module, Returns) {
+ llvm::StringRef module)
+ : OwnershipAttr(attr::OwnershipReturns, C, arg_nums, size, module) {
}
#define DEF_SIMPLE_ATTR_CLONE(ATTR) \
@@ -187,7 +183,7 @@
}
Attr *OwnershipAttr::clone(ASTContext &C) const {
- return ::new (C) OwnershipAttr(AKind, C, ArgNums, Size, getModule(), OKind);
+ return ::new (C) OwnershipAttr(AKind, C, ArgNums, Size, getModule());
}
Attr *OwnershipReturnsAttr::clone(ASTContext &C) const {
diff --git a/lib/Checker/MallocChecker.cpp b/lib/Checker/MallocChecker.cpp
index b7ad4be..8765465 100644
--- a/lib/Checker/MallocChecker.cpp
+++ b/lib/Checker/MallocChecker.cpp
@@ -100,7 +100,8 @@
const GRState *state);
void FreeMem(CheckerContext &C, const CallExpr *CE);
- void FreeMemAttr(CheckerContext &C, const CallExpr *CE, const OwnershipAttr* Att);
+ void FreeMemAttr(CheckerContext &C, const CallExpr *CE,
+ const OwnershipAttr* Att);
const GRState *FreeMemAux(CheckerContext &C, const CallExpr *CE,
const GRState *state, unsigned Num, bool Hold);
@@ -176,22 +177,19 @@
bool rv = false;
if (FD->hasAttrs()) {
for (const Attr *attr = FD->getAttrs(); attr; attr = attr->getNext()) {
- if(const OwnershipAttr* Att = dyn_cast<OwnershipAttr>(attr)) {
- switch (Att->getKind()) {
- case OwnershipAttr::Returns: {
- MallocMemReturnsAttr(C, CE, Att);
- rv = true;
- break;
- }
- case OwnershipAttr::Takes:
- case OwnershipAttr::Holds: {
- FreeMemAttr(C, CE, Att);
- rv = true;
- break;
- }
- default:
- break;
- }
+ switch (attr->getKind()) {
+ case attr::OwnershipReturns:
+ MallocMemReturnsAttr(C, CE, cast<OwnershipAttr>(attr));
+ rv = true;
+ break;
+ case attr::OwnershipTakes:
+ case attr::OwnershipHolds:
+ FreeMemAttr(C, CE, cast<OwnershipAttr>(attr));
+ rv = true;
+ break;
+ default:
+ // Ignore non-ownership attributes.
+ break;
}
}
}
@@ -259,13 +257,13 @@
}
void MallocChecker::FreeMemAttr(CheckerContext &C, const CallExpr *CE,
- const OwnershipAttr* Att) {
+ const OwnershipAttr* Att) {
if (!Att->isModule("malloc"))
return;
for (const unsigned *I = Att->begin(), *E = Att->end(); I != E; ++I) {
const GRState *state =
- FreeMemAux(C, CE, C.getState(), *I, Att->isKind(OwnershipAttr::Holds));
+ FreeMemAux(C, CE, C.getState(), *I, isa<OwnershipHoldsAttr>(Att));
if (state)
C.addTransition(state);
}
diff --git a/lib/Sema/SemaDeclAttr.cpp b/lib/Sema/SemaDeclAttr.cpp
index cba5f47..54ffa95 100644
--- a/lib/Sema/SemaDeclAttr.cpp
+++ b/lib/Sema/SemaDeclAttr.cpp
@@ -357,8 +357,8 @@
// The following arguments must be argument indexes, the arguments must be
// of integer type for Returns, otherwise of pointer type.
// The difference between Holds and Takes is that a pointer may still be used
- // after being held. free() should be __attribute((ownership_takes)), whereas a list
- // append function may well be __attribute((ownership_holds)).
+ // after being held. free() should be __attribute((ownership_takes)), whereas
+ // a list append function may well be __attribute((ownership_holds)).
if (!AL.getParameterName()) {
S.Diag(AL.getLoc(), diag::err_attribute_argument_n_not_string)
@@ -366,30 +366,33 @@
return;
}
// Figure out our Kind, and check arguments while we're at it.
- OwnershipAttr::OwnershipKind K = OwnershipAttr::None;
- if (AL.getName()->getName().equals("ownership_takes")) {
- K = OwnershipAttr::Takes;
+ attr::Kind K;
+ switch (AL.getKind()) {
+ case AttributeList::AT_ownership_takes:
+ K = attr::OwnershipTakes;
if (AL.getNumArgs() < 1) {
S.Diag(AL.getLoc(), diag::err_attribute_wrong_number_arguments) << 2;
return;
}
- } else if (AL.getName()->getName().equals("ownership_holds")) {
- K = OwnershipAttr::Holds;
+ break;
+ case AttributeList::AT_ownership_holds:
+ K = attr::OwnershipHolds;
if (AL.getNumArgs() < 1) {
S.Diag(AL.getLoc(), diag::err_attribute_wrong_number_arguments) << 2;
return;
}
- } else if (AL.getName()->getName().equals("ownership_returns")) {
- K = OwnershipAttr::Returns;
+ break;
+ case AttributeList::AT_ownership_returns:
+ K = attr::OwnershipReturns;
if (AL.getNumArgs() > 1) {
S.Diag(AL.getLoc(), diag::err_attribute_wrong_number_arguments)
<< AL.getNumArgs() + 1;
return;
}
- }
- // This should never happen given how we are called.
- if (K == OwnershipAttr::None) {
- return;
+ break;
+ default:
+ // This should never happen given how we are called.
+ llvm_unreachable("Unknown ownership attribute");
}
if (!isFunction(d) || !hasFunctionProto(d)) {
@@ -408,7 +411,8 @@
llvm::SmallVector<unsigned, 10> OwnershipArgs;
- for (AttributeList::arg_iterator I = AL.arg_begin(), E = AL.arg_end(); I != E; ++I) {
+ for (AttributeList::arg_iterator I = AL.arg_begin(), E = AL.arg_end(); I != E;
+ ++I) {
Expr *IdxExpr = static_cast<Expr *>(*I);
llvm::APSInt ArgNum(32);
@@ -428,21 +432,21 @@
}
--x;
switch (K) {
- case OwnershipAttr::Takes:
- case OwnershipAttr::Holds: {
+ case attr::OwnershipTakes:
+ case attr::OwnershipHolds: {
// Is the function argument a pointer type?
QualType T = getFunctionOrMethodArgType(d, x);
if (!T->isAnyPointerType() && !T->isBlockPointerType()) {
// FIXME: Should also highlight argument in decl.
S.Diag(AL.getLoc(), diag::err_ownership_type)
- << ((K==OwnershipAttr::Takes)?"ownership_takes":"ownership_holds")
+ << ((K==attr::OwnershipTakes)?"ownership_takes":"ownership_holds")
<< "pointer"
<< IdxExpr->getSourceRange();
continue;
}
break;
}
- case OwnershipAttr::Returns: {
+ case attr::OwnershipReturns: {
if (AL.getNumArgs() > 1) {
// Is the function argument an integer type?
Expr *IdxExpr = static_cast<Expr *>(AL.getArg(0));
@@ -457,20 +461,18 @@
}
break;
}
- // Should never happen, here to silence a warning.
- default: {
- return;
- }
+ default:
+ llvm_unreachable("Unknown ownership attribute");
} // switch
// Check we don't have a conflict with another ownership attribute.
- if (d->hasAttrs()) {
+ if (K != attr::OwnershipReturns && d->hasAttrs()) {
for (const Attr *attr = d->getAttrs(); attr; attr = attr->getNext()) {
if (const OwnershipAttr* Att = dyn_cast<OwnershipAttr>(attr)) {
// Two ownership attributes of the same kind can't conflict,
// except returns attributes.
- if (K == OwnershipAttr::Returns || Att->getKind() != K) {
- for (const unsigned *I = Att->begin(), *E = Att->end(); I != E; ++I) {
+ if (Att->getKind() != K) {
+ for (const unsigned *I = Att->begin(), *E = Att->end(); I!=E; ++I) {
if (x == *I) {
S.Diag(AL.getLoc(), diag::err_attributes_are_not_compatible)
<< AL.getName()->getName() << "ownership_*";
@@ -487,7 +489,7 @@
unsigned size = OwnershipArgs.size();
llvm::array_pod_sort(start, start + size);
switch (K) {
- case OwnershipAttr::Takes: {
+ case attr::OwnershipTakes: {
if (OwnershipArgs.empty()) {
S.Diag(AL.getLoc(), diag::err_attribute_wrong_number_arguments) << 2;
return;
@@ -496,7 +498,7 @@
Module));
break;
}
- case OwnershipAttr::Holds: {
+ case attr::OwnershipHolds: {
if (OwnershipArgs.empty()) {
S.Diag(AL.getLoc(), diag::err_attribute_wrong_number_arguments) << 2;
return;
@@ -505,13 +507,13 @@
Module));
break;
}
- case OwnershipAttr::Returns: {
+ case attr::OwnershipReturns: {
d->addAttr(::new (S.Context) OwnershipReturnsAttr(S.Context, start, size,
Module));
break;
}
default:
- break;
+ llvm_unreachable("Unknown ownership attribute");
}
}