[PATCH] D115302: GlobalsModRef should treat functions w/o nosync conservatively.

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added a comment.

I think we should locate the place intrinsics are handled special right now. And there we require the function to be `nocallback` and `nosync` to argue the function will not have an effect on the module.
That seems to be the right solution to all these weird effects. Obviously we need to add `nocallback` to the default intrinsic attributes and to other intrinsics that don't use the default intrinsic definition.
@efriedma wdyt? Can you point out where the intrinsic handling is located?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D115302