[llvm-commits] [llvm] r107546 - in /llvm/trunk: docs/AliasAnalysis.html include/llvm/Analysis/Passes.h

[Duncan Sands]

Hi Dan,

>     // createBasicAliasAnalysisPass - This pass implements the default alias
> -  // analysis.
> +  // analysis.  This analysis respects the noalias attribute, so it is not
> +  // suitable for some interprocedural uses (see the discussion of noalias
> +  // in AliasAnalysis.html for details).

this sounds more like a bug than a feature.  If BasicAliasAnalysis can return
wrong results, shouldn't it be fixed?

Ciao,

Duncan.