Skip to content

Null assignment in class fields #22

@varivera

Description

@varivera

In
void m(){
v = w;
}

Should we assume that w is not null at that point? If so, after execution it should be
v:w (v is aliased to w)
If not, it should be
{v:{w, null}}(v might be aliased to w or null: as we do not have information about w)

Metadata

Metadata

Assignees

No one assigned

    Labels

    to checkNot sure what the impl might do in this case

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions