Optimal control problems for semilinear elliptic equationswith control constraints and pointwise state constraints arestudied. Several theoretical results are derived, which arenecessary to carry out a numerical analysis for this class ofcontrol problems. In particular, sufficient second-order optimalityconditions, some new regularity results on optimal controls and asufficient condition for the uniqueness of the Lagrange multiplierassociated with the state constraints are presented.