>>> On 25.03.15 at 21:03, <[email protected]> wrote: > On 03/25/15 11:48, Jan Beulich wrote: >>>>> On 25.03.15 at 16:02, <[email protected]> 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 [email protected] http://lists.xen.org/xen-devel
