[all-commits] [llvm/llvm-project] da6914: [InferAttrs] Refine attributes for a few libc rout...

[Antonio Frighetto via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: da69147a1619813679cef7ee39ec68cf2c8a2732
      https://github.com/llvm/llvm-project/commit/da69147a1619813679cef7ee39ec68cf2c8a2732
  Author: Antonio Frighetto <me at antoniofrighetto.com>
  Date:   2025-03-13 (Thu, 13 Mar 2025)

  Changed paths:
    M llvm/lib/Transforms/Utils/BuildLibCalls.cpp
    M llvm/test/Transforms/InferFunctionAttrs/annotate.ll

  Log Message:
  -----------
  [InferAttrs] Refine attributes for a few libc routines

Attributes inference has been improved for a few functions.
Particularly, ldexp and variants, as well as abort, may be
marked as `nounwind`, as they do not propagate any exceptions
to the caller, neither they unwind the stack. Besides, fwrite
and fread first argument should be respectively readonly and
writeonly.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications