Infinite loop in Bounded-waiting Mutual Exclusion with test and set

Question

In the book Operating System Concepts book of (Avi Silberschatz, Peter Baer Galvin, Greg Gagne) edition 9

In the process synchronization chapter, there is an algorithm fo