LLVM别名分析中的结果不正确

Question

我想检查程序别名中的值a和b。

int main() { 
int *a,*b; 
a=(int *)malloc(sizeof(int));
b=(int *)malloc(sizeof(int));
*a=10;
*b=8;
return 0;
 }

我使用下面的代码（已经定义了getAnalysisUsage方法）

AliasAnalysis::Location loc1=AliasAnalysis::Location(k1);  //a
AliasAnalysis::Location loc2=AliasAnalysis::Location(k2);  //b
AliasAnalysis::AliasResult ar=AA.alias(loc1,loc2);

但我得到ar = 1，即May Alias结果。我哪里错了？我有 在opt命令中包含-basicaa选项以运行它。