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

--- Comment #11 from Antoni <antoyo at gcc dot gnu.org> ---
Created attachment 65411
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=65411&action=edit
Reproducer that takes the address

David: the last comment #10 mentions that it should only be UB when the address
is never taken.
This new reproducer takes the address, yet it still emits the following:

reproducer_take_address.c:24:12: warning: use of uninitialized value
‘*(uint64_t *)(&slot[8])’ [CWE-457] [-Wanalyzer-use-of-uninitialized-value]

Is this expected that -fanalyzer emits this warning in this case?

Also, I'd like to know your opinion on this question I posted in my first
comment:

> Should there be a distinction between copying uninitialized memory and using 
> it?

Thanks.

Reply via email to