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

--- Comment #17 from Jason Merrill <jason at gcc dot gnu.org> ---
(In reply to Jan Hubicka from comment #16)
> We are not too good on using const on automatic variables and static
> ones with constructors since they become effectively const only when
> they are constructed and it is not clear when this is done.

We could certainly represent that somehow.  Or assume that when passing the
address to a function, only passing it as the first argument to a [cd]tor could
change the value?

Reply via email to