Summary: | [null]Missing potential null warnings for variable on the right of an OR conditional expression | ||||||
---|---|---|---|---|---|---|---|
Product: | [Eclipse Project] JDT | Reporter: | Ayushman Jain <amj87.iitr> | ||||
Component: | Core | Assignee: | Ayushman Jain <amj87.iitr> | ||||
Status: | VERIFIED FIXED | QA Contact: | |||||
Severity: | normal | ||||||
Priority: | P3 | CC: | Olivier_Thomann | ||||
Version: | 3.6 | Flags: | Olivier_Thomann:
review+
|
||||
Target Milestone: | 3.6 M5 | ||||||
Hardware: | PC | ||||||
OS: | Windows XP | ||||||
Whiteboard: | |||||||
Attachments: |
|
Description
Ayushman Jain
2010-01-18 02:20:10 EST
Created attachment 156362 [details]
proposed fix v0.5 + regression tests
In order to use mergedWith() and avoid losing definitely null info in the right info when true, we should add that info to a temporary stream which has the left info as well, and use that stream to merge with the right info. This solves the problem.
Released patch for 3.6M5. Added regression tests: org.eclipse.jdt.core.tests.compiler.regression.NullReferenceTest#testBug299900a org.eclipse.jdt.core.tests.compiler.regression.NullReferenceTest#testBug299900b Verified for 3.6M5 using I20100125-0800 |