Bug 26883

Summary: Should report unitialized blank final field
Product: [Eclipse Project] JDT Reporter: Philipe Mulet <philippe_mulet>
Component: CoreAssignee: Philipe Mulet <philippe_mulet>
Status: VERIFIED FIXED QA Contact:
Severity: normal    
Priority: P3    
Version: 2.1   
Target Milestone: 2.1 M4   
Hardware: PC   
OS: Windows 2000   
Whiteboard:

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.