Bug 559963 - Wrong null analysis with code in dead block
Summary: Wrong null analysis with code in dead block
Status: NEW
Alias: None
Product: JDT
Classification: Eclipse Project
Component: Core (show other bugs)
Version: 4.7.3   Edit
Hardware: Macintosh Mac OS X
: P3 normal (vote)
Target Milestone: ---   Edit
Assignee: JDT-Core-Inbox CLA
QA Contact:
URL:
Whiteboard: stalebug
Keywords:
Depends on:
Blocks:
 
Reported: 2020-02-10 03:41 EST by Sebastien Eon CLA
Modified: 2024-01-22 02:16 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 Sebastien Eon CLA 2020-02-10 03:41:43 EST
```
	private static final boolean ONE_OR_THE_OTHER = true;

	public static void main(String[] args) {
		if (ONE_OR_THE_OTHER) {
			Object object = new Object();
			myMethod(object);
		} else {
			Object object = new Object();
			myMethod(object);
		}
	}

	private static void myMethod(@NonNull Object object) {
	}
```

Depending on the value of the boolean, the object in the "dead code block" is considered as `null` when calling `myMethod()`.
(`Null type safety: The expression of type 'Object' needs unchecked conversion to conform to '@NonNull Object'`)
Comment 1 Eclipse Genie CLA 2022-01-31 14:57:28 EST
This bug hasn't had any activity in quite some time. Maybe the problem got resolved, was a duplicate of something else, or became less pressing for some reason - or maybe it's still relevant but just hasn't been looked at yet.

If you have further information on the current state of the bug, please add it. The information can be, for example, that the problem still occurs, that you still want the feature, that more information is needed, or that the bug is (for whatever reason) no longer relevant.

--
The automated Eclipse Genie.
Comment 2 Eclipse Genie CLA 2024-01-22 02:16:18 EST
This bug hasn't had any activity in quite some time. Maybe the problem got resolved, was a duplicate of something else, or became less pressing for some reason - or maybe it's still relevant but just hasn't been looked at yet.

If you have further information on the current state of the bug, please add it. The information can be, for example, that the problem still occurs, that you still want the feature, that more information is needed, or that the bug is (for whatever reason) no longer relevant.

--
The automated Eclipse Genie.