Re: [PATCH 09/16] libiberty.h: Provide CTIMER_PUSH/POP

[Jeff Law]

On 06/01/2015 03:30 PM, DJ Delorie wrote:

libiberty is not an API to gcc, it is a portability library.  If GCC
is exporting a timer, GCC's headers should have the interface in it.

Agreed.

jeff