[PATCH] Introduce gcov.h header file (PR gcov-profile/80435).

[Martin Liška]

Hi.

I discussed following patch with Jakub and Honza approved it in:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80435#c3

Patch can bootstrap on ppc64le-redhat-linux and survives regression tests.

Martin
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-Introduce-gcov.h-header-file-PR-gcov-profile-80435.patch
Type: text/x-patch
Size: 5513 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20170419/52d048fd/attachment.bin>