It has long been known that barrier algorithms for constrained optimization
can produce a sequence of iterates converging to a critical point satisfyi
ng weak second-order necessary optimality conditions, when their inner iter
ations ensures that second-order necessary conditions hold at each barrier
minimizer We show that, despite this, strong second-order necessary conditi
ons may fail to be attained at the limit, even if the barrier minimizers sa
tisfy second-order sufficient optimality conditions.