[llvm-commits] [llvm] r118687 - in /llvm/trunk: include/llvm/Analysis/AliasAnalysis.h lib/Transforms/IPO/FunctionAttrs.cpp

[Duncan Sands]

Hi Dan,

> +  /// 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).

can't they also write to objects pointed to by their arguments?

> +        if (AliasAnalysis::onlyAccessesArgPointees(MRB)) {
> +          // If the call does access argument pointees, check each argument.
>             if (MRB&  AliasAnalysis::AccessesArguments)

Is this second "if" redundant?

Ciao,

Duncan.