Searched refs:NotSameBuffer (Results 1 – 1 of 1) sorted by relevance
1410 ProgramStateRef SameBuffer, NotSameBuffer; in evalMemcmp() local1411 std::tie(SameBuffer, NotSameBuffer) = in evalMemcmp()1416 if (SameBuffer && !NotSameBuffer) { in evalMemcmp()1429 assert(NotSameBuffer); in evalMemcmp()