Diagonal solutions of a Lyapunov inequality for companion matrices are studied. Such solutions are required if states of a discrete-time linear system are computed with a finite-precision arithmetic.