guiand added a comment. LGTM, although I'm just curious about the omissions here. why not mark something like `round` noundef? Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D85894/new/ https://reviews.llvm.org/D85894