Then they would simply remove the GPL code and push out an update. The GPL does not compel the release of source code - if they accidentally distribute a produ

Then they would simply remove the GPL code and push out an update. The GPL does not compel the release of source code - if they accidentally distribute a product that does not comply with the requirements of the included GPL software then they simply lose the right to distribute the GPL software at the copyright holder's discretion.