Member predicate AnalyzedVarDef::getAnAssignedValue

Gets an abstract value that this variable definition may assign to its target, including indefinite values if this definition cannot be analyzed completely.