diff options
| author | Nico Weber <nicolasweber@gmx.de> | 2015-02-03 17:06:08 +0000 |
|---|---|---|
| committer | Nico Weber <nicolasweber@gmx.de> | 2015-02-03 17:06:08 +0000 |
| commit | b14f87226902db775362b96b358289e9f481c3aa (patch) | |
| tree | 13aee70dbd02d959cd20ac2299f77838c3a52186 /llvm/lib/Target/X86/X86Subtarget.cpp | |
| parent | e2062dbb297efe499e0d4fd47cd2c07d3c93721f (diff) | |
| download | bcm5719-llvm-b14f87226902db775362b96b358289e9f481c3aa.tar.gz bcm5719-llvm-b14f87226902db775362b96b358289e9f481c3aa.zip | |
Implement jump scope SEHmantic analysis.
Thou shall not jump into SEH blocks. Jumping out of SEH __try and __excepts
is A-ok. Jumping out of __finally blocks is B-ok (msvc doesn't error about it,
but warns that it has undefined behavior).
I've checked that clang's behavior with this patch matches msvc's behavior.
We don't have the warning on jumping out of a __finally yet, see the FIXME
in the test. clang also currently crashes on codegen for a jump out of a
__finally block, see PR22414 comment 7.
I also added a few tests for the interaction of indirect jumps and SEH blocks.
MSVC doesn't support indirect jumps, so there's no way to know if clang behave
the same way as msvc here. clang's behavior with this patch does make sense
to me, but maybe it could be argued that it should be more permissive (see
FIXME in the indirect jump tests -- shout if you have an opinion on this).
llvm-svn: 227982
Diffstat (limited to 'llvm/lib/Target/X86/X86Subtarget.cpp')
0 files changed, 0 insertions, 0 deletions
