https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86132
Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Severity|normal |enhancement See Also| |https://gcc.gnu.org/bugzill | |a/show_bug.cgi?id=94836, | |https://gcc.gnu.org/bugzill | |a/show_bug.cgi?id=60320 --- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Basically single and single_slow are called write once read many functions in that once called they will return the same value always. I thought I had saw a bug report asking for an attribute that would do that (the bug report was specifically to help GCJ code generation even). Very similar to PR 94836 (but it is the opposite as that one is never really written to). There might be others but I can't find it right now.