| Issue |
88026
|
| Summary |
Attributor & Function-attrs mark function as noundef incorrectly due to return value not in range
|
| Labels |
miscompilation,
llvm::Attributor
|
| Assignees |
|
| Reporter |
nunoplopes
|
This example returns a constant value out of range:
```llvm
define range(i32 0, 42) i32 @range_attribute(<4 x i32> range(i32 -1, 42) %a) {
ret i32 43
}
```
Running `opt -S -p='attributor'` gives an incorrect result:
```llvm
define noundef range(i32 0, 42) i32 @fn() {
ret i32 43
}
```
`opt -S -p='function-attrs'` has the same bug.
![]()
_______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
