Bug 26883 - Should report unitialized blank final field
Summary: Should report unitialized blank final field
Status: VERIFIED FIXED
Alias: None
Product: JDT
Classification: Eclipse Project
Component: Core (show other bugs)
Version: 2.1   Edit
Hardware: PC Windows 2000
: P3 normal (vote)
Target Milestone: 2.1 M4   Edit
Assignee: Philipe Mulet CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2002-11-21 12:45 EST by Philipe Mulet CLA
Modified: 2002-12-17 11:24 EST (History)
0 users

See Also:


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Philipe Mulet CLA 2002-11-21 12:45:43 EST
Build 2.1-M3

On following scenario, blank should be flagged as unitialized.

class X {
	final int blank;
	X() {
	    if(null == null) return;
	    blank = 1;
	}
}
Comment 1 Philipe Mulet CLA 2002-11-21 12:46:18 EST
Fixed, was checking the initializerFlowContext, instead of the 
constructorContext.
Comment 2 David Audel CLA 2002-12-17 11:24:42 EST
Verified.