Necessary conditions for optimal control problems with state-control variable inequality constraints are obtained via mathematical programming formulation and functional analysis in Banach space. These conditions are general ones that hold without any constraint qualifications but differentiability. Furthermore, these conditions are shown to be equivalent to the classical result in the presence of the linear independence constraint qualification.