Hi Andreas,
Well, nothing is going to write to it (this is not accessible by user code), so that should not be a problem.Then don't make it read-only.
I tried this, and while it solves the executable size problem, it causes an OpenMP regression (see https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84487#c22 ), so now I am out of ideas. Oh well, I would have liked fixing this before 9.0, but it seems that this may not be possible.