Searched refs:NotSameBuffer (Results 1 – 1 of 1) sorted by relevance
1384 ProgramStateRef SameBuffer, NotSameBuffer; in evalMemcmp() local1385 std::tie(SameBuffer, NotSameBuffer) = in evalMemcmp()1390 if (SameBuffer && !NotSameBuffer) { in evalMemcmp()1403 assert(NotSameBuffer); in evalMemcmp()