diff options
| author | Rafael Espindola <rafael.espindola@gmail.com> | 2014-02-13 18:26:41 +0000 |
|---|---|---|
| committer | Rafael Espindola <rafael.espindola@gmail.com> | 2014-02-13 18:26:41 +0000 |
| commit | 573c0503e3bedf5856e1b94969bfd770a927124e (patch) | |
| tree | 9a5a315a8b972e4c99c02f2b393ffd84f0778a22 /lib/IR/Verifier.cpp | |
| parent | efe40a5a1d45177a6e98b7f910f2a4a9a24e40a3 (diff) | |
| download | llvm-573c0503e3bedf5856e1b94969bfd770a927124e.tar.gz llvm-573c0503e3bedf5856e1b94969bfd770a927124e.tar.bz2 llvm-573c0503e3bedf5856e1b94969bfd770a927124e.tar.xz | |
Check that GlobalAliases don't have section or alignment.
An alias is always in the section of its aliasee and has the same alignment
(since it has the same address).
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@201354 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/IR/Verifier.cpp')
| -rw-r--r-- | lib/IR/Verifier.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/IR/Verifier.cpp b/lib/IR/Verifier.cpp index f81260960e..73496b4f55 100644 --- a/lib/IR/Verifier.cpp +++ b/lib/IR/Verifier.cpp @@ -475,6 +475,8 @@ void Verifier::visitGlobalAlias(const GlobalAlias &GA) { Assert1(GA.getType() == GA.getAliasee()->getType(), "Alias and aliasee types should match!", &GA); Assert1(!GA.hasUnnamedAddr(), "Alias cannot have unnamed_addr!", &GA); + Assert1(!GA.hasSection(), "Alias cannot have a section!", &GA); + Assert1(!GA.getAlignment(), "Alias connot have an alignment", &GA); const Constant *Aliasee = GA.getAliasee(); |