I remember RMS saying the GPL doesn't restrict how you USE the software. It just adds the responsibility of providing source code to the users.

If it doesn't allow some uses, I don't think it is free software.

restricting availability of binaries might be ok with free software.

I don't know.