diff options
author | Chris Lattner <sabre@nondot.org> | 2009-08-31 03:15:49 +0000 |
---|---|---|
committer | Chris Lattner <sabre@nondot.org> | 2009-08-31 03:15:49 +0000 |
commit | b374b90e81d0ce6b5d02041ba4f7b15a945b38d8 (patch) | |
tree | c25a672fec1906289c9f27809afc94e17f372657 /test/Transforms | |
parent | 2adb8306e2256a4d1bef8f21ebb6dba55a108a88 (diff) |
Fix PR4834, a tricky case where the inliner would resolve an
indirect function pointer, inline it, then go to delete the body.
The problem is that the callgraph had other references to the function,
though the inliner had no way to know it, so we got a dangling pointer
and an invalid iterator out of the deal.
The fix to this is pretty simple: stop the inliner from deleting the
function by knowing that there are references to it. Do this by making
CallGraphNodes contain a refcount. This requires moving deletion of
available_externally functions to the module-level cleanup sweep where
it belongs.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@80533 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms')
-rw-r--r-- | test/Transforms/Inline/indirect_resolve.ll | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/test/Transforms/Inline/indirect_resolve.ll b/test/Transforms/Inline/indirect_resolve.ll new file mode 100644 index 0000000000..4be55d4342 --- /dev/null +++ b/test/Transforms/Inline/indirect_resolve.ll @@ -0,0 +1,16 @@ +; RUN: llvm-as < %s | opt -inline | llvm-dis +; PR4834 + +define i32 @main() { + %funcall1_ = call fastcc i32 ()* ()* @f1() + %executecommandptr1_ = call i32 %funcall1_() + ret i32 %executecommandptr1_ +} + +define internal fastcc i32 ()* @f1() nounwind readnone { + ret i32 ()* @f2 +} + +define internal i32 @f2() nounwind readnone { + ret i32 1 +} |