Show where a flow-refined variable got set to a given value

[GoogleCodeExporter]

Flow-sensitive type refinement permits the type of a variable to change
throughout its scope, depending on the values that are assigned to it.
The type can also be changed by other factors, such as a call to an
external method that might perform arbitrary assignments.

This can mean that it is difficult for a user to determine why a particular
variable is being treated as, say, possibly-null.

Here is the feature request:

Whenever the Checker Framework issues a type error that involves a local
variable that is subject to flow-refinement, then the Checker Framework
should issue a second error immediately afterward, showing the line at
which the local variable was given its current type.  This will often be at
an assignment or at a method call that ends a flow-refinement scope.  There
may be multiple such locations, if dataflow has merged (say, there was an
assignment on one or more if branches); in this case, it could report
either one arbitrary location, or all locations.

This behavior is similar to what gcc does for a repeated definition:  it
issues an error for the location of the definition, then another error
saying "previous definition was here".

Original issue reported on code.google.com by michael.ernst@gmail.com on 23 Jun 2010 at 3:45

[GoogleCodeExporter]

Original comment by wdi...@gmail.com on 25 Nov 2013 at 6:36