We will consider a class of state-constrained control problems lacking controllability assumptions and we will review some results on the characterization of the value function as solution of an appropriate HJB equation. Some of the results that will be discussed here are already known and some others are new.