Searched refs:NotSameBuffer (Results 1 – 1 of 1) sorted by relevance
1637 ProgramStateRef SameBuffer, NotSameBuffer; in evalMemcmp() local1638 std::tie(SameBuffer, NotSameBuffer) = in evalMemcmp()1643 if (SameBuffer && !NotSameBuffer) { in evalMemcmp()1656 assert(NotSameBuffer); in evalMemcmp()