- for (CallSite::arg_iterator BI = CS.arg_begin(); BI != AE; ++BI) {
- Assert1(AI == BI || AA->alias(*AI, *BI) != AliasAnalysis::MustAlias,
+ for (CallSite::arg_iterator BI = CS.arg_begin(); BI != AE; ++BI)
+ Assert1(AI == BI ||
+ !(*BI)->getType()->isPointerTy() ||
+ AA->alias(*AI, *BI) != AliasAnalysis::MustAlias,