REDU9-Class fields that possibly are zero-initialized in constructor

Top  Previous  Next

 

Class fields that possibly are zero-initialized in constructor (REDU9)

 

This is a list of all class fields that possibly are zero-initialized in constructor. They are referenced in unknown fashion, and the parser cannot determine whether they are set or just referenced in these locations. Since class fields are automatically zero-initialized when the object is created, there is usually no need to include this code.

 

Example:

 

clip0118

 

 

See also:

 

Reductions