diff options
| author | Sanjoy Das <sanjoy@playingwithpointers.com> | 2016-12-31 22:12:34 +0000 |
|---|---|---|
| committer | Sanjoy Das <sanjoy@playingwithpointers.com> | 2016-12-31 22:12:34 +0000 |
| commit | 3bb2dbd66586d03e9586294f0964ec05f3322cd6 (patch) | |
| tree | e859f82b426760a7fc2d34326e3e23baa04b3ac7 /llvm/lib/CodeGen | |
| parent | 0945530d4dc3c36a03cbd5c62fdccb870bcb21ab (diff) | |
| download | bcm5719-llvm-3bb2dbd66586d03e9586294f0964ec05f3322cd6.tar.gz bcm5719-llvm-3bb2dbd66586d03e9586294f0964ec05f3322cd6.zip | |
Fix an issue with isGuaranteedToTransferExecutionToSuccessor
I'm not sure if this was intentional, but today
isGuaranteedToTransferExecutionToSuccessor returns true for readonly and
argmemonly calls that may throw. This commit changes the function to
not implicitly infer nounwind this way.
Even if we eventually specify readonly calls as not throwing,
isGuaranteedToTransferExecutionToSuccessor is not the best place to
infer that. We should instead teach FunctionAttrs or some other such
pass to tag readonly functions / calls as nounwind instead.
llvm-svn: 290794
Diffstat (limited to 'llvm/lib/CodeGen')
0 files changed, 0 insertions, 0 deletions
