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: [email protected]
Reporter: [email protected]
CC: [email protected], [email protected],
[email protected]
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._______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
