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

--- Comment #5 from SHIH YEN-TE <shihyente at hotmail dot com> ---
Thanks, call pool.clear(); works.

Reply via email to