https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61180
Joost VandeVondele <Joost.VandeVondele at mat dot ethz.ch> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |Joost.VandeVondele at mat dot
ethz
| |.ch
--- Comment #2 from Joost VandeVondele <Joost.VandeVondele at mat dot ethz.ch>
---
(In reply to Dominique d'Humieres from comment #1)
> Why do you think the warnings are not needed?
I'm only suggesting that the warning is not needed for the first two
assignments. They are just correct, and clearly pointer assignment is not
intended (or possible in the first case).
The crash is for the 3rd case, where the warning is indeed correct (but it is
not documented that this check is done).
