https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78786

--- Comment #4 from Vincent Lefèvre <vincent-gcc at vinc17 dot net> ---
(In reply to Vincent Lefèvre from comment #3)
> On -33 0, this program outputs:
> 
> 2147483616
> 10487712

I forgot to say that I used "/usr/bin/time -f %M ..." to get the second output
number, which is the peak memory, where /usr/bin/time is GNU time.

Reply via email to