[Bug ipa/119312] Constant array not allocated in read-only segment

[hubicka at gcc dot gnu.org]

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

--- Comment #12 from Jan Hubicka <hubicka at gcc dot gnu.org> ---
Indeed at IPA level we track if address of a symbol is taken, but we do not
keep any extra info about how it may be used.  It would be useful to track
 1) if address is used only to read (to figure out readonly vars)
 2) if there are no compares with other addresses (to enable more ICF)
I probably should get to that next stage1.

If I understand Joseph's reply right, we may infer const qualifier on variables
consisting of structures with only const fields and no padding? I guess that
would be useful thing to do in some cases.