Searched refs:makeArrayIndex (Results 1 - 6 of 6) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundCheckerV2.cpp227 return val.getAs<UndefinedVal>() ? svalBuilder.makeArrayIndex(0) : val;
236 sb.makeArrayIndex(scaling.getQuantity()),
/external/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIChecker.cpp170 const NonLoc Idx = Ctx.getSValBuilder().makeArrayIndex(i);
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h231 NonLoc makeArrayIndex(uint64_t idx) { function in class:clang::ento::SValBuilder
/external/clang/lib/StaticAnalyzer/Core/
H A DStore.cpp47 NonLoc idx = svalBuilder.makeArrayIndex(index);
H A DRegionStore.cpp2092 const NonLoc &Idx = svalBuilder.makeArrayIndex(i);
2139 NonLoc Idx = svalBuilder.makeArrayIndex(index);
H A DExprEngineC.cpp963 RHS = svalBuilder.makeArrayIndex(1);

Completed in 89 milliseconds