RFR(XS) JDK-8013830: [parfait] Uninitialised pointer 'Reachblock' may be used as argument

Roland Westrelin roland.westrelin at oracle.com
Tue Oct 8 05:06:49 PDT 2013


> At row 1330 in reg_split.cpp we check if we can split by re-materializing 'def'. We only enter split_Rematerialize() at row 1341 if the 'def' node doesn't have any live range inputs (contains_no_live_range_input(def)).
> This means that the condition at split_Rematerialize() at row 377 will never be true when entering from row 1341. Because of this we can pass in NULL at the call on row 1341 instead of the uninitialized pointer 'Reachblock'.

Thanks for the explanation. That looks good to me then.

Roland.


More information about the hotspot-compiler-dev mailing list