> To me, all of these do the same thing and should generate the same code. > As nobody else can see removeme, and we aren't leaking its address, shouldn't > the compiler be able to deduce that all accesses to removeme are > inconsequential and can be removed? > > My gcc 11.3 generates a condidion and a store and a return 0 for dummy1, the > same thing for dummy2, but for dummy3 it understands that it only needs to > emit > a return 0.
GCC detects "write olny" variables and that is what matches for dummy3. I am not 100% sure it is valid to do the optimization in other two cases since when multiple threads are considered. In any case we lack tracking of constants stored to global variables which is something ipa-cp can be extended to. Honza
