[llvm-bugs] [Bug 50047] New: function-attrs derives mustprogress and willreturn for non-exact definitions

[via llvm-bugs]

https://bugs.llvm.org/show_bug.cgi?id=50047

            Bug ID: 50047
           Summary: function-attrs derives mustprogress and willreturn for
                    non-exact definitions
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Interprocedural Optimizations
          Assignee: unassignedbugs at nondot.org
          Reporter: jdoerfert at anl.gov
                CC: florian_hahn at apple.com, listmail at philipreames.com,
                    llvm-bugs at lists.llvm.org

For the non-exact definition below we should not derive attributes
(https://clang.godbolt.org/z/7WGnh9s8v):

```
define linkonce i32 @square(i32) {
    %2 = mul nsw i32 %0, %0
    ret i32 %2
}
```

Rational why we should not derive attributes is also contained in this thread:
https://lists.llvm.org/pipermail/llvm-dev/2021-April/149960.html

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20210420/a0df29cc/attachment.html>