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.