gpl, gdb and wigglers.dll

[Quality Quorum]

Hi, 

There is a piece of gdb code (I suppose in ser-ocd.c), which loads
and uses proprietary dll. It seems to me that it is this is a violation
of the GPL. So, I am wondering which of the following is true (and why):

1. It is not a violation of GPL.
2. It is not a violation of GPL 2, it will be prohibited in future GPL
versions.
3. It is a violation of GPL and it will be removed ASAP.
4. It is a viilation of GPL, however, nothing is going to be done about
it.
4. It is wigglers-specific exclusion from GPL  requirements and it is
going to stay this way.
6. It is gdb-specific exclusion from GPL requirements and it is going to 
stay this way.
7. None of the above.

Thanks,

Aleksey