Cross Reference: /external/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp

Lines Matching refs:getSValBuilder
210   SValBuilder &svalBuilder = C.getSValBuilder();
280   SValBuilder &svalBuilder = C.getSValBuilder();
343   SValBuilder &svalBuilder = C.getSValBuilder();
440   SValBuilder &svalBuilder = C.getSValBuilder();  
552   SValBuilder &svalBuilder = C.getSValBuilder();
666   SValBuilder &svalBuilder = C.getSValBuilder();
725     SValBuilder &svalBuilder = C.getSValBuilder();
937         SVal lastElement = C.getSValBuilder().evalBinOpLN(state, BO_Add, 
947         SVal result = C.getSValBuilder().conjureSymbolVal(0, CE, LCtx,
1027   SValBuilder &svalBuilder = C.getSValBuilder();
1125       SVal zero = C.getSValBuilder().makeZeroVal(CE->getType());
1159     QualType cmpTy = C.getSValBuilder().getConditionType();
1174           state->assume(C.getSValBuilder().evalBinOpNN(
1192       result = C.getSValBuilder().conjureSymbolVal(0, CE, LCtx, C.blockCount());
1196         state = state->assume(C.getSValBuilder().evalBinOpNN(
1202         state = state->assume(C.getSValBuilder().evalBinOpNN(
1215       result = C.getSValBuilder().conjureSymbolVal(0, CE, LCtx, C.blockCount());
1309   SValBuilder &svalBuilder = C.getSValBuilder();
1671   SValBuilder &svalBuilder = C.getSValBuilder();
1787   SValBuilder &SVB = C.getSValBuilder();
OpenGrok
