Login

Recent searches

No recent searches

Search options

Only available when logged in.
social.coop is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Fediverse instance for people interested in cooperative and collective projects. If you are interested in joining our community, please apply at https://join.social.coop/registration-form.html.

Administered by:

Server stats:

479
active users

social.coop: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.4

#intellijidea

1 post1 participant0 posts today
Public
Tagir Valeev

I experimentally rewrote the Java redundant field assignment analysis in #IntelliJIDEA to reuse our abstract interpretation engine. Now, it's much more sophisticated and can find interesting bugs like this. The assignment is clearly wrong. It was intended to use `whiteColor = DEFAULT_WHITE_COLOR;` (without `this.`). How can the analysis see it? Now, it understands that if you visit the first if statement, you'll definitely visit the second one, so the `this.whiteColor` field will be overwritten.

void setWhiteColor(Color whiteColor) { Color oldValue = this.whiteColor; if (whiteColor == null) { this.whiteColor = DEFAULT_WHITE_COLOR; } if (!oldValue.equals(whiteColor)) { this.whiteColor = whiteColor; propertyChangeSupport.firePropertyChange(ATTR_WHITE_COLOR, oldValue, this.whiteColor); } }
ExploreLive feeds
About