[PATCH] D135864: [TBAA] Model call accessing immutable type as readnone

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

Okay, at least for FunctionModRefBehavior / getModRefBehavior() there's a clear answer here: https://github.com/llvm/llvm-project/blob/98eedd406aa0a9360a8ef3b8bbe85d3d30367fdc/llvm/include/llvm/IR/ModRef.h#L60-L62 So at least this patch is correct.

The inconsistent handling in getModRefInfo() is still concerning, though probably it matters little in practice.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D135864