https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112575
Bug ID: 112575
Summary: Segfault in libgccjit due to not cleaning up some
target specific cache
Product: gcc
Version: 13.1.1
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: target
Assignee: unassigned at gcc dot gnu.org
Reporter: bouanto at zoho dot com
Target Milestone: ---
I'll soon post a patch to fix this.
