diff options
| author | Kostya Serebryany <kcc@google.com> | 2013-02-11 08:13:54 +0000 |
|---|---|---|
| committer | Kostya Serebryany <kcc@google.com> | 2013-02-11 08:13:54 +0000 |
| commit | d688bab563da574394913722eea9fb8a9e062660 (patch) | |
| tree | 0d32257552d82cc26eab960dba3a1af6f5ace4c7 /llvm/lib/IR/Verifier.cpp | |
| parent | 35d2dc765e8e69f6710104f5fd6109a1f49c085e (diff) | |
| download | bcm5719-llvm-d688bab563da574394913722eea9fb8a9e062660.tar.gz bcm5719-llvm-d688bab563da574394913722eea9fb8a9e062660.zip | |
[tsan/msan] adding thread_safety and uninitialized_checks attributes
llvm-svn: 174864
Diffstat (limited to 'llvm/lib/IR/Verifier.cpp')
| -rw-r--r-- | llvm/lib/IR/Verifier.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/llvm/lib/IR/Verifier.cpp b/llvm/lib/IR/Verifier.cpp index 31312dc1c41..02c209660bf 100644 --- a/llvm/lib/IR/Verifier.cpp +++ b/llvm/lib/IR/Verifier.cpp @@ -651,6 +651,8 @@ void Verifier::VerifyParameterAttrs(AttributeSet Attrs, uint64_t Idx, Type *Ty, !Attrs.hasAttribute(Idx, Attribute::NonLazyBind) && !Attrs.hasAttribute(Idx, Attribute::ReturnsTwice) && !Attrs.hasAttribute(Idx, Attribute::AddressSafety) && + !Attrs.hasAttribute(Idx, Attribute::ThreadSafety) && + !Attrs.hasAttribute(Idx, Attribute::UninitializedChecks) && !Attrs.hasAttribute(Idx, Attribute::MinSize), "Some attributes in '" + Attrs.getAsString(Idx) + "' only apply to functions!", V); |
