We establish some second-order necessary optimality conditions for strong local minima in the Mayer type optimal control problem with a general control constraint U subset of IRm and final state constraint described by a finite number of inequalities. In the difference with the main approaches of the existing literature, the second order tangents to U and the second order linearization of the control system are used to derive the second-order necessary conditions. This framework allows to replace the control system at hand by a differential inclusion with convex right-hand side. Such a relaxation of control system, and the differential calculus of derivatives of set-valued maps lead to fairly general statements. We illustrate the results by considering the case of control constraints defined by inequalities involving functions with positively or linearly independent gradients of active constraints, but also in the cases where the known approaches do not apply.