If the code had instead been licensed as BSD then things would not be different in the slightest for someone who ended up with the code from the original authors. If some legal thing prevents some use permitted by the GPL than that use would of been prevented for the BSD licensed code as well.