Summary: | [compiler] Compiler incorrectly reports "variable may not have been initialized" | ||
---|---|---|---|
Product: | [Eclipse Project] JDT | Reporter: | Fares Abdullah <fares.abdullah> |
Component: | Core | Assignee: | Maxime Daniel <maxime_daniel> |
Status: | VERIFIED FIXED | QA Contact: | |
Severity: | normal | ||
Priority: | P3 | CC: | philippe_mulet |
Version: | 3.2 | ||
Target Milestone: | 3.2 M5 | ||
Hardware: | PC | ||
OS: | Windows XP | ||
Whiteboard: |
Description
Fares Abdullah
2006-02-10 08:54:42 EST
Only happens in compliance 1.3 mode. Fixed and released in HEAD. Change is a better flow info composition into WhileStatement#analyseCode for the empty block, compliance <= 1.3 branch. Added test cases to FlowAnalysisTest (2 to 5). Verification can leverage the original test case, in 1.3 compliance level. Verified for 3.2 M5 using build I20060214-0010 |