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

Lines Matching refs:conjureSymbolVal

945         SVal result = C.getSValBuilder().conjureSymbolVal(0, CE, LCtx,
1080         SVal CmpV = svalBuilder.conjureSymbolVal(0, CE, LCtx, C.blockCount());
1190       result = C.getSValBuilder().conjureSymbolVal(0, CE, LCtx, C.blockCount());
1213       result = C.getSValBuilder().conjureSymbolVal(0, CE, LCtx, C.blockCount());
1590     Result = svalBuilder.conjureSymbolVal(0, CE, LCtx, C.blockCount());
1747     SVal resultVal = svalBuilder.conjureSymbolVal(0, CE, LCtx, C.blockCount());

OpenGrok