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

--- Comment #5 from Antoni <bouanto at zoho dot com> ---
(In reply to Andrew Pinski from comment #3)
> >Rust will sometimes copy uninitialized memory and I'd like to avoid 
> >disabling this specific warning.
> 
> 
> Note in C, there are specific rules about copying unitialized memory. Most
> is it is undefined. It is kinda of odd a "security" language like Rust
> allows copying unitialized memory at all since a copy should be considered
> an use ...

So, if it is UB in C, it makes sense that the analyzer stays that way.
However, I would need another solution to copy undefined memory using a
different GIMPLE construct or something.

Reply via email to