This paper is concerned with the study of necessary optimality conditions for some state constrained control problems. The authors formulate an abstract infinite-dimensional optimization problem: \[ \min f(y,u):=f_1(u)+f_2(y),\quad\text{subject to }u\in U_0,\;y\in Y,\;g(y)\in-C\text{ and } A(y)-u=0, \] where \(C\) and \(U_0\) are convex closed subsets of some locally convex topological vector spaces \(Z\) and \(U\), respectively. They prove two different theorems providing the necessary conditions for optimality are satisfied by an optimal solution \((y,u)\). The first theorem assumes that \(A:Y\to U\) and \(g\) is affine, and the second deals with the case where \(A:Y\to Y^*\), \(U\subset Y^*\) and \(g\) may be nonlinear. Then these theorems are applied to some state constrained control problems, \(A(y)-u=0\) representing the state equation, \(u\) the control and \(y\) the state. The case of an elliptic quasilinear operator \(A\) is analyzed and \(g\) is allowed to involve differential operators.