There are 'safe' combination if you want to VMWare Workstation/Player:
- Linux Kernel 3.8.x and GCC 4.8.x
- Linux Kernel 3.9.x and GCC 4.7.x
Update 1: Luigi Trovato has mentioned that he has successfully built VMWare Workstation 9.0.2 on Linux Kernel 3.9.2 with GCC 4.8.0 and it worked. I'm currently downloading Linux Kernel 3.9.2 and will compile it to try it out. I was using Linux Kernel 3.9.0 and didn't try other version.
Update 2: I have successfully compiled Linux Kernel 3.9.2 and i can confirm that this version does work with VMWare Workstation 9.0.2 and GCC 4.8.0. I didn't see any changes within the vmci source code, but apparently it worked now, so you can use both Linux Kernel 3.8 or 3.9 along with GCC 4.7.3 or 4.8.0 combination.