As mentioned above a project that makes use of libEDoc is not restricted to using an open source license for their source code. However it should be noted that if a user wishes to make use of the ability to embed EDoc++ data file into a binary file (I.e. Using libEDocBFD), then this will introduce the GPL License into their source base as libEDocBFD makes use of libbfd from binutils, which is Licensed under the GPL License.
It is also important to think carefully about the data generated by the modified GCC (I.e. .edc files). This data is in a sense a subset representation of the source that is being compiled. Since it is derived from the source the .edc files themselves may also be covered by certain terms of a license.