https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61867
--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> --- I'm pretty sure gcc does detect it and optimizes appropriately, it just doesn't warn (because it's not a static analyzer)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61867
--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> --- I'm pretty sure gcc does detect it and optimizes appropriately, it just doesn't warn (because it's not a static analyzer)