Commit 13d8d4e
committed
Prefer NUW flags as per https://alive2.llvm.org/ce/z/_V5s8p
1 parent d921291 commit 13d8d4e
1 file changed
+5
-1
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
10620 | 10620 | | |
10621 | 10621 | | |
10622 | 10622 | | |
| 10623 | + | |
| 10624 | + | |
| 10625 | + | |
| 10626 | + | |
10623 | 10627 | | |
10624 | | - | |
| 10628 | + | |
10625 | 10629 | | |
10626 | 10630 | | |
10627 | 10631 | | |
| |||
0 commit comments