Searched defs:StNotSameBuf (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);
1119 if (StNotSameBuf) {
1120 state = StNotSameBuf;
1724 ProgramStateRef StSameBuf, StNotSameBuf; local
1725 std::tie(StSameBuf, StNotSameBuf) = state->assume(SameBuf);
1735 if (!StNotSameBuf)
1739 assert(StNotSameBuf);
1740 state = StNotSameBuf;

Completed in 75 milliseconds