So if John Smith,a Microsoft VP,is given a house as part of his compensation package and,during this time,his wife Mary files for divorce (and has,say,two young kids),the divorce court orders Mary and the kids to leave? I sincerely doubt it.
If the house belongs to MS, and John was just allowed to live in it as an MS perk, and MS can withdraw the right at any time, then I think MS can say to Mrs Smith "If the house is no longer a facility for Mr Smith, then we're taking it back".
In other words, the court can force John to move out, but it cannot force MS to continue to provide the perk. The court could, however, demand that John obtain a comparable residence for Mrs Smith and the kids.