https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83027 --- Comment #9 from simon at pushface dot org --- Seems to me your problem is with the Ahven library rather than with GCC, so the person to investigate it should be the Ahven maintainer.