https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66790
--- Comment #20 from Kenneth Zadeck <zadeck at naturalbridge dot com> --- >> On second thoughts, for the first point, maybe a native speaker understands >> "an available definition on any path" as "an available definition on one >> path, >> whatever it is", in which case the description would be correct, albeit very >> confusing for non-native speakers. It would be good to have some insight >> from >> the DF maintainers here (CCed). A native English speaker would say that this could be written better. I would suggest the term "on at least one path" and this is what a MAY problem is generally defined as. I do have to say that I am still uncomfortable with changing RRE to use a MUST problem rather than a MAY problem. I see this as dumbing down the compiler to provide the semantics of uninitialized variables and it is a path that we have generally avoided in GCC. I do not have a better solution, but there is a feeling that something is being missed here.