[PATCH] D157766: [FPEnv] Make the strictfp attribute rules stricter.

[Matt Arsenault via Phabricator via llvm-commits]

arsenm added inline comments.


================
Comment at: llvm/docs/LangRef.rst:23761-23764
 All function *calls* done in a function that uses constrained floating
-point intrinsics must have the ``strictfp`` attribute either on the
-calling instruction or on the declaration or definition of the function
-being called.
+point intrinsics must have the ``strictfp`` attribute. Calls to intrinsics
+that are defined to have the ``strictfp`` are allowed to omit the attribute
+from the call site.
----------------
I don't understand why you're specifically mentioning call sites Attribute behavior is always union of call site and declaration, so this should apply to all calls


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D157766/new/

https://reviews.llvm.org/D157766