Searched defs:StSameBuf (Results 1 - 1 of 1) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
H A DCStringChecker.cpp1102 ProgramStateRef StSameBuf, StNotSameBuf; local
1103 std::tie(StSameBuf, StNotSameBuf) = state->assume(SameBuf);
1107 if (StSameBuf) {
1108 state = StSameBuf;
1111 state = StSameBuf->BindExpr(CE, LCtx,
1724 ProgramStateRef StSameBuf, StNotSameBuf; local
1725 std::tie(StSameBuf, StNotSameBuf) = state->assume(SameBuf);
1729 if (StSameBuf) {
1730 StSameBuf = StSameBuf
[all...]

Completed in 71 milliseconds