| Issue |
84406
|
| Summary |
[c23] support `unsequenced/reproducible` attributes
|
| Labels |
new issue
|
| Assignees |
|
| Reporter |
SchrodingerZhu
|
We probably want to introduce `unsequenced/reproducible` attributes to enhance C23 compatibility. This requires changes both in clang and in the libc. These attributes are similar to `const/pure` but does have subtle differences.
See 6.7.12.7 in https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3096.pdf.
At libc's side, most bitwise operations would be annotated with unsequenced to allow further optimizations. Although many optimization opportunities should already be captured libcalls.
![]()
_______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
