Searched refs:NotSameBuffer (Results 1 – 1 of 1) sorted by relevance
1316 ProgramStateRef SameBuffer, NotSameBuffer; in evalMemcmp() local1317 std::tie(SameBuffer, NotSameBuffer) = in evalMemcmp()1322 if (SameBuffer && !NotSameBuffer) { in evalMemcmp()1335 assert(NotSameBuffer); in evalMemcmp()