diff options
| author | Mark Seaborn <mseaborn@chromium.org> | 2013-06-19 16:51:39 -0700 |
|---|---|---|
| committer | Mark Seaborn <mseaborn@chromium.org> | 2013-06-19 16:51:39 -0700 |
| commit | 3f6504d96476bc8f717f077eda7a7061cb7672da (patch) | |
| tree | 5a2116a2e6ec2b30bc1f53be3ef9d351bfbf0038 /lib/Analysis | |
| parent | 73af8c9c57122e5ae61f80d916653db0dbb1e91f (diff) | |
PNaCl ABI: Disallow the "externally_initialized" attribute of GlobalVariables
BUG=https://code.google.com/p/nativeclient/issues/detail?id=3415
TEST=*.ll tests + PNaCl toolchain trybots
Review URL: https://codereview.chromium.org/17470005
Diffstat (limited to 'lib/Analysis')
| -rw-r--r-- | lib/Analysis/NaCl/PNaClABIVerifyModule.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/Analysis/NaCl/PNaClABIVerifyModule.cpp b/lib/Analysis/NaCl/PNaClABIVerifyModule.cpp index 288d5da2ad..64b7eb67c5 100644 --- a/lib/Analysis/NaCl/PNaClABIVerifyModule.cpp +++ b/lib/Analysis/NaCl/PNaClABIVerifyModule.cpp @@ -370,6 +370,10 @@ bool PNaClABIVerifyModule::runOnModule(Module &M) { Reporter->addError() << "Variable " << MI->getName() << " has disallowed \"thread_local\" attribute\n"; } + if (MI->isExternallyInitialized()) { + Reporter->addError() << "Variable " << MI->getName() << + " has disallowed \"externally_initialized\" attribute\n"; + } } // No aliases allowed for now. |