diff options
| author | Ahmed Bougacha <ahmed.bougacha@gmail.com> | 2014-12-01 18:43:53 +0000 |
|---|---|---|
| committer | Ahmed Bougacha <ahmed.bougacha@gmail.com> | 2014-12-01 18:43:53 +0000 |
| commit | fb6eeb74c58a38309d71816ffea1c1ac70e25fa3 (patch) | |
| tree | d965a44c61189f94c07c31a248aa9d20c0c5ae0a /clang/lib/Basic/Module.cpp | |
| parent | dd42b533e96a267845ccb0911e337896a0dc204f (diff) | |
| download | llvm-fb6eeb74c58a38309d71816ffea1c1ac70e25fa3.zip llvm-fb6eeb74c58a38309d71816ffea1c1ac70e25fa3.tar.gz llvm-fb6eeb74c58a38309d71816ffea1c1ac70e25fa3.tar.bz2 | |
[MachineVerifier] Accept a MBB with a single landing pad successor.
The MachineVerifier used to check that there was always exactly one
unconditional branch to a non-landingpad (normal) successor.
If that normal successor to an invoke BB is unreachable, it seems
reasonable to only have one successor, the landing pad.
On targets other than AArch64 (and on AArch64 with a different testcase),
the branch folder turns the branch to the landing pad into a fallthrough.
The MachineVerifier, which relies on AnalyzeBranch, is unable to check
the condition, and doesn't complain. However, it does in this specific
testcase, where the branch to the landing pad remained.
Make the MachineVerifier accept it.
llvm-svn: 223059
Diffstat (limited to 'clang/lib/Basic/Module.cpp')
0 files changed, 0 insertions, 0 deletions