Keil uVision5 armcc.exe: Problem with unsigned shorts in if statement not working correctly?

Question

armcc.exe V5.06 (750) Please let me know why the code marked faulty does not work for as soon as the val16 overflows and becomes smaller than start_count. The loop no longer exi