Summary: | Uninitialized variable warning does not analyze the program thoroughly enough | ||
---|---|---|---|
Product: | [Eclipse Project] JDT | Reporter: | Oyvind Harboe <oyvind.harboe> |
Component: | Core | Assignee: | Philipe Mulet <philippe_mulet> |
Status: | RESOLVED WONTFIX | QA Contact: | |
Severity: | enhancement | ||
Priority: | P3 | ||
Version: | 2.1 | ||
Target Milestone: | 2.1 M5 | ||
Hardware: | All | ||
OS: | All | ||
Whiteboard: |
Description
Oyvind Harboe
2003-01-15 02:23:47 EST
This is a consequence of the conservative definite assignment rules described in JLS (chapter 16). In brief, the analysis doesn't look deep enough to figure that it will perform at least one iteration in the loop (it could since only constants are involved, but this is the conservative spec we implement). Javac and Jikes behave in the same way. Closing, following the JLS. |