Searched refs:StSameBuf (Results 1 – 1 of 1) sorted by relevance
1107 ProgramStateRef StSameBuf, StNotSameBuf; in evalMemcmp() local1108 std::tie(StSameBuf, StNotSameBuf) = state->assume(SameBuf); in evalMemcmp()1112 if (StSameBuf) { in evalMemcmp()1113 state = StSameBuf; in evalMemcmp()1116 state = StSameBuf->BindExpr(CE, LCtx, in evalMemcmp()1729 ProgramStateRef StSameBuf, StNotSameBuf; in evalStrcmpCommon() local1730 std::tie(StSameBuf, StNotSameBuf) = state->assume(SameBuf); in evalStrcmpCommon()1734 if (StSameBuf) { in evalStrcmpCommon()1735 StSameBuf = StSameBuf->BindExpr(CE, LCtx, in evalStrcmpCommon()1737 C.addTransition(StSameBuf); in evalStrcmpCommon()