> On Dec 19, 2016, at 6:04 PM, Bernd Schmidt wrote:
>
> I'll consider myself agnostic as to whether this is a feature we want or need,
Hi Bernd, thanks for reviewing this!
Regarding the usefulness of this feature, it has been discussed here (2 years
ago):
http://gcc.gcc.gnu.narkive.com/JfWUDn
I'll consider myself agnostic as to whether this is a feature we want or
need, so I'll just comment on some style questions. There's a fair
amount of coding style violations, I'll point some of them out but
please read the documents we have linked on this page:
https://gcc.gnu.org/contribute.
