RFR(XS): JDK-8040921: Uninitialised memory in hotspot/src/share/vm/c1/c1_LinearScan.cpp

Christian Thalinger christian.thalinger at oracle.com
Fri May 2 01:51:00 UTC 2014


On May 1, 2014, at 8:34 AM, Morris Meyer <morris.meyer at oracle.com> wrote:

> The parfait error is with the ASSERT define blocking out initialization of a the fpu structures when that code path is enabled.
> 
> I've removed the ifdef such that both paths initialized their cpu and fpu variables, and the assertion is always checked.

But the code path using the uninitialized variables is also under:

1648   if (has_fpu_registers()) {

Am I missing something?  Anyway, during an earlier internal review I said we should keep the assert; I take that back.  We should move the variables and initialization down to the use and remove the assert.  It doesn’t have much value anyway.

> 
> --mm
> 
> On 4/30/14, 3:36 PM, Christian Thalinger wrote:
>> I don’t understand the Parfait error here.  Could you explain?
>> 
>> On Apr 30, 2014, at 7:40 AM, Morris Meyer <morris.meyer at oracle.com> wrote:
>> 
>>> Folks,
>>> 
>>> Could I get a review for this Parfait uninitialized variable issue? This has been tested with JPRT and a clear pass with Parfait.
>>> 
>>> Thanks,
>>> 
>>>        --mm
>>> 
>>> BUG - https://bugs.openjdk.java.net/browse/JDK-8040921
>>> WEBREV - http://cr.openjdk.java.net/~morris/JDK-8040921.05
>>> 
>>> 
> 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.openjdk.java.net/pipermail/hotspot-compiler-dev/attachments/20140501/644bbf51/attachment.html>


More information about the hotspot-compiler-dev mailing list