Clarke critical values of subanalytic Lipschitz continuous functions

The main result of this note asserts that for any subanalytic locally Lipschitz function the set of its Clarke critical values is locally finite. The proof relies on Pawłucki's extension of the Puiseux lemma. In the last section we give an example of a co