Lines Matching refs:ASE
43 const auto *ASE = dyn_cast<ArraySubscriptExpr>(E); in getAsCleanArraySubscriptExpr() local
44 if (!ASE) in getAsCleanArraySubscriptExpr()
47 const MemRegion *SubscriptBaseReg = C.getSVal(ASE->getBase()).getAsRegion(); in getAsCleanArraySubscriptExpr()
57 return ASE; in getAsCleanArraySubscriptExpr()
65 const auto *ASE = getAsCleanArraySubscriptExpr(E, C); in determineElementType() local
66 if (!ASE) in determineElementType()
69 return ASE->getType(); in determineElementType()
694 if (const auto *ASE = dyn_cast<ArraySubscriptExpr>(E)) in performCheck() local
695 if (isTainted(State, ASE->getIdx(), C.getLocationContext())) in performCheck()
796 const ArraySubscriptExpr *ASE = getAsCleanArraySubscriptExpr(E, C); in isOffsetObviouslyNonnegative() local
797 if (!ASE) in isOffsetObviouslyNonnegative()
799 return ASE->getIdx()->getType()->isUnsignedIntegerOrEnumerationType(); in isOffsetObviouslyNonnegative()