LLVM Bugzilla is read-only and represents the historical archive of all LLVM issues filled before November 26, 2021. Use github to submit LLVM bugs

Bug 41336 - No-recurse derived for redefinable functions
Summary: No-recurse derived for redefinable functions
Status: RESOLVED FIXED
Alias: None
Product: libraries
Classification: Unclassified
Component: Interprocedural Optimizations (show other bugs)
Version: trunk
Hardware: PC Linux
: P enhancement
Assignee: Unassigned LLVM Bugs
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2019-04-01 10:35 PDT by Johannes Doerfert
Modified: 2019-06-09 23:48 PDT (History)
2 users (show)

See Also:
Fixed By Commit(s):

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Johannes Doerfert 2019-04-01 10:35:21 PDT 
If a function can be redefined, thus if it doesn't have an "exact" definition,
we should not derive no-recurse from the body, though, we do:


Before:

define linkonce_odr i32 @leaf_redefinable() {
  ret i32 1
}


After -functionattrs:

; Function Attrs: norecurse
define linkonce_odr i32 @leaf_redefinable() #6 {
  ret i32 1
}
Comment 1 Vivek Pandya 2019-06-08 00:19:12 PDT 
if function definition is not exact LLVM should not derive any attribute based on function body right?
Comment 2 Vivek Pandya 2019-06-09 23:48:53 PDT 
Fixed by commit https://reviews.llvm.org/rL362918