https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98630
--- Comment #12 from Karine EM <k.even-mendoza at imperial dot ac.uk> --- Yes, I could do that (comment #7). But I reduce manually the program and the problem was indeed the scenario in comment #8 (not between functions, only different blocks, but I assume it is pretty much the same). If you add a new warning also to GCC at some point, it will be useful.
