Fix test_select

This is a do-while loop, we need to check for loop invariant here.

Bug: 26632332
Change-Id: I018e19fa52c013acffaa37886aa6918b26ca3dba
2 files changed