Неверный результат в анализе псевдонимов 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, т.е. результат Alias.Куда я иду не так?Я включил параметр -basicaa в команду opt для запуска этого.