Comment by Svip

The ground crew that check people's papers during boarding are not the same crew who are on the flight. Copenhagen Airport has a separate area for non-Schengen flights. He may "simply" have arrived from a non-Schengen origin and then avoided leaving through passport control and gone on a different flight, somehow.