Home
last modified time | relevance | path

Searched refs:StSameBuf (Results 1 – 1 of 1) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
DCStringChecker.cpp1188 ProgramStateRef StSameBuf, StNotSameBuf; in evalMemcmp() local
1189 std::tie(StSameBuf, StNotSameBuf) = state->assume(SameBuf); in evalMemcmp()
1193 if (StSameBuf) { in evalMemcmp()
1194 state = StSameBuf; in evalMemcmp()
1197 state = StSameBuf->BindExpr(CE, LCtx, in evalMemcmp()
1811 ProgramStateRef StSameBuf, StNotSameBuf; in evalStrcmpCommon() local
1812 std::tie(StSameBuf, StNotSameBuf) = state->assume(SameBuf); in evalStrcmpCommon()
1816 if (StSameBuf) { in evalStrcmpCommon()
1817 StSameBuf = StSameBuf->BindExpr(CE, LCtx, in evalStrcmpCommon()
1819 C.addTransition(StSameBuf); in evalStrcmpCommon()