Eliminate the last trivial NDEBUG uses in clang headers

assert(sanity()) reads so much better than preprocessor conditional blocks.

llvm-svn: 196657
This commit is contained in:
Alp Toker 2013-12-07 13:51:35 +00:00
parent 3ffab05f54
commit c108676822
6 changed files with 14 additions and 23 deletions

View File

@ -319,7 +319,7 @@ protected:
DeclContext *Parent, std::size_t Extra = 0);
private:
void CheckAccessDeclContext() const;
bool AccessDeclContextSanity() const;
protected:
@ -413,15 +413,11 @@ public:
void setAccess(AccessSpecifier AS) {
Access = AS;
#ifndef NDEBUG
CheckAccessDeclContext();
#endif
assert(AccessDeclContextSanity());
}
AccessSpecifier getAccess() const {
#ifndef NDEBUG
CheckAccessDeclContext();
#endif
assert(AccessDeclContextSanity());
return AccessSpecifier(Access);
}

View File

@ -2633,7 +2633,7 @@ public:
private:
Stmt *Op;
void CheckCastConsistency() const;
bool CastConsistency() const;
const CXXBaseSpecifier * const *path_buffer() const {
return const_cast<CastExpr*>(this)->path_buffer();
@ -2664,9 +2664,7 @@ protected:
assert(kind != CK_Invalid && "creating cast with invalid cast kind");
CastExprBits.Kind = kind;
setBasePathSize(BasePathSize);
#ifndef NDEBUG
CheckCastConsistency();
#endif
assert(CastConsistency());
}
/// \brief Construct an empty cast.

View File

@ -259,7 +259,7 @@ public:
}
LookupResultKind getResultKind() const {
sanity();
assert(sanity());
return ResultKind;
}
@ -637,13 +637,7 @@ private:
void configure();
// Sanity checks.
void sanityImpl() const;
void sanity() const {
#ifndef NDEBUG
sanityImpl();
#endif
}
bool sanity() const;
bool sanityCheckUnresolved() const {
for (iterator I = begin(), E = end(); I != E; ++I)

View File

@ -667,7 +667,7 @@ SourceLocation Decl::getBodyRBrace() const {
return SourceLocation();
}
void Decl::CheckAccessDeclContext() const {
bool Decl::AccessDeclContextSanity() const {
#ifndef NDEBUG
// Suppress this check if any of the following hold:
// 1. this is the translation unit (and thus has no parent)
@ -689,11 +689,12 @@ void Decl::CheckAccessDeclContext() const {
// AS_none as access specifier.
isa<CXXRecordDecl>(this) ||
isa<ClassScopeFunctionSpecializationDecl>(this))
return;
return true;
assert(Access != AS_none &&
"Access specifier is AS_none inside a record decl");
#endif
return true;
}
static Decl::Kind getKind(const Decl *D) { return D->getKind(); }

View File

@ -1421,7 +1421,7 @@ SourceLocation MemberExpr::getLocEnd() const {
return EndLoc;
}
void CastExpr::CheckCastConsistency() const {
bool CastExpr::CastConsistency() const {
switch (getCastKind()) {
case CK_DerivedToBase:
case CK_UncheckedDerivedToBase:
@ -1524,6 +1524,7 @@ void CastExpr::CheckCastConsistency() const {
assert(path_empty() && "Cast kind should not have a base path!");
break;
}
return true;
}
const char *CastExpr::getCastKindName() const {

View File

@ -315,7 +315,7 @@ void LookupResult::configure() {
}
}
void LookupResult::sanityImpl() const {
bool LookupResult::sanity() const {
// Note that this function is never called by NDEBUG builds. See
// LookupResult::sanity().
assert(ResultKind != NotFound || Decls.size() == 0);
@ -330,6 +330,7 @@ void LookupResult::sanityImpl() const {
assert((Paths != NULL) == (ResultKind == Ambiguous &&
(Ambiguity == AmbiguousBaseSubobjectTypes ||
Ambiguity == AmbiguousBaseSubobjects)));
return true;
}
// Necessary because CXXBasePaths is not complete in Sema.h