>>> On 25.03.15 at 21:03, <dsl...@verizon.com> wrote: > On 03/25/15 11:48, Jan Beulich wrote: >>>>> On 25.03.15 at 16:02, <andrew.coop...@citrix.com> wrote: >>> As an aside, the compiler is in a very easy position to spot this. The >>> error means that GCC has positively identified a basic block which does >>> use bufioreq_pfn before it has been initialised. >>> > > If the compiler is right, how come the messages says: > > may be used > > which to me says that it's determination is not 100%
No, that's a wrong interpretation of the wording - it instead means that there is at least one path where the variable gets initialized, and at least one where that's not provably the case. As opposed to a variable being used uninitialized no matter what path leads to the use site. Jan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
