On Fri, Jul 20, 2012 at 11:28 AM, Richard Guenther
wrote:
> On Fri, Jul 20, 2012 at 11:02 AM, Steven Bosscher
> wrote:
>> On Thu, Jul 19, 2012 at 11:09 AM, Richard Guenther
>> wrote:
>>> Hmm, pp_flush looks like a lot more expensive compared to pp_newline
>>> for example in
>>>
>>> @@ -74,7 +74
On Fri, Jul 20, 2012 at 11:02 AM, Steven Bosscher wrote:
> On Thu, Jul 19, 2012 at 11:09 AM, Richard Guenther
> wrote:
>> Hmm, pp_flush looks like a lot more expensive compared to pp_newline
>> for example in
>>
>> @@ -74,7 +74,7 @@ maybe_init_pretty_print (FILE *file)
>> static void
>> newline
On Thu, Jul 19, 2012 at 11:09 AM, Richard Guenther
wrote:
> Hmm, pp_flush looks like a lot more expensive compared to pp_newline
> for example in
>
> @@ -74,7 +74,7 @@ maybe_init_pretty_print (FILE *file)
> static void
> newline_and_indent (pretty_printer *buffer, int spc)
> {
> - pp_newline (
On Wed, Jul 18, 2012 at 7:18 PM, Steven Bosscher wrote:
> On Wed, Jul 18, 2012 at 10:08 AM, Steven Bosscher
> wrote:
>> On Wed, Jul 18, 2012 at 2:24 AM, H.J. Lu wrote:
>>> This caused:
>>>
>>> http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54008
>>
>> Yes, they failed in my testing, too. I must ha
