结论：在法院判决赠与无效后，若房产已被抵押，法院的执行程序会相对复杂，但基本流程包括确定返还义务、评估房产价值、处理抵押权以及实际执行返还等步骤。以下是对这一过程的详细解释：

1. 确定返还义务：

   • 法院判决赠与无效后，首先会明确原房主与受赠人之间的权利义务关系，即受赠人需将房产份额返还给原房主。

2. 评估房产价值：

   • 在执行返还前，法院可能会委托专业机构对房产进行评估，以确定其当前的市场价值。这一步骤对于后续处理抵押权以及确定返还的具体方式（如金钱补偿或实物返还）至关重要。

3. 处理抵押权：

   • 抵押权优先受偿：若房产上设有抵押权，且该抵押权在赠与行为发生前已设立或同时设立并依法登记，则抵押权人享有优先受偿的权利。这意味着在返还房产或进行金钱补偿时，需先满足抵押权人的债权。
   • 协商或诉讼解决：原房主、受赠人与抵押权人之间可以协商解决抵押权的处理方式，如提前清偿债务、置换抵押物等。若协商不成，抵押权人可能会通过诉讼方式主张其权利，法院将根据具体情况作出裁决。
   • 执行中的特殊处理：在执行过程中，若抵押权人的债权得到满足后仍有剩余价值，或抵押权人同意放弃部分权利，法院将根据剩余价值或协商结果继续执行返还程序。

4. 实际执行返还：

   • 实物返还：若房产未因抵押权实现而被处置，且原房主希望恢复对房产的完全所有权，法院将责令受赠人将房产份额实际返还给原房主，并办理相关的产权变更登记手续。
   • 金钱补偿：若因抵押权实现等原因导致房产无法实物返还，或原房主与受赠人协商一致选择金钱补偿方式，法院将根据房产评估价值及抵押权处理情况，确定受赠人应向原房主支付的补偿金额，并执行该金额的支付。

法律建议：

• 在整个执行过程中，建议原房主、受赠人及抵押权人保持沟通，尽量通过协商方式解决争议，以减少诉讼成本和时间。
• 若协商不成，各方应及时寻求法律援助，通过诉讼或仲裁等法律途径维护自身权益。
• 在处理抵押权时，需特别注意抵押权的设立时间、登记情况以及债权金额等因素，这些因素将直接影响抵押权的优先受偿顺序和范围。

可能后果：

• 若受赠人拒不履行返还义务，法院可依法对其采取强制执行措施，如查封、扣押、拍卖财产等。
• 若因抵押权实现导致房产被处置，原房主可能面临无法恢复对房产完全所有权的风险，此时需根据具体情况寻求其他法律救济途径。

如有任何疑问或需要进一步的法律帮助，请直接向我咨询。