git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@118693
91177308-0d34-0410-b5e6-
96231b3b80d8
}
/// onlyAccessesArgPointees - Return true if functions with the specified
- /// behavior are known to read at most from objects pointed to by their
- /// pointer-typed arguments (with arbitrary offsets).
+ /// behavior are known to read and write at most from objects pointed to by
+ /// their pointer-typed arguments (with arbitrary offsets).
///
static bool onlyAccessesArgPointees(ModRefBehavior MRB) {
return !(MRB & Anywhere & ~ArgumentPointees);