Would appreciate any input on this situation.

A friend of mine (originally Brazilian) has Swiss and Brazilian passports. Has been here in Brazil for a couple of years having entered on Brazilian passport. Now off to Europe for a few weeks but the Brazilian passport has expired so will have to travel on the Swiss one - which clearly doesn't have an entry stamp. Will there be trouble at GRU, assuming that the expired Brazilian passport, RG etc are also available at passport check ?

Many thanks in advance.