Searched refs:NotSameBuffer (Results 1 – 1 of 1) sorted by relevance
1489 ProgramStateRef SameBuffer, NotSameBuffer; in evalMemcmp() local1490 std::tie(SameBuffer, NotSameBuffer) = in evalMemcmp()1495 if (SameBuffer && !NotSameBuffer) { in evalMemcmp()1508 assert(NotSameBuffer); in evalMemcmp()