diff options
author | Bill Wendling <isanbard@gmail.com> | 2013-02-10 10:12:06 +0000 |
---|---|---|
committer | Bill Wendling <isanbard@gmail.com> | 2013-02-10 10:12:06 +0000 |
commit | 87de71cb9f12d874e88d4f314ab245985c1b36bc (patch) | |
tree | 8e0a1b7afcc9f2ad4922cb6d65cad08c789a60dc | |
parent | b7cfac32f32f17e64a5addfdb833702160650f14 (diff) |
Add 'empty' query methods to the builder and use them in the verifier.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@174832 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r-- | include/llvm/IR/Attributes.h | 4 | ||||
-rw-r--r-- | lib/IR/Verifier.cpp | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/include/llvm/IR/Attributes.h b/include/llvm/IR/Attributes.h index 38f4ed983e..2a0363ceb2 100644 --- a/include/llvm/IR/Attributes.h +++ b/include/llvm/IR/Attributes.h @@ -471,6 +471,8 @@ public: const_iterator begin() const { return Attrs.begin(); } const_iterator end() const { return Attrs.end(); } + bool empty() const { return Attrs.empty(); } + // Iterators for target-dependent attributes. typedef std::pair<std::string, std::string> td_type; typedef std::map<std::string, std::string>::iterator td_iterator; @@ -482,6 +484,8 @@ public: td_const_iterator td_begin() const { return TargetDepAttrs.begin(); } td_const_iterator td_end() const { return TargetDepAttrs.end(); } + bool td_empty() const { return TargetDepAttrs.empty(); } + /// \brief Remove attributes that are used on functions only. void removeFunctionOnlyAttrs() { removeAttribute(Attribute::NoReturn) diff --git a/lib/IR/Verifier.cpp b/lib/IR/Verifier.cpp index babc295126..31312dc1c4 100644 --- a/lib/IR/Verifier.cpp +++ b/lib/IR/Verifier.cpp @@ -744,7 +744,7 @@ void Verifier::VerifyFunctionAttrs(FunctionType *FT, AttrBuilder NotFn(Attrs, AttributeSet::FunctionIndex); NotFn.removeFunctionOnlyAttrs(); - Assert1(!NotFn.hasAttributes(), "Attribute '" + + Assert1(NotFn.empty(), "Attributes '" + AttributeSet::get(V->getContext(), AttributeSet::FunctionIndex, NotFn).getAsString(AttributeSet::FunctionIndex) + |