ggc-page.c (release_pages): Output statistics when !quiet_flag.
authorJan Hubicka <hubicka@ucw.cz>
Fri, 11 Oct 2019 11:53:40 +0000 (13:53 +0200)
committerJan Hubicka <hubicka@gcc.gnu.org>
Fri, 11 Oct 2019 11:53:40 +0000 (11:53 +0000)
commite5207f1a6528877713109dc59b8db6c62a6eca28
tree34f4f7fba3ec2a97f492c3aa15d13541aa5a3843
parent9d99596e3289766c392466eebb8b2f2d2f4f1bc1
ggc-page.c (release_pages): Output statistics when !quiet_flag.

* ggc-page.c (release_pages): Output statistics when !quiet_flag.
(ggc_collect): Dump later to not interfere with release_page dump.
(ggc_trim): New function.
* ggc-none.c (ggc_trim): New.
* ggc.h (ggc_trim): Declare.

* lto.c (lto_wpa_write_files): Call ggc_trim.

From-SVN: r276878
gcc/ChangeLog
gcc/ggc-none.c
gcc/ggc-page.c
gcc/ggc.h
gcc/lto/ChangeLog
gcc/lto/lto.c